diff options
Diffstat (limited to 'ddl/out/purescript/LambdaCube/IR.purs')
-rw-r--r-- | ddl/out/purescript/LambdaCube/IR.purs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ddl/out/purescript/LambdaCube/IR.purs b/ddl/out/purescript/LambdaCube/IR.purs index 0c515ec..f77ffc9 100644 --- a/ddl/out/purescript/LambdaCube/IR.purs +++ b/ddl/out/purescript/LambdaCube/IR.purs | |||
@@ -1,5 +1,5 @@ | |||
1 | -- generated file, do not modify! | 1 | -- generated file, do not modify! |
2 | -- 2016-11-12T13:21:48.334863000000Z | 2 | -- 2016-11-14T21:30:02.094169000000Z |
3 | 3 | ||
4 | module LambdaCube.IR where | 4 | module LambdaCube.IR where |
5 | import Prelude | 5 | import Prelude |
@@ -9,7 +9,7 @@ import Data.Maybe (Maybe(..)) | |||
9 | import Data.StrMap (StrMap(..)) | 9 | import Data.StrMap (StrMap(..)) |
10 | import Data.Map (Map(..)) | 10 | import Data.Map (Map(..)) |
11 | import Data.List (List(..)) | 11 | import Data.List (List(..)) |
12 | import LinearBase | 12 | import LambdaCube.LinearBase |
13 | 13 | ||
14 | import Data.Argonaut.Encode.Combinators ((~>), (:=)) | 14 | import Data.Argonaut.Encode.Combinators ((~>), (:=)) |
15 | import Data.Argonaut.Decode.Combinators ((.?)) | 15 | import Data.Argonaut.Decode.Combinators ((.?)) |