[plt-dev] dependent case-lambda contracts

From: Sam TH (samth at ccs.neu.edu)
Date: Sat Feb 21 14:34:24 EST 2009

I'd like to write a contract like this:

  (-> number? number?)
  (->d ([n number?] [s1 symbol?] [s2 (lambda (e) (eq? s1 e))]) () [_ number?]))

What's the best way to do this, since `case->' doesn't support `->d'?

sam th
samth at ccs.neu.edu

Posted on the dev mailing list.