[racket] TR Submodules

Can you try `raco setup -c' followed by `raco setup'?

I fixed bugs in the bytecode compiler, and I forgot to increment the
version number to make sure that bytecode files are rebuilt.

At Mon, 19 Nov 2012 10:33:27 -0500, Ray Racine wrote:
> Did a quick sync and build and I'm seeing a Racket internal error on
> launching DR.
> Error invoking tool
> #<path:/usr/local/racket/collects/drracket>;"syncheck.rkt"
> 
> Error invoking tool
> #<path:/usr/local/racket/collects/drracket>;"syncheck.rkt"
> 
> UNKNOWN: : read (compiled): ill-formed code [./../src/validate.c:1167]
> 
> 
> UNKNOWN: : read (compiled): ill-formed code [./../src/validate.c:1167]
> 
> 
> 
> On Mon, Nov 19, 2012 at 10:21 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu>wrote:
> 
> > On Sun, Nov 18, 2012 at 9:02 PM, Ray Racine <ray.racine at gmail.com> wrote:
> > > #lang typed/racket
> > >
> > > (provide x)
> > >
> > > (module M typed/racket
> > >   (provide x)
> > >   (define: x : Natural 3))
> > >
> > > (require (submod "."  M))
> > >
> > > ;; end-of-file
> > >
> > > Submodules don't work in TR (at least the above variation).  I added a
> > few
> > > debug statements and it does appear the when requiring a submodule
> > defined
> > > within the enclosing file it fact TR attempts to dynamic-require the
> > current
> > > source file/module again.
> >
> > This program works correctly for me in DrRacket and racket (built
> > yesterday).  What problem are you seeing?
> >
> > --
> > sam th
> > samth at ccs.neu.edu
> >
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users