From 311d0ef9c4f3800a8df603cd5a4224dd5c5f489a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Thu, 20 Apr 2017 19:54:33 +0200 Subject: [PATCH] Do not provide worklist-function directly, only provide the wrapper macro. --- main.rkt | 4 ---- 1 file changed, 4 deletions(-) diff --git a/main.rkt b/main.rkt index e3d348f..035f1b9 100644 --- a/main.rkt +++ b/main.rkt @@ -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)