[plt-scheme] Case lambda in typed scheme

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Wed Mar 18 20:54:37 EDT 2009

While on an adventure to use typed-scheme I faced this issue:
#lang typed-scheme

(: foo (case-lambda [-> Symbol]
                    [Symbol -> Symbol]))
(define foo
  (case-lambda [() 'foo]
               [(s) s]))

I can't see what might be wrong here. Still I get in 4.1.4:
typecheck: untyped var: s in: s


Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm

Posted on the users mailing list.