@@ -14,21 +14,21 @@ instance LetBoundVars Statement where
14 case stmt of
14 case stmt of
15 Definition d -> letBoundVars d
15 Definition d -> letBoundVars d
16 Datatype _ _ tcs -> []
16 Datatype _ _ tcs -> []
17− ImportEvent _ e _ _ -> letBoundVars' e
17+ ImportEvent _ e _ _ -> letBoundVars e
18 ExportEvent _ _ _ -> []
18 ExportEvent _ _ _ -> []
19 TypeAnnotation _ _ -> []
19 TypeAnnotation _ _ -> []
20 TypeAlias _ _ _ -> []
20 TypeAlias _ _ _ -> []
22instance LetBoundVars Def where
22instance LetBoundVars Def where
23− letBoundVars (FnDef n _ e) = n : letBoundVars' e
23+ letBoundVars (FnDef n _ e) = n : letBoundVars e
24− letBoundVars (OpDef _ _ _ e) = letBoundVars' e
24+ letBoundVars (OpDef _ _ _ e) = letBoundVars e
26−letBoundVars' :: CExpr -> [String]
26+instance LetBoundVars e => LetBoundVars (Context e) where
27−letBoundVars' (C _ _ e) = letBoundVars e
27+ letBoundVars (C _ _ e) = letBoundVars e
29instance LetBoundVars Expr where
29instance LetBoundVars Expr where
30 letBoundVars expr =
30 letBoundVars expr =
31− let f = letBoundVars' in
31+ let f = letBoundVars in
32 case expr of
32 case expr of
33 IntNum _ -> []
33 IntNum _ -> []
34 FloatNum _ -> []
34 FloatNum _ -> []