suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Typed modules as languages doesn't currently work.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2013-01-14 09:18:34 -05:00
parent cd03585521
commit b6564980ab
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/tests/typed-racket/xfail/typed-language-require.rkt Normal file
View File

@ -0,0 +1,11 @@
#lang racket/load
(module m typed/racket
(provide #%module-begin)
(: f : Integer -> Integer)
(define (f x) (add1 x))
(provide add1 #%datum #%app f))
(module n 'm
5
(add1 (f 7)))