mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 03:09:33 -06:00
Added isLiteralCat function to PGF.Macros.
This commit is contained in:
@@ -45,10 +45,6 @@ pgfSkeleton pgf = [(c,[(f,fst (catSkeleton (lookType pgf f))) | f <- fs])
|
|||||||
| (c,fs) <- Map.toList (catfuns (abstract pgf)),
|
| (c,fs) <- Map.toList (catfuns (abstract pgf)),
|
||||||
not (isLiteralCat c)]
|
not (isLiteralCat c)]
|
||||||
|
|
||||||
-- FIXME: should this go in a more general module?
|
|
||||||
isLiteralCat :: CId -> Bool
|
|
||||||
isLiteralCat = (`elem` [mkCId "String", mkCId "Float", mkCId "Int"])
|
|
||||||
|
|
||||||
--
|
--
|
||||||
-- * Questions to ask
|
-- * Questions to ask
|
||||||
--
|
--
|
||||||
|
|||||||
@@ -136,4 +136,5 @@ combinations t = case t of
|
|||||||
[] -> [[]]
|
[] -> [[]]
|
||||||
aa:uu -> [a:u | a <- aa, u <- combinations uu]
|
aa:uu -> [a:u | a <- aa, u <- combinations uu]
|
||||||
|
|
||||||
|
isLiteralCat :: CId -> Bool
|
||||||
|
isLiteralCat = (`elem` [mkCId "String", mkCId "Float", mkCId "Int"])
|
||||||
Reference in New Issue
Block a user