samth/test-bugs — Issue #42: Problems with struct: and struct-out and macro stepper
Author: takikawa
Created: 2012-03-02 22:25:47+00:00
State: open

The following TR code fails:

#lang typed/racket

(struct: point ([x : Number] [y : Number]))
(provide (struct-out point))

with this error:
module: identifier already provided (as a different binding) in: point

In addition, trying to step through this in the macro stepper fails. Steps:
* run macro stepper on above code (macro hiding off)
* step to end
* step back

The following error is produced:

in-list: expected argument of type

; given #

=== context ===
/home/asumu/plt/current/collects/racket/private/for.rkt:546:2: in-list
/home/asumu/plt/current/collects/macro-debugger/syntax-browser/display.rkt:148:4: highlight-syntaxes method in display%
/home/asumu/plt/current/collects/macro-debugger/view/step-display.rkt:71:4
/home/asumu/plt/current/collects/macro-debugger/view/stepper.rkt:437:4: update* method in macro-stepper-widget%
/home/asumu/plt/current/collects/macro-debugger/view/stepper.rkt:399:31
/home/asumu/plt/current/collects/macro-debugger/view/stepper.rkt:368:24