<div>Looks like I'm still missing something.</div><div>Built off of GIT master. About Racket shows.</div><div>Welcome to DrRacket, version 5.3.0.17--2012-08-07(c03daba7/d/list) </div><div><br></div><div>====</div><div> #lang typed/racket</div><div> </div><div>(module zoo typed/racket</div><div> (provide tiger)</div><div> </div><div> (: tiger String)</div><div> (define tiger "Tony"))</div><div> </div><div>(require 'zoo) </div> <div> </div><div>tiger</div><div>====</div><div><br></div><div><div>. . ../../usr/local/racket/collects/typed-racket/env/env-req.rkt:9:4: standard-module-name-resolver: contract violation</div><div> expected: module-path?</div> <div> given: '(submod (submod 'anonymous-module zoo) #%type-decl)</div></div><div><br></div><br><div class="gmail_quote">On Tue, Aug 7, 2012 at 5:13 PM, Ray Racine <span dir="ltr"><<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">My bad. Let me try them (submodules) again. Must have been one of my between the chair and the keyboard phenomena.<div class="HOEnZb"> <div class="h5"><div><br><div class="gmail_quote">On Tue, Aug 7, 2012 at 5:06 PM, Sam Tobin-Hochstadt <span dir="ltr"><<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><p dir="ltr"><br> On Aug 7, 2012 4:34 PM, "Ray Racine" <<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>> wrote:<br> ><br> > Nice release guys.<br> ><br> > DrRacket is buttery smooth and looks nicer than ever. Emacs withdrawal symptoms almost gone when Racket coding. Though the left hand stills tends to spontaneously break out into an organ Fugue every now and then.<br> ><br> > Need to play with racket/generic and #:methods combined with TR structs:. Possibilities abound.<br> ><br> > TR support for submodules didn't make it this release? Hopefully soon.</p> </div><p dir="ltr">Typed Racket fully supports submodules in version 5.3.</p><div><div> <p dir="ltr">><br> > Ray<br> ><br> > On Tue, Aug 7, 2012 at 9:39 AM, Eli Barzilay <<a href="mailto:eli@barzilay.org" target="_blank">eli@barzilay.org</a>> wrote:<br> >><br> >> Racket version 5.3 is now available from<br> >><br> >> <a href="http://racket-lang.org/" target="_blank">http://racket-lang.org/</a><br> >><br> >> * Submodules are nested module declarations that can be loaded and<br> >> run independently from the enclosing module. For an overview of<br> >> submodules, see<br> >><br> >> <a href="http://blog.racket-lang.org/2012/06/submodules.html" target="_blank">http://blog.racket-lang.org/2012/06/submodules.html</a><br> >><br> >> * The futures visualizer is a graphical profiling tool for parallel<br> >> programs using futures. The tool shows a detailed execution<br> >> timeline depicting the migration of futures between threads, and<br> >> gives detailed information about each runtime synchronization that<br> >> occurred during program execution. In addition, `would-be-future'<br> >> is a special type of future that always executes sequentially and<br> >> records all potential barricades a regular future would encounter.<br> >><br> >> * Optimization Coach (formerly Performance Report) reports<br> >> information about Racket's inlining optimizations. Optimization<br> >> Coach can be launched in any language through the View menu.<br> >><br> >> * The new `images/flomap' library defines floating-point bitmaps and<br> >> fast image processing operations on them. It is written in Typed<br> >> Racket, so Typed Racket code may use it without the cost of<br> >> contract checks.<br> >><br> >> * The new `json' library supports parsing and generating JSON.<br> >> (Originally based on Dave Herman's planet library.)<br> >><br> >> * `racket/string' is extended with a set of simplified string<br> >> manipulation functions that are more convenient than using<br> >> regexps. `regexp-match*' and friends can now be used with new<br> >> keyword arguments to return specific matched regexp group/s and<br> >> gaps between matches.<br> >><br> >> * The new `racket/generic' library allows generic function<br> >> definitions, which dispatch to methods added to a structure type<br> >> via the new `#:methods' keyword.<br> >><br> >> * The `class' form supports declaring a method abstract. An<br> >> abstract method prevents a class from being instantiated unless it<br> >> is overridden.<br> >><br> >> * The contract library comes with support for interfaces, generics,<br> >> prompts, continuation-marks, and structs.<br> >><br> >> * Most error messages use a new multi-line format that is more<br> >> consistent with contract errors and accommodates more information.<br> >><br> >> * Typed Racket supports function definitions with keyword arguments;<br> >> the startup time of Typed Racket programs has been sharply<br> >> reduced.<br> >><br> >> * The new `ffi/com' library replaces MysterX; a compatibility<br> >> `mysterx' library remains, but without ActiveX support. The new<br> >> `ffi/unsafe/com' library offers a more primitive and direct way to<br> >> use COM classes and methods.<br> >><br> >> * There is now a very complete completion code for zsh. It is not<br> >> included in the distribution though; get it at <a href="http://goo.gl/DU8JK" target="_blank">http://goo.gl/DU8JK</a><br> >> (This script and the bash completions will be included in the<br> >> standard installers in future versions.)<br> >><br> >> --- DEPRECATION ----------------------------------------------------<br> >><br> >> Effective this release:<br> >><br> >> - The `tex2page' and `combinator-parser' libraries have been moved<br> >> from the Racket distribution to PLaneT:<br> >><br> >> (require (planet plt/tex2page))<br> >> (require (planet plt/combinator-parser))<br> >><br> >> The following has been deprecated and will be removed in the<br> >> January 2013 release:<br> >><br> >> - the `planet' command-line tool; use `raco planet' instead.<br> >><br> >> The following has been deprecated and will be removed in the<br> >> August 2013 release:<br> >><br> >> - the `mzlib/class100' library; use `racket/class' instead.<br> >><br> >> Feedback Welcome,<br> >> --<br> >> ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:<br> >> <a href="http://barzilay.org/" target="_blank">http://barzilay.org/</a> Maze is Life!<br> >> ____________________<br> >> Racket Users list:<br> >> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> ><br> ><br> ><br> > ____________________<br> > Racket Users list:<br> > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> ><br> </p> </div></div></blockquote></div><br></div> </div></div></blockquote></div><br>