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)
____________________
  Racket Users list:
  http://lists.racket-lang.org/users

Reply via email to