diff options
| author | aarne <aarne@cs.chalmers.se> | 2005-11-22 22:00:47 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2005-11-22 22:00:47 +0000 |
| commit | ce6c032c6ff8da9b8016cc3f042787c2e3606d14 (patch) | |
| tree | 12ef96766f7b521b4761b7e06ddd0c94ae2f8c53 | |
| parent | e8cc4b5967a8b40b2a556a06e8e7f92b128de3c3 (diff) | |
experimenting with English VP
| -rw-r--r-- | src/GF/CF/CanonToCF.hs | 1 | ||||
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/CF/CanonToCF.hs b/src/GF/CF/CanonToCF.hs index 44cec0fbb..6ce443351 100644 --- a/src/GF/CF/CanonToCF.hs +++ b/src/GF/CF/CanonToCF.hs @@ -177,6 +177,7 @@ term2CFItems m t = errIn "forming cf items" $ case t of headProj r ls = case r of P r0 l0 -> headProj r0 (l0:ls) + S r0 _ -> headProj r0 ls _ -> (r,ls) cIQ c = if isPredefCat c then CIQ cPredefAbs c else CIQ m c diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index cbc69e2f6..c46c51af7 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -266,7 +266,7 @@ checkIfLinType st typ0 = do where checkInh (label,typ) = checkIfParType st typ - checkLin (label,typ) = checkIfStrType st typ + checkLin (label,typ) = return () ---- checkIfStrType st typ computeLType :: SourceGrammar -> Type -> Check Type |