[racket-dev] Check-syntax glitch?

From: Pierpaolo Bernardi (olopierpa at gmail.com)
Date: Wed Feb 15 04:30:28 EST 2012

Hello,

(for company firewall reasons I cannot use the bug report facility.
Please bear with me).

Racket version 5.2.1;
Environment: windows "Windows NT 6.1 (Build 7601) Service Pack 1"
(win32\i386\3m) (get-display-depth) = 32;

If I put the following text in a buffer:

====
#lang racket

(struct foo (a))

(define (bar x)
  (match x
    ((foo #f) 0)
    ((foo #t) 1)))
====

Running check-syntax, the "foo" in the first branch of the match is
linked to the struct definition, while the foo in the second branch is
not linked.  Is this the intended behaviour or there is a mistake?

Cheers
P.

Posted on the dev mailing list.