diff options
| author | Csaba Hruska <csaba.hruska@gmail.com> | 2017-09-22 20:43:20 +0100 |
|---|---|---|
| committer | Csaba Hruska <csaba.hruska@gmail.com> | 2017-09-22 20:43:20 +0100 |
| commit | e205a839ce8cf1e0f71b88a7a9c7a793848b8f8e (patch) | |
| tree | fe7bb921684f8804e93c3b9ff0de9085f3048ecf /src/LambdaCube/Compiler/InferMonad.hs | |
| parent | e8bf0b7bcfb28bddfef1b8110cec848a8c4a4ff4 (diff) | |
Exp binary instance
Diffstat (limited to 'src/LambdaCube/Compiler/InferMonad.hs')
| -rw-r--r-- | src/LambdaCube/Compiler/InferMonad.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/LambdaCube/Compiler/InferMonad.hs b/src/LambdaCube/Compiler/InferMonad.hs index 1905c839..2499fa5c 100644 --- a/src/LambdaCube/Compiler/InferMonad.hs +++ b/src/LambdaCube/Compiler/InferMonad.hs | |||
| @@ -214,3 +214,5 @@ dependentVars ie = cycle mempty | |||
| 214 | a <-> b = (a --> b) <> (b --> a) | 214 | a <-> b = (a --> b) <> (b --> a) |
| 215 | 215 | ||
| 216 | 216 | ||
| 217 | --closeGlobalEnv :: GlobalEnv -> GlobalEnv | ||
| 218 | closeGlobalEnv = fmap (\(exp, type_, si) -> (closeExp exp {-, closeExp type_, si)-})) -- HINT: type should be finite | ||