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...
smime.p7s
Description: S/MIME cryptographic signature
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev