From b1a51f46f5d137ab4d65a4381b349af3291a944d Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 20 Sep 2009 11:43:41 +0000 Subject: change the data types and the syntax in PGF to match the new syntax for implict arguments --- src/PGF/Parsing/FCFG/Incremental.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/PGF/Parsing/FCFG') diff --git a/src/PGF/Parsing/FCFG/Incremental.hs b/src/PGF/Parsing/FCFG/Incremental.hs index cae0ad80f..6ae18e3bf 100644 --- a/src/PGF/Parsing/FCFG/Incremental.hs +++ b/src/PGF/Parsing/FCFG/Incremental.hs @@ -134,7 +134,7 @@ extractTrees (State pgf pinfo chart items) ty@(DTyp _ start _) = check_ho_fun fun args | fun == _V = return (head args) - | fun == _B = return (foldl1 Set.difference (map fst args), foldr (\x e -> EAbs (mkVar (snd x)) e) (snd (head args)) (tail args)) + | fun == _B = return (foldl1 Set.difference (map fst args), foldr (\x e -> EAbs Explicit (mkVar (snd x)) e) (snd (head args)) (tail args)) | otherwise = return (Set.unions (map fst args),foldl (\e x -> EApp e (snd x)) (EFun fun) args) mkVar (EFun v) = v -- cgit v1.2.3