@@ -14,21 +14,21 @@ instance LetBoundVars Statement where
1414 case stmt of
1515 Definition d -> letBoundVars d
1616 Datatype _ _ tcs -> []
17− ImportEvent _ e _ _ -> letBoundVars' e
17+ ImportEvent _ e _ _ -> letBoundVars e
1818 ExportEvent _ _ _ -> []
1919 TypeAnnotation _ _ -> []
2020 TypeAlias _ _ _ -> []
2121
2222instance LetBoundVars Def where
23− letBoundVars (FnDef n _ e) = n : letBoundVars' e
24− letBoundVars (OpDef _ _ _ e) = letBoundVars' e
23+ letBoundVars (FnDef n _ e) = n : letBoundVars e
24+ letBoundVars (OpDef _ _ _ e) = letBoundVars e
2525
26−letBoundVars' :: CExpr -> [String]
27−letBoundVars' (C _ _ e) = letBoundVars e
26+instance LetBoundVars e => LetBoundVars (Context e) where
27+ letBoundVars (C _ _ e) = letBoundVars e
2828
2929instance LetBoundVars Expr where
3030 letBoundVars expr =
31− let f = letBoundVars' in
31+ let f = letBoundVars in
3232 case expr of
3333 IntNum _ -> []
3434 FloatNum _ -> []