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