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
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)
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)
3 matches
Mail list logo