Commit eacbba6e authored by Mart Lubbers's avatar Mart Lubbers

resolve discussion about unsafeUselect

parent 010dfbb3
Pipeline #15396 failed with stage
in 1 minute and 14 seconds
......@@ -4,8 +4,10 @@ import StdEnv
unsafeCreateArray :: .Int -> u:(a v:b) | Array a b, [u<=v]
unsafeCreateArray size = code {
updatepop_a 0 7
jmp_ap 1
update_a 3 7
pop_a 7
jsr_ap 2
repl_args 2 2
}
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