[plt-scheme] bugs.plt-scheme.org is down?

From: Danny Yoo (dyoo at csmail.wpi.edu)
Date: Mon May 12 17:20:51 EDT 2008

I'm having trouble submitting the following bug; is bugs.plt-scheme.org 

The following simplified program raises a very bad error message under 

#lang scheme/base
(require scheme/contract)
(provide/contract [foo (case-> (number? . -> . any))])
(define (foo x)
   (* x x))

I'm seeing:

map: expects type <proper list> as 2nd argument, given: #f; other 
arguments were: #<procedure:to-proj>

The bug seems related to the use of 'any' within a case-> contract.

Posted on the users mailing list.