compiler: further simplify test for #29:

au-ts · Jan 22, 2018 · 97f6a48 · 97f6a48
1 parent eea1b0f
commit 97f6a48
Showing 1 changed file with 6 additions and 11 deletions.
diff --git a/cogent/tests/pass_ticket-e29.cogent b/cogent/tests/pass_ticket-e29.cogent
@@ -1,6 +1,4 @@
-type ExState
-type VfsInode
-type OSBuffer
+type A
 
 type LRR acc brk = (acc, <Iterate|Break brk>)
 
@@ -12,13 +10,10 @@ type Seq32Param acc obsv rbrk = #{
 }
 type Seq32_body acc obsv rbrk = #{acc:acc, obsv:obsv!} -> LRR acc rbrk
 
-bar: Seq32_body OSBuffer () ()
+bar: Seq32_body A () ()
 
-foo : (OSBuffer, VfsInode) -> (OSBuffer, VfsInode)
-foo (buf, inode) =
-  let (buf, _) = seq32 #{
-      f    = bar,
-      acc  = buf, 
-      obsv = () }
-   in (buf, inode)
+foo : A -> A
+foo buf =
+  let (buf, _) = seq32 #{f = bar, acc = buf, obsv = ()}
+   in buf