From 854383ef938eb89dd395a57f3baa7e2415bcd6be Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Wed, 18 Nov 2015 20:32:37 +0100 Subject: [PATCH] =?UTF-8?q?[make=20works]=20Added=20=E2=80=9CMaking=20inco?= =?UTF-8?q?mplete=20nodes=E2=80=9D=20section?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- graph/graph/graph2.lp2.rkt | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/graph/graph/graph2.lp2.rkt b/graph/graph/graph2.lp2.rkt index 29d744a8..fe9679e0 100644 --- a/graph/graph/graph2.lp2.rkt +++ b/graph/graph/graph2.lp2.rkt @@ -318,6 +318,9 @@ the @tc[tmpl-replace-in-type] template metafunction from the rewrite-type library. We replace all occurrences of a @tc[node] name with a union of the node's @tc[incomplete] type, and all compatible @tc[placeholder] types. +TODO: for now we allow all possible mappings, but we should only allow those +which return type is the desired node type. + @; TODO: use a type-expander here, instead of a template metafunction. @CHUNK[ @@ -327,8 +330,8 @@ node's @tc[incomplete] type, and all compatible @tc[placeholder] types. mapping/placeholder-type ...)] ...)))] @chunk[ - (define-temp-ids "~a/make-with-promises" (node ...)) - (define-temp-ids "~a/with-promises-type" (node ...))] + (define-temp-ids "~a/make-incomplete" (node ...)) + (define-temp-ids "~a/incomplete-type" (node ...))] @subsection{Processing the placeholders}