On 9/10/06, Bulat Ziganshin <[EMAIL PROTECTED]> wrote:
data Expr t = If (Expr Bool) (Expr t) (Expr t)
Expr Int = Lit Int
Expr Bool | Eq t = Eq (Expr t) (Expr t)
I find this somewhat unreadable due to the implicit "t" parameter not showing up on the left-hand side... -- Taral <[EMAIL PROTECTED]> "You can't prove anything." -- Gödel's Incompetence Theorem _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
