Ticket #245 (closed defect: fixed)

Opened 6 years ago

Last modified 6 years ago

plai:1:9 disallows murec define-types

Reported by: anonymous Owned by: plai
Priority: major Milestone:
Component: plai/plai.plt Keywords:
Cc: Version: (1 9)
Racket Version: 4.2.1


In earlier versions (tested with 1:6), this program evaluates without error:

#lang planet plai/plai:1:9

(define-type A

[a (b B?)])

(define-type B

[b (a A?)])

Changing 1:6 into 1:9 installs the new version, whereupon the program signals this error:

reference to an identifier before its definition: B?

Change History

Changed 6 years ago by plai

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

This is now fixed.

Note: See TracTickets for help on using tickets.