Ticket #246 (closed defect: fixed)

Opened 5 years ago

Last modified 5 years ago

plai signals unbound identifier for a field name

Reported by: robby Owned by: plai
Priority: major Milestone:
Component: plai/plai.plt Keywords:
Cc: Version: (1 10)
Racket Version: 4.2.4.2

Description

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]))

Change History

Changed 5 years ago by plai

  • status changed from new to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.