From 97c8af0060c2ad73cef36dcd38be0340003683e1 Mon Sep 17 00:00:00 2001
From: Zilin Chen <Zilin.Chen@nicta.com.au>
Date: Sat, 19 Nov 2016 19:22:03 +1100
Subject: [PATCH] compiler: test file for #31.

---
 cogent/tests/pass_ticket-e31.cogent | 37 +++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 cogent/tests/pass_ticket-e31.cogent

diff --git a/cogent/tests/pass_ticket-e31.cogent b/cogent/tests/pass_ticket-e31.cogent
new file mode 100644
index 000000000..4baec86b5
--- /dev/null
+++ b/cogent/tests/pass_ticket-e31.cogent
@@ -0,0 +1,37 @@
+type MountState
+
+type Buffer
+type UbiVol
+type OstoreState = {
+  next_inum : U32
+, rbuf : Buffer
+, wbuf_eb : U32
+, ubi_vol : UbiVol
+}
+
+type ObjId = U64
+type Obj
+
+type R a b = <Success a | Error b>
+type RR c a b = (c, R a b)
+
+type BufOffs = U32
+deep_freeObj: Obj -> ()
+deserialise_Obj: (Buffer!, BufOffs) -> (Obj, BufOffs)
+read_obj_pages_in_buf: (MountState!, UbiVol!, Buffer, ObjAddr!) -> Buffer
+
+type ObjAddr = #{ ebnum : U32, offs : U32, len : U32, sqnum : U64 }
+index_get_addr : () -> ObjAddr
+
+ostore_read: (MountState!, OstoreState, ObjId) -> RR OstoreState Obj ()
+ostore_read (mount_st, ostore_st, oid) =
+  let addr = index_get_addr ()
+  and (ostore_st, r) = 
+     let ostore_st {rbuf} = ostore_st
+     and rbuf = read_obj_pages_in_buf (mount_st, ostore_st.ubi_vol, rbuf, addr) !ostore_st
+     and (obj, sz) = deserialise_Obj (rbuf, 1) !rbuf
+      in (ostore_st {rbuf}, Success obj)
+  in r
+  | Success obj -> let _ = deep_freeObj obj in (ostore_st, Error)
+  | Error -> (ostore_st, Error)
+