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