[racket-dev] TR for PL class

Eli: You use a variant of TR for your PL class, right? Is your stuff fairly straightforward, or would it be a mistake for me to try to adopt it?  I just tried installing your .plt package, and got a few install errors (below, if you care), so it's hard for me to evaluate this myself. I took a quick look at your lecture notes, and it looks like you're using a "cases" form that (I'm guessing) adds static types to the PLAI setup. Yes?

John





setup-plt: 
setup-plt: error: during making for <user>/pl (PL)
setup-plt:   lang/types/types.rkt:38:21: module: identifier already imported from: typed-scheme/private/base-env at: init in: typed-scheme/private/base-env-numeric
setup-plt: error: during making for <user>/pl/lang
setup-plt:   types/types.rkt:38:21: module: identifier already imported from: typed-scheme/private/base-env at: init in: typed-scheme/private/base-env-numeric
setup-plt: error: during making for <user>/pl/lang/types
setup-plt:   make-env: not a bound identifier at: (box? (make-pred-ty (-box Univ))) in: (make-env (box? (make-pred-ty (-box Univ))) (cons (-poly (a) (-> a (-lst a) (-lst a)))) (cdr (-poly (a b) (cl->* (->acc (list (-pair a (-lst b))) (-lst b) (list -cdr)) (->* (list (-lst a)) (-lst a))))) (cddr (-poly (a b c) (cl-> (((-pair a (-pair b (-ls...

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4669 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20101226/0ba24747/attachment.p7s>