[racket-dev] [plt] Push #24721: master branch updated

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Fri May 18 17:37:19 EDT 2012

Anyone else? 


On May 18, 2012, at 5:22 PM, Jon Rafkind wrote:

> yea it was, I have a command line tool that prints out all the imports and exports of a module. you wanted it to show contracts and maybe types too eventually so I started on this 'module-interface' thing but I didn't work on it much since the initial import..
> 
> On 05/18/2012 02:07 PM, Matthias Felleisen wrote:
>> Was this an attempt to show the interfaces of a module? I do wish we had one inside of DrRacket. 
>> 
>> 
>> On May 18, 2012, at 4:05 PM, asumu at racket-lang.org wrote:
>> 
>>> asumu has updated `master' from f34258e253 to a00cd7ebff.
>>> http://git.racket-lang.org/plt/f34258e253..a00cd7ebff
>>> 
>>> =====[ 1 Commits ]======================================================
>>> 
>>> Directory summary:
>>> 100.0% collects/drracket/private/module-interface/
>>> 
>>> ~~~~~~~~~~
>>> 
>>> a00cd7e Asumu Takikawa <asumu at racket-lang.org> 2012-05-18 15:50
>>> :
>>> | Remove drracket/private/module-interface.
>>> |
>>> | With permission from Jon Rafkind.
>>> :
>>> D collects/drracket/private/module-interface/check.rkt
>>> D collects/drracket/private/module-interface/gui.rkt
>>> 
>>> =====[ Overall Diff ]===================================================
>>> 
> 
> _________________________
>  Racket Developers list:
>  http://lists.racket-lang.org/dev



Posted on the dev mailing list.