id summary reporter owner description type status priority milestone component resolution keywords cc planetversion pltversion 246 plai signals unbound identifier for a field name robby plai "In plai 1.10, the following code signals an error saying that 'value' is an unbound identifier, but it shouldn't I believe. (In 1.8, it signals no error.) #lang planet plai/plai:1:10 (define-type DefrdSub [mtSub] [aSub (value boolean?)]) (define (lookup ds the-name) (type-case DefrdSub ds [mtSub () 1] [aSub (a-name) 2])) " defect closed major plai/plai.plt fixed (1 10) 4.2.4.2