Created
November 5, 2012 19:36
-
-
Save takikawa/4019841 to your computer and use it in GitHub Desktop.
require/typed from submodule
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #lang typed/racket | |
| (module foo racket | |
| (define x 3) | |
| (provide x)) | |
| (require/typed (submod "." foo) [x Integer]) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| link: module mismatch; | |
| possibly, bytecode file needs re-compile because dependencies changed | |
| importing module: 'anonymous-module | |
| exporting module: 'anonymous-module | |
| exporting phase level: 0 | |
| internal explanation: variable not provided (directly or indirectly) in: x |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment