compiler: fail again (#22)

au-ts · Mar 6, 2018 · dd8a03f · dd8a03f
1 parent 68dd327
commit dd8a03f
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/cogent/tests/pass_ticket-e22-7.cogent b/cogent/tests/pass_ticket-e22-7.cogent
@@ -0,0 +1,16 @@
+type FsState = {
+    super      : Ext2Superblock,
+    flags      : U32
+}
+
+type Ext2Superblock = {
+    inode_count      : U32,
+    free_inode_count : U32
+}
+
+fsop_inode_free2: FsState -> FsState
+fsop_inode_free2 state = 
+    let state_t { super } = state
+    and super = super { free_inode_count = 1 }
+    in state_t { super }
+