diff options
Diffstat (limited to 'src')
| -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 [] |