mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
experimenting with English VP
This commit is contained in:
@@ -177,6 +177,7 @@ term2CFItems m t = errIn "forming cf items" $ case t of
|
|||||||
|
|
||||||
headProj r ls = case r of
|
headProj r ls = case r of
|
||||||
P r0 l0 -> headProj r0 (l0:ls)
|
P r0 l0 -> headProj r0 (l0:ls)
|
||||||
|
S r0 _ -> headProj r0 ls
|
||||||
_ -> (r,ls)
|
_ -> (r,ls)
|
||||||
cIQ c = if isPredefCat c then CIQ cPredefAbs c else CIQ m c
|
cIQ c = if isPredefCat c then CIQ cPredefAbs c else CIQ m c
|
||||||
|
|
||||||
|
|||||||
@@ -266,7 +266,7 @@ checkIfLinType st typ0 = do
|
|||||||
|
|
||||||
where
|
where
|
||||||
checkInh (label,typ) = checkIfParType st typ
|
checkInh (label,typ) = checkIfParType st typ
|
||||||
checkLin (label,typ) = checkIfStrType st typ
|
checkLin (label,typ) = return () ---- checkIfStrType st typ
|
||||||
|
|
||||||
|
|
||||||
computeLType :: SourceGrammar -> Type -> Check Type
|
computeLType :: SourceGrammar -> Type -> Check Type
|
||||||
|
|||||||
Reference in New Issue
Block a user