Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

24 lines (18 sloc) 0.438 kB
#lang racket/load
(module typed typed/racket
(provide g)
(struct: (A) foo ((v : A)))
(: f (foo Byte))
(define f (foo 2))
(: g (-> (foo Byte)))
(define (g) f))
(module typed-client typed/racket
(require 'typed)
(unless (equal? (g) (g))
(error 'typed2 "Failed")))
(module untyped-client racket
(require 'typed)
(unless (equal? (g) (g))
(error 'typed2 "Failed")))
(require 'typed-client)
(require 'untyped-client)
Jump to Line
Something went wrong with that request. Please try again.