@@ -40,9 +40,9 @@ put _ _ = putStrLn "putting"
4040
4141-- update : (p : CPtr) -> ((translate(ctype p)) -> (translate (ctype p)) -> IO ()
4242
43−field : CPtr -> (i : Nat) -> CPtr
44−field (CPt p o arr@(ARRAY n t)) = CPt p (o + index i (offsets arr)) t
45−field (CPt p o (UNION xs)) = CPt p o (index i xs)
46−field (CPt p o st@(STRUCT xs)) = CPt p (o + index i (offsets st)) (index i xs)
47−field (CPt p o ps@(PACKEDSTRUCT xs)) = CPt p (o + index i (offsets st)) (index i xs)
43+field : CPtr -> Nat -> CPtr
44+field (CPt p o arr@(ARRAY n t)) i = CPt p (o + index i (offsets arr)) t
45+field (CPt p o (UNION xs)) i = CPt p o (index i xs)
46+field (CPt p o st@(STRUCT xs)) i = CPt p (o + index i (offsets st)) (index i xs)
47+field (CPt p o ps@(PACKEDSTRUCT xs)) i = CPt p (o + index i (offsets st)) (index i xs)
4848field p Z = p