2010-06-21 12:11:06 +02:00
|
|
|
(* Crashes the pass removing intermediate equations. *)
|
|
|
|
|
|
|
|
|
|
node foo() returns (res:int)
|
2011-05-23 14:04:11 +02:00
|
|
|
let
|
2010-06-21 12:11:06 +02:00
|
|
|
res = if true then 1 else 1;
|
|
|
|
|
tel
|
2012-07-18 16:54:44 +02:00
|
|
|
|
|
|
|
|
node main() returns (res:int)
|
|
|
|
|
let
|
|
|
|
|
res = foo()
|
|
|
|
|
tel
|
