EmptyDataDecls,
FlexibleInstances,
TypeFamilies,
+ TypeOperators,
MultiParamTypeClasses,
UndecidableInstances
#-}
, IsIterativeExpr
, IsVarName
+ , hString
, Constant(..)
, Variable(..)
where
import Data.HList
+import Data.HList.String
import Types.Data.Bool
import Types.Data.Num hiding ((:*:))
import Types.Data.Ord
type instance MentionedVars Constant = HNil
{- This is what we want to do but GHC can't handle this for now.
-class ( (HLengthOf str :<=: D255) ~ True
+class ( (HLengthOf str :<=: D19) ~ True
, HString str
)
=> IsVarName str
-}
type family IsVarName str
-type instance IsVarName str = ( (HLength str :<=: D255)
+type instance IsVarName str = ( (HLength str :<=: D19)
:&&:
(HAll IsGoodLetterForVarNameA str)
)