On 9/11/06, Brian Hulley <[EMAIL PROTECTED]> wrote:
data
Expr t = If (Expr Bool) (Expr t) (Expr t)
Expr Bool = Eq (Expr t) (Expr t) | Eq t
Expr Int = Lit Int
Meh. I'm still not big on it, since in a normal function, the guard is
based on a variable in scope. Type signatures have implicit variables.
Also, there's no way for the guard to "fall through" or anything like
that. It's just not similar enough for me.
--
Taral <[EMAIL PROTECTED]>
"You can't prove anything."
-- Gödel's Incompetence Theorem
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
