Commit 013a31f0 authored by bbr's avatar bbr
Browse files

now counting correct in new oracle version

parent 491eab9a
......@@ -121,7 +121,8 @@ transFunc isTr opts func@(Func name arity vis t _)
then [Func newName (arity+1) vis (transFuncType arity isTr t) $
Rule (reverse args) $ collapse ref $ extCall (arity+1)]
else error (fst name ++ '.':snd name ++
": cannot treat global states initialized with unevaluated expression\n\
": cannot treat global states initialized with \
\unevaluated expression\n\
\possible solution: do some inlining and evaluating.")
| otherwise
= case transExpr opts (funcBody func) nextVar of
......@@ -130,7 +131,9 @@ transFunc isTr opts func@(Func name arity vis t _)
id
(transFuncType arity isTr)
(updRule (++[1])
(const (event ns ref vs exp))
(const (if take 6 (snd name) == "_case_"
then exp
else event ns ref vs exp))
id)
func]
Left err -> [Func newName (arity+1) vis (transFuncType arity isTr t) $
......
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