On 14 Jun 2015 1:23 pm, "Jonathan S. Shapiro" <s...@eros-os.org> wrote:

> It would be good to do better than that. Think about the jumble of
non-exhaustive CASE statements that will arise in the AST walker.
>

Why would you ever have that? You would not have one flat AST type, but
something structured. However most nodes are an expression:

data Program = Prog [Declaration]
data Declaration = Decl Variable Expression
data Variable = Var String
data Expression = Apply Expression Expression | Abstract Variable
Expression | Variable

Isn't that the normal way to represent a Program?

Keean.
_______________________________________________
bitc-dev mailing list
bitc-dev@coyotos.org
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to