[racket] DRRacket Check Syntax Loops Endlessly (Sample Provided)

From: Ray Racine (ray.racine at gmail.com)
Date: Thu Nov 1 12:07:23 EDT 2012

Fresh build from Racket git MASTER, the following causes DRRacket's Check
Syntax to loop without termination.

#lang typed/racket/base

(provide f)

(struct: (T) S1 ([x : (Listof String)]))

(struct: (T) S2 ([x : S0]
                 [g : (T -> Boolean)]))

(define-type (S0 T) (U (S1 T) (S2 T)))

(: f (String -> (S0 String)))
(define (f x)
  (S1 '()))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121101/62feae4f/attachment.html>

Posted on the users mailing list.