diff options
Diffstat (limited to 'src/GF')
| -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 |