Re: [racket] non-terminating type check for typed racket

2011-04-17 Thread Sam Tobin-Hochstadt
On Sun, Apr 17, 2011 at 7:36 PM, Danny Yoo wrote: > On Sun, Apr 17, 2011 at 6:10 PM, Sam Tobin-Hochstadt > wrote: >> On Sun, Apr 17, 2011 at 3:04 PM, Danny Yoo wrote: >>> This behavior appears for both Racket 5.0.1 as well as Racket 5.1. >>> I've git tagged my project as 'infinite-typecheck' at

Re: [racket] non-terminating type check for typed racket

2011-04-17 Thread Danny Yoo
On Sun, Apr 17, 2011 at 6:10 PM, Sam Tobin-Hochstadt wrote: > On Sun, Apr 17, 2011 at 3:04 PM, Danny Yoo wrote: >> This behavior appears for both Racket 5.0.1 as well as Racket 5.1. >> I've git tagged my project as 'infinite-typecheck' at the point where >> I'm seeing this behavior. >> >>    http

Re: [racket] webserver mapping servlets to path

2011-04-17 Thread Noel Welsh
You just need to add another dispatcher to your first example to serve the static files. Search the docs for web-server/dispatchers/dispatch-files and use the procedure provided by this module. HTH, N. On Sun, Apr 17, 2011 at 6:06 AM, J G Cho wrote: > To those familiar with Web Server, ... > > I

Re: [racket] non-terminating type check for typed racket

2011-04-17 Thread Sam Tobin-Hochstadt
On Sun, Apr 17, 2011 at 3:04 PM, Danny Yoo wrote: > This behavior appears for both Racket 5.0.1 as well as Racket 5.1. > I've git tagged my project as 'infinite-typecheck' at the point where > I'm seeing this behavior. > >    https://github.com/dyoo/js-sicp-5-5/tree/infinite-typecheck We'll take

Re: [racket] non-terminating type check for typed racket

2011-04-17 Thread Shriram Krishnamurthi
Awesome. Typed Racket is finally a modern type system. (You know they're all supposed to not terminate these days, right?) Shriram _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users

[racket] non-terminating type check for typed racket

2011-04-17 Thread Danny Yoo
I'm running into a situation where it appears typed racket gets into an infinite loop on typecheck. I don't know if it's truly infinite, but I've let compilation run for a good ten minutes, and it appears to be stuck at this point when I Control-C the process. ###