As William mentioned, the example conflates Typed Racket types with surface language types, which would probably not be right even if Typed Racket did not complain.
Does your custom language have its own type system? If not, you may not need to use Turnstile. Plain macros that expand to Typed Racket might suffice. To better help you, would you be willing to describe some more details about your custom language? On Tue, Oct 29, 2019 at 1:33 PM William J. Bowman <w...@williamjbowman.com> wrote: > > This might be too minimal of an example. > It looks like typed Racket doesn't want you to use Typed Racket types in > certain > contexts. > To implement the functionality I think you want from that example, I would > write the following > > #lang turnstile > > (require (only-in (prefix-in tr: typed/racket) > tr::print-type > tr:ann > tr:#%module-begin > tr:Number > tr:#%datum) > turnstile/no-unicode) > (provide #%datum (rename-out (tr:#%module-begin #%module-begin))) > > ;[DATUM] > (define-typed-syntax #%datum > [(_ . n:number) >> > ------------------- > [≻ (tr:ann (tr:#%datum . n) tr:Number)]]) > > > You probably need to use a Turnstile types in your language, and generate > Typed > Racket types using the `ann` form from Typed Racket. > > -- > William J. Bowman > > On Tue, Oct 29, 2019 at 10:07:21AM -0700, Raoul Schorer wrote: > > Hi, > > > > I am attempting to expand to typed/racket from a custom language through > > #lang turnstile. Unfortunately, the macro stepper isn't helping me much as > > to how I should do that. > > So far, this minimal example: > > > > #lang turnstile > > > > (require (only-in (prefix-in tr: typed/racket) > > tr:#%module-begin > > tr:Number > > tr:#%datum) > > turnstile/no-unicode) > > (provide #%datum #%module-begin) > > > > ;[MODULE-BEGIN] > > (define-syntax (#%module-begin stx) > > (syntax-parse stx > > [(_ prg) #`(tr:#%module-begin prg)])) > > > > ;[DATUM] > > (define-typed-syntax #%datum > > [(_ . n:number) >> > > ------------------- > > [/- (tr:#%datum . n) => tr:Number]]) > > > > returns an error when I try to type a number in the REPL: > > > 1 > > type-check: type name used out of context > > type: tr:Number > > in: tr:Number in: tr:Number > > > > I am a bit lost. Could someone give me pointers on how to expand to > > typed/racket types using turnstile, please? > > > > Thanks a lot! > > Raoul > > > > -- > > You received this message because you are subscribed to the Google Groups > > "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to racket-users+unsubscr...@googlegroups.com. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/racket-users/b9b56563-3a18-406d-9f2f-935220673b79%40googlegroups.com. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/20191029173336.GJ2191%40williamjbowman.com. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAFfiA1KN78gy%2BM5FV2_6PkxGZgOPuyOp5cQCP0OBO2Q6_b2hNQ%40mail.gmail.com.
