diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-04-16 11:14:31 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-16 11:14:31 +0200 |
commit | 5d476c29e708a760521f9e7e52781ead35ad8f6e (patch) | |
tree | 1bc8f2c6dd65920dae1046c49e5a111549234508 /src | |
parent | ca9b1449c097240de4a4a3c44ea1220724fe5246 (diff) |
fix build
Diffstat (limited to 'src')
-rw-r--r-- | src/LambdaCube/Compiler/Infer.hs | 2 | ||||
-rw-r--r-- | src/LambdaCube/Compiler/Lexer.hs | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler/Infer.hs b/src/LambdaCube/Compiler/Infer.hs index eaafc3cd..4a04564c 100644 --- a/src/LambdaCube/Compiler/Infer.hs +++ b/src/LambdaCube/Compiler/Infer.hs | |||
@@ -28,7 +28,7 @@ module LambdaCube.Compiler.Infer | |||
28 | , nType, conType, neutType, neutType', appTy, mkConPars, makeCaseFunPars, makeCaseFunPars' | 28 | , nType, conType, neutType, neutType', appTy, mkConPars, makeCaseFunPars, makeCaseFunPars' |
29 | , MaxDB, unfixlabel | 29 | , MaxDB, unfixlabel |
30 | , ErrorMsg, errorRange | 30 | , ErrorMsg, errorRange |
31 | , FName (..) | 31 | , FName (..), FileInfo(..) |
32 | ) where | 32 | ) where |
33 | 33 | ||
34 | import Data.Monoid | 34 | import Data.Monoid |
diff --git a/src/LambdaCube/Compiler/Lexer.hs b/src/LambdaCube/Compiler/Lexer.hs index d8888a28..6817f9ed 100644 --- a/src/LambdaCube/Compiler/Lexer.hs +++ b/src/LambdaCube/Compiler/Lexer.hs | |||
@@ -127,6 +127,7 @@ data FileInfo = FileInfo | |||
127 | 127 | ||
128 | instance Eq FileInfo where (==) = (==) `on` fileId | 128 | instance Eq FileInfo where (==) = (==) `on` fileId |
129 | instance Ord FileInfo where compare = compare `on` fileId | 129 | instance Ord FileInfo where compare = compare `on` fileId |
130 | instance Show FileInfo where show = show . filePath | ||
130 | 131 | ||
131 | data Range = Range !FileInfo !SourcePos' !SourcePos' | 132 | data Range = Range !FileInfo !SourcePos' !SourcePos' |
132 | deriving (Eq, Ord) | 133 | deriving (Eq, Ord) |