Ticket #245 (closed defect: fixed)

Opened 5 years ago

Last modified 4 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

Description

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

#lang planet plai/plai:1:9

(define-type A

[mta]
[a (b B?)])

(define-type B

[mtb]
[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 4 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.