diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-09-13 09:44:46 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-09-13 09:44:46 +0200 |
| commit | 579a479367ad1a57937e2d8c13e99918a5aa1be2 (patch) | |
| tree | f9d01ccb1184f9c6f00256b77b919ef5495fac9f /src | |
| parent | a3356d34bbbce555d50dca8b82a0f5881af0d941 (diff) | |
export SPos constructor (lambdacube-editor needs it)
Diffstat (limited to 'src')
| -rw-r--r-- | src/LambdaCube/Compiler.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler.hs b/src/LambdaCube/Compiler.hs index 2f892191..bc34a088 100644 --- a/src/LambdaCube/Compiler.hs +++ b/src/LambdaCube/Compiler.hs | |||
| @@ -48,7 +48,7 @@ import LambdaCube.Compiler.Infer (inference) | |||
| 48 | import LambdaCube.Compiler.CoreToIR | 48 | import LambdaCube.Compiler.CoreToIR |
| 49 | 49 | ||
| 50 | import LambdaCube.Compiler.Utils | 50 | import LambdaCube.Compiler.Utils |
| 51 | import LambdaCube.Compiler.DesugaredSource as Exported (FileInfo(..), Range(..), SPos(..), SIName(..), pattern SIName, sName, SI(..)) | 51 | import LambdaCube.Compiler.DesugaredSource as Exported (FileInfo(..), Range(..), SPos(..), pattern SPos, SIName(..), pattern SIName, sName, SI(..)) |
| 52 | import LambdaCube.Compiler.Core as Exported (mkDoc, Exp, ExpType(..), pattern ET, outputType, boolType, trueExp, hnf) | 52 | import LambdaCube.Compiler.Core as Exported (mkDoc, Exp, ExpType(..), pattern ET, outputType, boolType, trueExp, hnf) |
| 53 | import LambdaCube.Compiler.InferMonad as Exported (errorRange, listAllInfos, listAllInfos', listTypeInfos, listTraceInfos, Infos, Info(..)) | 53 | import LambdaCube.Compiler.InferMonad as Exported (errorRange, listAllInfos, listAllInfos', listTypeInfos, listTraceInfos, Infos, Info(..)) |
| 54 | --import LambdaCube.Compiler.Infer as Exported () | 54 | --import LambdaCube.Compiler.Infer as Exported () |