From 0cab35fdcba15737583541db49ee87a376d30870 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 17 Feb 2010 16:24:01 +0000 Subject: [PATCH] Adding names to datatype generated contracts svn: r18119 --- collects/plai/datatype.ss | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/collects/plai/datatype.ss b/collects/plai/datatype.ss index 292489b27f..b518049a4e 100644 --- a/collects/plai/datatype.ss +++ b/collects/plai/datatype.ss @@ -168,23 +168,27 @@ (lambda-memocontract (field ...) (contract (field/c ... . -> . variant?) make-variant* - 'make-variant 'use))) + 'make-variant 'use + 'make-variant #'variant))) (define variant (lambda-memocontract (field ...) (contract (field/c ... . -> . variant?) make-variant* - 'variant 'use))) + 'variant 'use + 'variant #'variant))) (define variant-field (lambda-memocontract (v) (contract (f:variant? . -> . field/c) variant*-field - 'variant-field 'use))) + 'variant-field 'use + 'variant-field #'field))) ... (define set-variant-field! (lambda-memocontract (v) (contract (f:variant? field/c . -> . void) set-variant*-field! - 'set-variant-field! 'use))) + 'set-variant-field! 'use + 'set-variant-field! #'field))) ... ) ...)))))]))