[plt-scheme] match in Typed Scheme

From: Hari Prashanth K R (krhari at ccs.neu.edu)
Date: Thu Feb 18 00:14:41 EST 2010


I am having trouble using match in Typed Scheme.

My match looks something like this

(match trees
      [(list t1 t2 ts ...) (cons (something t1 t2) ts)]

trees is of type (Listof (Node A))

t1, t2 will be of type (Node A) but ts will be of type (Listof Any)..

What should I do so that ts will be of type (Listof (Node A))?


Posted on the users mailing list.