Skip to content

Commit

Permalink
Add infinite-memory.flint to invalid/
Browse files Browse the repository at this point in the history
  • Loading branch information
franklinsch committed Apr 23, 2018
1 parent aebfbbe commit 4561e09
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 0 deletions.
7 changes: 7 additions & 0 deletions examples/future/infinite-structs.flint
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
contract A {
var s: S
}

struct S {
var x: S
}
9 changes: 9 additions & 0 deletions examples/invalid/infinite-structs.flint
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
// This code shouldn't compile, as variable s in contract A uses infinite memory.

contract A {
var s: S
}

struct S {
var x: S
}

0 comments on commit 4561e09

Please sign in to comment.