Skip to content

Instantly share code, notes, and snippets.

@mheiber

mheiber/gist:f70ed11f0876d8c669645271be7164e6

Created June 9, 2022 12:41
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mheiber/f70ed11f0876d8c669645271be7164e6 to your computer and use it in GitHub Desktop.
Save mheiber/f70ed11f0876d8c669645271be7164e6 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
#lang typed/racket
; try this in Dr. Racket
(: bad-union (All (k) (-> (U (Listof k) (Listof (Listof k))) (Listof k))))
(define (bad-union x) '())
(: use-bad-union Any)
(define (use-bad-union) (bad-union '()))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment