From b270a847a9dd48fede0efa435173762e1f6fcfcc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 22 Jan 2006 15:46:46 +0000 Subject: [PATCH] added contract to build-struct-names svn: r1928 --- collects/syntax/struct.ss | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/syntax/struct.ss b/collects/syntax/struct.ss index b6c89cf08e..94e10e4e4e 100644 --- a/collects/syntax/struct.ss +++ b/collects/syntax/struct.ss @@ -1,12 +1,18 @@ (module struct mzscheme (require (lib "etc.ss") + (lib "contract.ss") "stx.ss") (require-for-template mzscheme) + (provide/contract + [build-struct-names + (opt-> (identifier? (listof identifier?) boolean? boolean?) + ((union false/c syntax?)) + (listof identifier?))]) + (provide parse-define-struct - build-struct-names build-struct-generation build-struct-expand-info struct-declaration-info?