[racket] Typed Racket Predicate Generation Regression?

From: Ray Racine (ray.racine at gmail.com)
Date: Tue Oct 30 15:10:55 EDT 2012

Been awhile as this is old library code, but I recall the below code once
worked for me.  Currently failing at the moment, though may have broken at
any time of the last few months.

#lang typed/racket/base

(define js-null 'JsNull)

(define-type JsNull 'JsNull)
(define-predicate JsNull? JsNull)

(define-type Json (Rec Json (U String Boolean JsNull Number (Listof Json)
(HashTable Symbol Json))))

(define-type JsObject (HashTable Symbol Json))
(define-predicate JsObject? JsObject)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121030/c6df632e/attachment.html>

Posted on the users mailing list.