Verified Commit 52af2ac1 authored by Camil Staps's avatar Camil Staps 🚀

Temporarily resolve #78 (ABC optimizer segfault on windows; seems to be a compiler bug)

parent a757db6a
Pipeline #23003 passed with stages
in 14 minutes and 44 seconds
......@@ -95,7 +95,7 @@ where
| otherwise = stringlit [line.[start]:cs] (start + 1)
parseLine`{|StringWithSpaces|} start line = ParseResult (StringWithSpaces (line % (start,size line-1))) (size line-1)
parseLine`{|CONS of {gcd_name,gcd_arity}|} fx 0 line
parseLine`{|CONS of d=:{gcd_name,gcd_arity}|} fx 0 line
| size line < instr_size = NoParseResult
| not (check_start (instr_size-1)) = NoParseResult
| gcd_arity > 0 && not (isSpace line.[instr_size]) = NoParseResult
......
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