mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-06-01 14:18:55 -06:00
appForm now skips over Typed expressions
This commit is contained in:
@@ -117,6 +117,7 @@ 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
|
||||
Typed t _ -> appForm t
|
||||
_ -> (t,[])
|
||||
|
||||
mkProdSimple :: Context -> Term -> Term
|
||||
|
||||
Reference in New Issue
Block a user