diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-20 13:47:08 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-20 13:47:08 +0000 |
| commit | 96786c1136332efa9a889227c524ef8fe4e47fe8 (patch) | |
| tree | de85af15a057c7b5d07b5dc618e5e7ba0844df84 /src/GF/Compile/Refresh.hs | |
| parent | a29a8e4f60960122874c737d32e9d41a3575208b (diff) | |
syntax for implicit arguments in GF
Diffstat (limited to 'src/GF/Compile/Refresh.hs')
| -rw-r--r-- | src/GF/Compile/Refresh.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/GF/Compile/Refresh.hs b/src/GF/Compile/Refresh.hs index ba6142ddd..04800fcce 100644 --- a/src/GF/Compile/Refresh.hs +++ b/src/GF/Compile/Refresh.hs @@ -37,13 +37,13 @@ refresh :: Term -> STM IdState Term refresh e = case e of Vr x -> liftM Vr (lookVar x) - Abs x b -> liftM2 Abs (refVarPlus x) (refresh b) + Abs b x t -> liftM2 (Abs b) (refVarPlus x) (refresh t) - Prod x a b -> do + Prod b x a t -> do a' <- refresh a x' <- refVar x - b' <- refresh b - return $ Prod x' a' b' + t' <- refresh t + return $ Prod b x' a' t' Let (x,(mt,a)) b -> do a' <- refresh a |