id summary reporter owner description type status priority milestone component resolution keywords cc planetversion pltversion 243 define-type doesn't evalute the field contracts soon enough robby@… plai "This program shoudl produce an error, but it doesn't. #lang planet plai/plai:1:8 (define-type T [alt (field (car 1))]) " defect closed major plai/plai.plt fixed (1 8) 4.2.4.1