diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-09-17 22:02:36 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-09-17 22:02:36 +0000 |
| commit | e34d5b04092a001eee3daff696862634a891b935 (patch) | |
| tree | d3fd0bb7cdab8c4fdc1fd08ffb36a0aa5ec290e5 | |
| parent | a5f81ff81ca256c7a260a7c6473c8c4dee0e6ddf (diff) | |
appForm now skips over Typed expressions
| -rw-r--r-- | src/compiler/GF/Grammar/Macros.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/compiler/GF/Grammar/Macros.hs b/src/compiler/GF/Grammar/Macros.hs index b623aaa2b..dde1201d8 100644 --- a/src/compiler/GF/Grammar/Macros.hs +++ b/src/compiler/GF/Grammar/Macros.hs @@ -116,8 +116,9 @@ termFormCnc t = case t of appForm :: Term -> (Term, [Term]) appForm t = case t of - App c a -> (fun, args ++ [a]) where (fun, args) = appForm c - _ -> (t,[]) + App c a -> (fun, args ++ [a]) where (fun, args) = appForm c + Typed t _ -> appForm t + _ -> (t,[]) mkProdSimple :: Context -> Term -> Term mkProdSimple c t = mkProd c t [] |