Typed Units do not work at the toplevel
Open
@dfeltey is already working on this.
Since Sep 16, 2015.
- Dominant language
- Racket
- Stars
- 575
- Forks
- 106
- Avg merge
- 2h 1m
- Merged PRs (30d)
- 2
Description
define-signature doesn't seem to register signatures when used at the top-level:
$ racket -I typed/racket
Welcome to Racket v6.2.900.17.
-> (define-signature x^ ())
-> (define u (unit (import x^) (export) 5))
; Signature-mapping: contract violation
; expected: Signature?
; given: #f
; [,bt for context]
Also the following should be a type checking error, but succeeds at the top-level:
$ racket -I typed/racket
Welcome to Racket v6.2.900.17.
-> (: u UnitTop)
-> (define u (unit (import) (export) 5))
-> u
- : UnitTop
#unit:u
-> (invoke-unit u)
5
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.