error with plai-typed language
Created by: metajack
If I use the plai-typed from here: http://www.cs.brown.edu/courses/cs173/2012/plai-typed-2012-09-16-2.plt (new version created for the class here: http://www.cs.brown.edu/courses/cs173/2012)
I can't get modules to load in Geiser, even though they load in DrRacket.
#lang plai-typed (define-type ExprC [numC (n : number)] [plusC (l : ExprC) (r : ExprC)] [multC (l : ExprC) (r : ExprC)] [ifC (test : ExprC) (then-case : ExprC) (else-case : ExprC)])
?: don't know how to typecheck in: #<void> errortrace...: context...: /Users/jack/Library/Racket/5.3/collects/plai-typed/main.rkt:819:0: typecheck-defns /Users/jack/Library/Racket/5.3/collects/plai-typed/main.rkt:1843:0 /Applications/Racket v5.3/collects/racket/private/misc.rkt:87:7
Am I doing something wrong, or is this a small bug?