Re: [racket-users] Using brag parser library with Typed Racket

> On Feb 4, 2017, at 8:18 AM, Sourav Datta wrote: > > (require/typed "grammar1.rkt" > [parse (->* (Listof Token) > (Any) > Syntax)]) > > Type Checker: Type (->* (Listof Token) (Any) Syntax) could not be converted > to a contract: r

[racket-users] Using brag parser library with Typed Racket

Hi everyone! I was taking a look at the brag library (http://docs.racket-lang.org/brag/) for AST generation and thought of using it in one of my projects which is in TR. I started by requiring brag/support with type annotations like this: #lang typed/racket (require/typed brag/support