[racket] TR Submodules

From: Ray Racine (ray.racine at gmail.com)
Date: Mon Nov 19 10:33:27 EST 2012

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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121119/274e8ce2/attachment.html>

Posted on the users mailing list.