Just got the same error in a different file, here's a small example.
(If I call local-expand on a (cast ...) expression, seems I can't use that
expression anymore -- but I can still use the expanded version)
#lang typed/racket
(require (for-syntax racket/base syntax/parse))
(define-syntax (f stx)
(syntax-parse stx
[(_ a)
(void (local-expand #'a 'expression '()))
#'a]))
(f (cast 1 Integer))
The error message was also not very helpful
Internal Typechecker Error: contract-def-property: thunk called too early
This should only be called after the type-checking pass has finished.
while typechecking:
here
originally:
here
Can we say more than "here"?
--
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 [email protected].
For more options, visit https://groups.google.com/d/optout.
