[racket] TR Submodules

OK, the DR build issue is gone.

But the following in DR.


#lang typed/racket

(provide x)

(module M typed/racket
  (provide x)
  (define: x : Natural 3))

(require (submod "."  M))

x

;; end

Give me the following when run:

. . ../../usr/local/racket/collects/typed-racket/env/env-req.rkt:9:4:
standard-module-name-resolver: cycle in loading
  at path: /home/ray/test.rkt
  paths:
   /home/ray/test.rk


On Mon, Nov 19, 2012 at 10:44 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote:

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