Commit ccccd66d 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 4149d2d3 eacbba6e
Pipeline #15397 failed with stage
in 1 minute and 14 seconds
......@@ -37,7 +37,7 @@ where
snappy_uncompress :: !.String -> .String
snappy_uncompress s
#! n = snappy_uncompressed_length s
#! u = createArray (n+1) '\0'
#! u = unsafeCreateArray (n+1)
#! (r,len) = uncompress s (size s) u
| r <> 0 = abort ("Invalid return status of snappy_uncompress: " <+ r <+ "\n")
= {c \\ c <-: u & i <- [0..len-1]}
......
......@@ -37,10 +37,10 @@ instance < (LPath a) | gLexOrd{|*|} a where
// and the remaining 'Graph'.
defMatchAny :: (gr a b) -> GDecomp gr a b | Graph gr
defMatchAny g = case labNodes g of
_ -> abort "Match Exception, Empty Graph"
[(v,_):_] -> (c,g`)
where
(Just c,g`) = match v g
[] = abort "Match Exception, Empty Graph"
[(v,_):_] = case match v g of
(Just c,g`) = (c, g`)
_ = abort "Shouldn't happen"
// | The number of 'Node's in a 'Graph'.
defNoNodes :: (gr a b) -> Int | Graph gr
......
......@@ -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