[plt-scheme] srfi/1 messes typed-scheme

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Thu Apr 2 11:45:26 EDT 2009

Hi all,

Why is this failing:
#lang typed-scheme

(require srfi/1)

(: test-map ((Listof Number) -> (Listof Number)))
(define (test-map lst)
  (map (lambda: ((x : Number)) (* x x)) lst))

typecheck: unbound identifier map in: map

Without the require it works. Obviously this is a short example and I
don't need the require but on a bigger example I need every from srfi1
so I do need to require srfi/1 but then it claims map is an unbound


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

Posted on the users mailing list.