Commit d315c7d3 authored by Steffen Michels's avatar Steffen Michels

Merge branch 'readP-unique' into 'master'

make readP overloaded in uniqueness

See merge request !311
parents 38d72e8c cefc3233
Pipeline #40590 passed with stage
in 1 minute and 59 seconds
......@@ -146,5 +146,4 @@ unpackBool :: !{#Char} !Offset -> Bool
forceEval :: !a !*env -> *env
forceEvalPointer :: !Pointer !*env -> *env
readP :: !(Pointer -> a) !Pointer -> (!a, !Pointer)
readP :: !.(Pointer -> .a) !Pointer -> (!.a, !Pointer)
......@@ -265,5 +265,5 @@ forceEval _ world = world
forceEvalPointer :: !Pointer !*env -> *env
forceEvalPointer _ world = world
readP :: !(Pointer -> a) !Pointer -> (!a, !Pointer)
readP :: !.(Pointer -> .a) !Pointer -> (!.a, !Pointer)
readP f ptr = (f ptr, ptr)
......@@ -146,5 +146,4 @@ unpackBool :: !{#Char} !Offset -> Bool
forceEval :: !a !*env -> *env
forceEvalPointer :: !Pointer !*env -> *env
readP :: !(Pointer -> a) !Pointer -> (!a, !Pointer)
readP :: !.(Pointer -> .a) !Pointer -> (!.a, !Pointer)
......@@ -594,6 +594,5 @@ forceEval _ world = world
forceEvalPointer :: !Pointer !*env -> *env
forceEvalPointer _ world = world
readP :: !(Pointer -> a) !Pointer -> (!a, !Pointer)
readP :: !.(Pointer -> .a) !Pointer -> (!.a, !Pointer)
readP f ptr = (f ptr, ptr)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment