Does this affect the definitions of `TY_ARRAY` and `type`? `TY_ARRAY` looks like a parameterized type:
| TY_ARRAY of type literal But this doesn't mesh with: | type oneof TY_ARRAY | literal since that would allow: literal literal but `literal` is a nullary type constructor. I'm trying to write these types in Typed Racket, but I'm still not confident that I understand your intention. -Jon On Thu, Sep 4, 2014 at 4:54 PM, Jonathan S. Shapiro <[email protected]> wrote: > Sorry - that's an edit error. I was initially going to use 'expr' and > 'literal' as my subsets, decided to use 'expr' and 'type' instead, and > failed to clean up. > > literal, in this particular example, would probably be something like: > > | literal oneof LITCHAR | LITBOOL > > > > On Thu, Sep 4, 2014 at 12:59 PM, Jon Zeppieri <[email protected]> wrote: >> >> On Thu, Sep 4, 2014 at 2:55 PM, Jonathan S. Shapiro <[email protected]> >> wrote: >> >> [snip] >> >> > datatype AST = >> > >> > LITCHAR of char >> > >> > | LITBOOL of bool >> > >> > | BLOCK of AST[] >> > >> > | IF_EXPR of (expr, BLOCK, BLOCK) >> > | expr oneof LITHCAR | LITBOOL | BLOCK | IF_EXPR | literal >> > | TY_ARRAY of type literal >> > | type oneof TY_ARRAY | literal >> > >> >> What is `literal` in the above example? >> _______________________________________________ >> bitc-dev mailing list >> [email protected] >> http://www.coyotos.org/mailman/listinfo/bitc-dev >> > > > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev > _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
