Ticket #243 (closed defect: fixed)

Opened 5 years ago

Last modified 4 years ago

define-type doesn't evalute the field contracts soon enough

Reported by: robby@… Owned by: plai
Priority: major Milestone:
Component: plai/plai.plt Keywords:
Cc: Version: (1 8)
Racket Version: 4.2.4.1

Description

This program shoudl produce an error, but it doesn't.

#lang planet plai/plai:1:8

(define-type T

[alt (field (car 1))])

Change History

Changed 4 years ago by plai

  • status changed from new to closed
  • resolution set to fixed

This was fixed.

Note: See TracTickets for help on using tickets.