grin-compiler/grin
1
1
Fork 0
mirror of https://github.com/grin-compiler/grin.git synced 2024-09-11 15:37:54 +03:00
Code Issues Projects Releases Wiki Activity

Check bind wellformedness.

Browse Source
This commit is contained in:
Andor Penzes 2018-03-11 22:53:01 +01:00
parent 4ae27c2a4c
commit 3f57caba06
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
grin/src/Check.hs
View File

@ -22,6 +22,7 @@ data Check
| OnlyTagsInAlts
| OnlyUniqueNames
| AllowedBindStoreValues
| SimpleExpOnLHS
deriving (Enum, Eq, Show)
data Result
@ -48,6 +49,7 @@ check hpt = \case
OnlyTagsInAlts -> boolResult . getAll . patsInAlts (All . isBasicCPat)
OnlyUniqueNames -> result . nonUniqueNames
AllowedBindStoreValues -> boolResult . allowedBindStoreValues
SimpleExpOnLHS -> boolResult . simpleExpOnLHS
result :: Show a => [a] -> Result
result = \case
@ -160,3 +162,13 @@ programSize = cata $ \case
SUpdateF _ _ -> 1
SBlockF !a -> 1 + a
AltF _ !a -> 1 + a
simpleExpOnLHS :: Exp -> Bool
simpleExpOnLHS = para $ \case
ProgramF ds -> and $ fmap snd ds
DefF _ _ a -> snd a
EBindF (s, a) _ b -> and [isSimpleExp s, a, snd b]
ECaseF _ as -> and $ fmap snd as
SBlockF a -> snd a
AltF _ a -> snd a
_ -> False