9a2b74dc33
If the type variable isn't mentioned anywhere, then just pick `Any` as its substitution. Fixes #152.
9 lines
163 B
Racket
9 lines
163 B
Racket
#lang typed/racket/base
|
|
(: f : (All (A) (case-> [-> Zero]
|
|
[A -> A])))
|
|
(define f
|
|
(case-lambda
|
|
[() 0]
|
|
[(a) a]))
|
|
(define (f0)
|
|
(f)) |