view testbad.fc @ 170:ac5c2d78663f

Inline calls to If@Boolean when static type info is present
author Mike Pavone <pavone@retrodev.com>
date Sun, 08 May 2011 18:21:19 -0700
parents 6a1a7d5cc2d9
children
line wrap: on
line source

B = R(A, L(B, R(C,D)))
C = R(B, R(C, D))
X = L(X, L(A, L(B, R(C,D))))
A = L(X, L(A, L(B, R(C,D))))
E = L(E, L(C, D))
D = R(E, L(C, D))