Commit d74169f9 authored by Tomislav Pree's avatar Tomislav Pree
Browse files

Update TypedAnalysis.hs

parent daa6a422
Pipeline #72325 passed with stages
in 98 minutes and 9 seconds
......@@ -391,7 +391,7 @@ stringIntToChar = proc (op,v1,v2) -> case (v1,v2) of
(StringVal, NumVal IntVal) -> returnA -< CharVal
(Top,Top) -> (returnA -< CharVal) <> (err -< (op,v1,v2))
(Top,NumVal IntVal) -> (returnA -< CharVal) <> (err -< (op,v1,v2))
(StringVal,Top) -> (returnA -< StringVal) <> (err -< (op,v1,v2))
(StringVal,Top) -> (returnA -< CharVal) <> (err -< (op,v1,v2))
_ -> err -< (op,v1,v2)
where
err = proc (op,v1,v2) -> failString -< printf "expected a two string and an int as arguments for %s, but got %s" (show op) (show [v1,v2])
......
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