We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d4c338d commit cf7b608Copy full SHA for cf7b608
src/Act/HEVM.hs
@@ -276,7 +276,7 @@ substRef _ var@(SVar _ _ _) = ERef SStorage var
276
substRef subst (CVar _ _ x) = case M.lookup x subst of
277
Just (TExp _ (SVarRef _ _ (Item _ _ ref))) -> ERef SStorage ref
278
Just (TExp _ (CVarRef _ (Item _ _ ref))) -> ERef SCalldata ref
279
- Just e -> error $ "Internal error: cannot access fields of non-pointer var"
+ Just _ -> error $ "Internal error: cannot access fields of non-pointer var"
280
Nothing -> error "Internal error: ill-formed substitution"
281
substRef subst (SMapping pn sref args) = case substRef subst sref of
282
ERef k ref -> ERef k $ SMapping pn ref (substArgs subst args)
0 commit comments