Commit 010dfbb3 authored by Mart Lubbers's avatar Mart Lubbers

resolve discussions

parent bab00d3b
Pipeline #15394 passed with stage
in 1 minute and 36 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
......
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