Verified Commit 065ca49b authored by Camil Staps's avatar Camil Staps 🚀

Include filename in LocationResult

parent f9e468f7
...@@ -201,10 +201,10 @@ from GenEq import generic gEq ...@@ -201,10 +201,10 @@ from GenEq import generic gEq
/** /**
* A location in a Clean library * A location in a Clean library
* *
* @representation The library, the module, the line in the definition module * @representation The library, the module, the filename, the line in the
* and the line in the implementation module * definition module and the line in the implementation module
*/ */
:: LocationResult :== (String, String, Maybe Int, Maybe Int) :: LocationResult :== (String, String, String, Maybe Int, Maybe Int)
/** /**
* A type unifier, represented with strings * A type unifier, represented with strings
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment