diff options
| author | aarne <aarne@chalmers.se> | 2010-12-14 14:35:41 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-12-14 14:35:41 +0000 |
| commit | a8a3c62f6015b8378f9ed94f4839b9629ecca26b (patch) | |
| tree | 41b4cc35cb5f1c13f0cf9445895fcd940efc5010 /src/compiler | |
| parent | 7d58efb6600d164101c439cf8954de637ea35c34 (diff) | |
type checking of oper types with let expressions
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/GF/Compile/TypeCheck/Concrete.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/GF/Compile/TypeCheck/Concrete.hs b/src/compiler/GF/Compile/TypeCheck/Concrete.hs index 0f7f9b340..59d045a4c 100644 --- a/src/compiler/GF/Compile/TypeCheck/Concrete.hs +++ b/src/compiler/GF/Compile/TypeCheck/Concrete.hs @@ -45,6 +45,8 @@ computeLType gr g0 t = comp (reverse [(b,x, Vr x) | (b,x,_) <- g0] ++ g0) t b' <- comp ((bt,x,Vr x):g) b return $ Abs bt x b' + Let (x,(_,a)) b -> comp ((Explicit,x,a):g) b + ExtR r s -> do r' <- comp g r s' <- comp g s |