git.iko.soy/Idris-dev
on master help sign in
Don't use a record for SourceLocation
0cc9d4cDavid Raymond Christiansen
libs/base/Language/Reflection/Errors.idr+1−1
compare with master
unifiedsplit
@@ -2,7 +2,7 @@ module Language.Reflection.Errors
2
2
3import Language.Reflection
3import Language.Reflection
4
4
5−record SourceLocation : Type where
5+data SourceLocation : Type where
6 FileLoc : (filename : String) -> (line : Int) -> (col : Int) -> SourceLocation
6 FileLoc : (filename : String) -> (line : Int) -> (col : Int) -> SourceLocation
7
7
8%name SourceLocation loc
8%name SourceLocation loc