msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

forgot to type check the type of a typed let expression

Browse Source
This commit is contained in:
kr.angelov
2014-09-17 22:25:08 +00:00
parent 4f23ed2289
commit 4d6994ffde
1 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/compiler/GF/Compile/TypeCheck/TC.hs
View File

@@ -134,9 +134,10 @@ checkExp th tenv@(k,rho,gamma) e ty = do
Let (x, (mb_typ, e1)) e2 -> do Let (x, (mb_typ, e1)) e2 -> do
(val,e1,cs1) <- case mb_typ of (val,e1,cs1) <- case mb_typ of
Just typ -> do val <- eval rho typ Just typ -> do (_,cs1) <- checkType th tenv typ
(e1,cs) <- checkExp th tenv e1 val val <- eval rho typ
return (val,e1,cs) (e1,cs2) <- checkExp th tenv e1 val
return (val,e1,cs1++cs2)
Nothing -> do (e1,val,cs) <- inferExp th tenv e1 Nothing -> do (e1,val,cs) <- inferExp th tenv e1
return (val,e1,cs) return (val,e1,cs)
(e2,cs2) <- checkExp th (k,rho,(x,val):gamma) e2 typ (e2,cs2) <- checkExp th (k,rho,(x,val):gamma) e2 typ
@@ -185,9 +186,10 @@ inferExp th tenv@(k,rho,gamma) e = case e of
return (ARecType xs, vType, concat css) return (ARecType xs, vType, concat css)
Let (x, (mb_typ, e1)) e2 -> do Let (x, (mb_typ, e1)) e2 -> do
(val1,e1,cs1) <- case mb_typ of (val1,e1,cs1) <- case mb_typ of
Just typ -> do val <- eval rho typ Just typ -> do (_,cs1) <- checkType th tenv typ
(e1,cs) <- checkExp th tenv e1 val val <- eval rho typ
return (val,e1,cs) (e1,cs2) <- checkExp th tenv e1 val
return (val,e1,cs1++cs2)
Nothing -> do (e1,val,cs) <- inferExp th tenv e1 Nothing -> do (e1,val,cs) <- inferExp th tenv e1
return (val,e1,cs) return (val,e1,cs)
(e2,val2,cs2) <- inferExp th (k,rho,(x,val1):gamma) e2 (e2,val2,cs2) <- inferExp th (k,rho,(x,val1):gamma) e2