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.
