From 6af15a3ff2edf9e7d0c60eed6ed00e90ce1b6a8d Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sun, 5 Apr 2015 11:48:19 -0700 Subject: [PATCH] nit --- quad/core-types.rkt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/quad/core-types.rkt b/quad/core-types.rkt index 6c170bd9..29ae3d33 100644 --- a/quad/core-types.rkt +++ b/quad/core-types.rkt @@ -43,6 +43,12 @@ (define-type+predicate QuadAttr (Pairof QuadAttrKey QuadAttrValue)) (define-type+predicate QuadAttrs (Listof QuadAttr)) (define quad-attrs? QuadAttrs?) +#| +;; mutually recursive version +(define-type HashableListKey (U Null (Pairof QuadAttrKey HashableListValue))) +(define-type HashableListValue (Pairof QuadAttrValue HashableListKey)) +(define-type+predicate HashableList HashableListKey) +|# (define-type+predicate HashableList (Rec duo (U Null (List* QuadAttrKey Any duo)))) (define-type JoinableType (U Quad QuadAttrs HashableList))