diff options
| -rw-r--r-- | frontend/Heap.dcl | 2 | ||||
| -rw-r--r-- | frontend/Heap.icl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/frontend/Heap.dcl b/frontend/Heap.dcl index c23381b..a0bb2cb 100644 --- a/frontend/Heap.dcl +++ b/frontend/Heap.dcl @@ -15,7 +15,7 @@ isNilPtr :: !(Ptr v) -> Bool newPtr :: !v !*(Heap v) -> (!.Ptr v,!.Heap v) -readPtr :: !(Ptr v) !*(Heap v) -> (!v,!.Heap v) +readPtr :: !(Ptr v) !u:(Heap v) -> (!v,!u:Heap v) writePtr :: !(Ptr v) !v !*(Heap v) -> .Heap v diff --git a/frontend/Heap.icl b/frontend/Heap.icl index a8312ab..c92f421 100644 --- a/frontend/Heap.icl +++ b/frontend/Heap.icl @@ -47,7 +47,7 @@ isNilPtr p = code { }; -readPtr :: !(Ptr v) !*(Heap v) -> (!v,!.Heap v); +readPtr :: !(Ptr v) !u:(Heap v) -> (!v,!u:Heap v); readPtr p h = code { push_a_b 1 push_r_args_b 0 1 1 1 1 |