Commit 7e42729e authored by John van Groningen's avatar John van Groningen

yielded array value of replace is not strict

parent 63761e7f
...@@ -8,7 +8,7 @@ class Array .a e where ...@@ -8,7 +8,7 @@ class Array .a e where
update :: !*(a .e) !Int .e -> *(a .e) update :: !*(a .e) !Int .e -> *(a .e)
createArray :: !Int e -> *(a e) createArray :: !Int e -> *(a e)
_createArray :: !Int -> *(a .e) _createArray :: !Int -> *(a .e)
replace :: !*(a .e) !Int .e -> *(!.e, !*(a .e)) replace :: !*(a .e) !Int .e -> *(.e, !*(a .e))
instance Array {!} a instance Array {!} a
......
...@@ -8,7 +8,7 @@ class Array .a e where ...@@ -8,7 +8,7 @@ class Array .a e where
update :: !*(a .e) !Int .e -> *(a .e) update :: !*(a .e) !Int .e -> *(a .e)
createArray :: !Int e -> *(a e) createArray :: !Int e -> *(a e)
_createArray :: !Int -> *(a .e) _createArray :: !Int -> *(a .e)
replace :: !*(a .e) !Int .e -> *(!.e, !*(a .e)) replace :: !*(a .e) !Int .e -> *(.e, !*(a .e))
instance Array {#} Int where instance Array {#} Int where
select :: .{#e:Int} Int -> e:Int select :: .{#e:Int} Int -> e:Int
......
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