Re: [racket-users] interested in TR internal error?

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

Re: [racket-users] interested in TR internal error?

> On Jun 25, 2016, at 6:25 PM, 'John Clements' via Racket Users > wrote: > >> On Jun 24, 2016, at 1:15 PM, Alex Knauth wrote: >> >>> On Jun 24, 2016, at 1:13 PM, 'John Clements' via Racket Users >>> wrote:

Re: [racket-users] interested in TR internal error?

> On Jun 24, 2016, at 1:15 PM, Alex Knauth wrote: > > >> On Jun 24, 2016, at 1:13 PM, 'John Clements' via Racket Users >> wrote: >> >> I was in the middle of editing a TR file, and I got this error: >> >>

Re: [racket-users] interested in TR internal error?

> On Jun 24, 2016, at 1:13 PM, 'John Clements' via Racket Users > wrote: > > I was in the middle of editing a TR file, and I got this error: > > ../../racket/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:270:0: > Internal Typechecker Error:

[racket-users] interested in TR internal error?

I was in the middle of editing a TR file, and I got this error: ../../racket/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:270:0: Internal Typechecker Error: contract-def-property: thunk called too early This should only be called after the type-checking pass has finished.