Verified Commit cda8a53e authored by Camil Staps's avatar Camil Staps 🚀

Anticipate changes to the compiler: don't rely on identifiers starting with an underscore

parent 4fe10629
Pipeline #32408 passed with stage
in 4 minutes and 33 seconds
...@@ -427,10 +427,10 @@ where ...@@ -427,10 +427,10 @@ where
, "\t(" +++ join " " lambdas +++ join " " [name`` +++ "`":[ga.ga_expr \\ ga <- gas]] +++ {')' \\ _ <- lambdas} +++ ")" , "\t(" +++ join " " lambdas +++ join " " [name`` +++ "`":[ga.ga_expr \\ ga <- gas]] +++ {')' \\ _ <- lambdas} +++ ")"
, "where" , "where"
, "\t" +++ name`` +++ "` :: " +++ toString type` , "\t" +++ name`` +++ "` :: " +++ toString type`
, "\t" +++ join " " [name`` +++ "`":[ga.ga_arg \\ ga <- gas]] +++ " = (True" +++ concat [" /\\ _pre" <+ i \\ i <- [1..] & pre <- preconditions] +++ ") ==> _p" , "\t" +++ join " " [name`` +++ "`":[ga.ga_arg \\ ga <- gas]] +++ " = (True" +++ concat [" /\\ precondition_" <+ i <+ "_" \\ i <- [1..] & pre <- preconditions] +++ ") ==> actual_property_"
, "\twhere" , "\twhere"
, "\t\t_p = " +++ replaceSubString "\n" "\n\t\t\t" imp , "\t\tactual_property_ = " +++ replaceSubString "\n" "\n\t\t\t" imp
: ["\t\t_pre" <+ i <+ " = " +++ s \\ s <- preconditions & i <- [1..]] : ["\t\tprecondition_" <+ i <+ "_ = " +++ s \\ s <- preconditions & i <- [1..]]
] ]
} }
where where
......
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