@@ -58,15 +58,21 @@ canonicalize env decls unions effects =
59 case manager of
59 case manager of
60 Valid.Cmd cmdType ->
60 Valid.Cmd cmdType ->
61− Can.Cmd <$> verifyEffectType cmdType unions
62+ <$> verifyEffectType cmdType unions
63+ <* verifyManager region dict "cmdMap"
63 Valid.Sub subType ->
65 Valid.Sub subType ->
64− Can.Sub <$> verifyEffectType subType unions
67+ <$> verifyEffectType subType unions
68+ <* verifyManager region dict "subMap"
66 Valid.Fx cmdType subType ->
70 Valid.Fx cmdType subType ->
68 <$> verifyEffectType cmdType unions
72 <$> verifyEffectType cmdType unions
69 <*> verifyEffectType subType unions
73 <*> verifyEffectType subType unions
74+ <* verifyManager region dict "cmdMap"
75+ <* verifyManager region dict "subMap"