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 315f2b5 commit 9d15dc3Copy full SHA for 9d15dc3
src/Act/Type.hs
@@ -273,7 +273,7 @@ checkConstructor env (U.Constructor _ contract (Interface _ decls) ptrs iffs (U.
273
-- type checking environment prior to storage creation of this contract
274
envNoStorage = env'{ store = mempty }
275
276
--- | Checks that a pointer declaration x |-> A is valid. This consists on
+-- | Checks that a pointer declaration x |-> A is valid. This consists of
277
-- checking that x is a calldata variable that has address type and A is a valid
278
-- contract type.
279
checkPointer :: Env -> U.Pointer -> Err ()
0 commit comments