diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-26 12:37:59 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-26 12:37:59 +0100 |
commit | 2eb7cc7fab543a1ffb493015d98c1887ffac38c9 (patch) | |
tree | 81101bf1011c557a7f818c7b893b51923ab82892 /ddl/out/LambdaCube.IR.purs | |
parent | 5ea5e05a87c76d80194dbdfac177994aa870b783 (diff) |
tweak CompileResult type
Diffstat (limited to 'ddl/out/LambdaCube.IR.purs')
-rw-r--r-- | ddl/out/LambdaCube.IR.purs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ddl/out/LambdaCube.IR.purs b/ddl/out/LambdaCube.IR.purs index ac7e585..2bec655 100644 --- a/ddl/out/LambdaCube.IR.purs +++ b/ddl/out/LambdaCube.IR.purs | |||
@@ -1,5 +1,5 @@ | |||
1 | -- generated file, do not modify! | 1 | -- generated file, do not modify! |
2 | -- 2016-02-26T11:29:11.442441000000Z | 2 | -- 2016-02-26T11:37:22.233668000000Z |
3 | 3 | ||
4 | module LambdaCube.IR where | 4 | module LambdaCube.IR where |
5 | import Prelude | 5 | import Prelude |