From 54327c59cc5c7e1f27cfe16366e3d1182b67c9c0 Mon Sep 17 00:00:00 2001
From: Zilin Chen <Zilin.Chen@nicta.com.au>
Date: Sun, 20 Nov 2016 19:23:14 +1100
Subject: [PATCH] compiler: test case for #31 is quite simple now.

---
 cogent/tests/pass_ticket-e31.cogent | 34 +++++++----------------------
 1 file changed, 8 insertions(+), 26 deletions(-)

diff --git a/cogent/tests/pass_ticket-e31.cogent b/cogent/tests/pass_ticket-e31.cogent
index 4baec86b5..7c0a9f9e3 100644
--- a/cogent/tests/pass_ticket-e31.cogent
+++ b/cogent/tests/pass_ticket-e31.cogent
@@ -1,36 +1,18 @@
-type MountState
-
 type Buffer
-type UbiVol
-type OstoreState = {
-  next_inum : U32
-, rbuf : Buffer
-, wbuf_eb : U32
-, ubi_vol : UbiVol
-}
+type OstoreState = { rbuf : Buffer }
 
-type ObjId = U64
 type Obj
 
-type R a b = <Success a | Error b>
-type RR c a b = (c, R a b)
+type RR c a b = (c, <Success a | Error 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
+deserialise_Obj: () -> Obj
 
-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)
+ostore_read: OstoreState -> RR OstoreState Obj ()
+ostore_read ostore_st =
+  let (ostore_st, r) = 
+     let obj = deserialise_Obj ()
+      in (ostore_st, Success obj)
   in r
   | Success obj -> let _ = deep_freeObj obj in (ostore_st, Error)
   | Error -> (ostore_st, Error)