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

Do not provide worklist-function directly, only provide the wrapper macro.

Browse Source
This commit is contained in:
Georges Dupéron 2017-04-20 19:54:33 +02:00
parent db1a438d90
commit 311d0ef9c4
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
main.rkt
View File

@ -4,10 +4,6 @@
(require (only-in type-expander unsafe-cast))
;; TODO: write a macro wrapper which does the unsafe-cast (until the bug in TR
;; is fixed), and (un)wraps the inputs and outputs.
(provide worklist-function)
(struct (A) I ([v : A]) #:transparent)
(struct (A) O ([v : A]) #:transparent)