Commit 18eff4b5 authored by Mart Lubbers's avatar Mart Lubbers

Revert "resolve discussion about unsafeUselect"

This reverts commit eacbba6e.
parent eacbba6e
......@@ -4,10 +4,8 @@ import StdEnv
unsafeCreateArray :: .Int -> u:(a v:b) | Array a b, [u<=v]
unsafeCreateArray size = code {
update_a 3 7
pop_a 7
jsr_ap 2
repl_args 2 2
updatepop_a 0 7
jmp_ap 1
}
unsafeUselect :: u:(a v:b) Int -> *(v:b,u:(a v:b)) | Array a b, [u<=v]
......
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