a65cc75 · elk · git.iko.soy

git.iko.soy/elk

Check for cmdMap and subMap during canonicalization

commita65cc753532e2a1df77156805849211da1c5e8bc authorEvan Czaplicki <evancz@users.noreply.github.com> dateWed 31 Jan 2018, 19:04 (9 years ago) parentaf2aeec

1 file changed+8−2

compare with master

unifiedsplit

src/Canonicalize/Effects.hs+8−2

src/Canonicalize/Effects.hs+8−2

@@ -58,15 +58,21 @@ canonicalize env decls unions effects =

5858 <*>

5959 case manager of

6060 Valid.Cmd cmdType ->

61− Can.Cmd <$> verifyEffectType cmdType unions

61+ Can.Cmd

62+ <$> verifyEffectType cmdType unions

63+ <* verifyManager region dict "cmdMap"

6264

6365 Valid.Sub subType ->

64− Can.Sub <$> verifyEffectType subType unions

66+ Can.Sub

67+ <$> verifyEffectType subType unions

68+ <* verifyManager region dict "subMap"

6569

6670 Valid.Fx cmdType subType ->

6771 Can.Fx

6872 <$> verifyEffectType cmdType unions

6973 <*> verifyEffectType subType unions

74+ <* verifyManager region dict "cmdMap"

75+ <* verifyManager region dict "subMap"

7076

7177

7278