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

[make works] Added “Making incomplete nodes” section

Browse Source
This commit is contained in:
Georges Dupéron 2015-11-18 20:32:37 +01:00
parent b3c746276a
commit 854383ef93
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
graph/graph/graph2.lp2.rkt
View File

@ -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 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. 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. @; TODO: use a type-expander here, instead of a template metafunction.
@CHUNK[<define-with-promises> @CHUNK[<define-with-promises>
@ -327,8 +330,8 @@ node's @tc[incomplete] type, and all compatible @tc[placeholder] types.
mapping/placeholder-type ...)] ...)))] mapping/placeholder-type ...)] ...)))]
@chunk[<define-ids> @chunk[<define-ids>
(define-temp-ids "~a/make-with-promises" (node ...)) (define-temp-ids "~a/make-incomplete" (node ...))
(define-temp-ids "~a/with-promises-type" (node ...))] (define-temp-ids "~a/incomplete-type" (node ...))]
@subsection{Processing the placeholders} @subsection{Processing the placeholders}