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