diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-03-17 12:46:53 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-03-17 12:46:53 +0000 |
| commit | ca7bcf91cac66309ded134a510c8dff922f5672a (patch) | |
| tree | 60034b90b473ec0d2bbe34bf861519e439c9662e /src/GF/Devel | |
| parent | bae424218f4d537b7141c441ba9886681328e62f (diff) | |
merging recent changes in Finnish
Diffstat (limited to 'src/GF/Devel')
| -rw-r--r-- | src/GF/Devel/GrammarToGFCC.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Devel/GrammarToGFCC.hs b/src/GF/Devel/GrammarToGFCC.hs index 5d2ddb1aa..2c1bbc169 100644 --- a/src/GF/Devel/GrammarToGFCC.hs +++ b/src/GF/Devel/GrammarToGFCC.hs @@ -418,6 +418,7 @@ term2term cgr env@(labels,untyps,typs) tr = case tr of T (TTyped ty) cs -> t2t $ V ty $ map snd cs ---- should be elim'ed in tc V ty ts -> mkCurry $ V ty [t2t t | t <- ts] S t p -> mkCurrySel (t2t t) (t2t p) + _ -> GM.composSafeOp t2t tr where t2t = term2term cgr env @@ -523,6 +524,7 @@ mkLab k = LIdent (("_" ++ show k)) unlock = filter notlock where notlock (l,(_, t)) = case t of --- need not look at l R [] -> False + RecType [] -> False _ -> True unlockTyp = filter notlock |