compiler: add a test file for #22

au-ts · Oct 26, 2016 · 82c509c · 82c509c
1 parent a34cac3
commit 82c509c
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 0 deletions.
diff --git a/cogent/tests/pass_weird-ext2-error.cogent → cogent/tests/pass_ticket-e22-1.cogent b/cogent/tests/pass_weird-ext2-error.cogent → cogent/tests/pass_ticket-e22-1.cogent
diff --git a/...s/pass_another-weird-error-in-ext2.cogent → cogent/tests/pass_ticket-e22-2.cogent b/...s/pass_another-weird-error-in-ext2.cogent → cogent/tests/pass_ticket-e22-2.cogent
diff --git a/cogent/tests/pass_ticket-e22-3.cogent b/cogent/tests/pass_ticket-e22-3.cogent
@@ -0,0 +1,23 @@
+type ExState
+type RR c a b = (c, <Success a | Error b>)
+type OSBuffer
+
+type Ext2Superblock = {
+    inode_count             : U32,
+    magic                   : U16
+}
+
+deserialise_Ext2Superblock: (ExState, OSBuffer!, U32) -> RR ExState (Ext2Superblock, U32) ()
+
+free_Ext2Superblock  : (ExState, Ext2Superblock take (..)) -> ExState
+free_Ext2Superblock' : (ExState, Ext2Superblock) -> ExState
+
+foo : #{ex: ExState, buf_super : OSBuffer} -> ExState
+foo #{ex, buf_super} = 
+  let (ex, res) = deserialise_Ext2Superblock (ex, buf_super, 0) !buf_super
+  in res
+  | Success (super, _) -> 
+      let xxx = super.magic !super
+      in  free_Ext2Superblock (ex, super)  -- super is all-untaken
+  | Error () -> ex
+