Commit 7835a5ca authored by Mart Lubbers's avatar Mart Lubbers

Merge branch 'remove-qualified-as' of...

Merge branch 'remove-qualified-as' of gitlab.science.ru.nl:clean-and-itasks/clean-platform into remove-qualified-hiding
parents ccccd66d b70274be
Pipeline #15399 passed with stage
in 1 minute and 45 seconds
......@@ -4,14 +4,14 @@ 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]
unsafeUselect arr index = code {
push_a 0
select _ 1 0
update_a 3 7
pop_a 7
jsr_ap 2
repl_args 2 2
}
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