Because if b is a type, the AST for the LHS is cast-expr b left and unary minus d right.
But that _didn't parse the input_. The input is only parsed when the _correct_ meaning exists.
-
-
Well, once it acquires type information, it is indeed "parsed"
-
But the point is that you _won't actually know that_ since you have circular dependencies.
- Show replies
New conversation -
-
-
Parsing is not the same as semantic checking. Atleast in standard compiler lingo.
-
exactly; the AST can be acquired without knowing anything about types.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.