From 4f23ed22891c0e289311f9e0fadf613c404d2183 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Wed, 17 Sep 2014 22:02:36 +0000
Subject: [PATCH] appForm now skips over Typed expressions

---
 src/compiler/GF/Grammar/Macros.hs | 5 +++--
 1 file 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 []