appForm now skips over Typed expressions

2014-09-17 22:02:36 +00:00
parent ff45e7dd3a
commit 4f23ed2289
1 changed files with 3 additions and 2 deletions
--- 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 []