From 5e1e9373efcd937635eea68c94d52aa00f4c565d Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Sat, 8 Sep 2012 20:05:15 +0200 Subject: racket: autodoc for PLAI's define-type --- scheme/racket/geiser/autodoc.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'scheme') diff --git a/scheme/racket/geiser/autodoc.rkt b/scheme/racket/geiser/autodoc.rkt index bdd6422..ee5c488 100644 --- a/scheme/racket/geiser/autodoc.rkt +++ b/scheme/racket/geiser/autodoc.rkt @@ -1,6 +1,6 @@ ;;; autodoc.rkt -- suport for autodoc echo -;; Copyright (C) 2009, 2010, 2011 Jose Antonio Ortega Ruiz +;; Copyright (C) 2009, 2010, 2011, 2012 Jose Antonio Ortega Ruiz ;; This program is free software; you can redistribute it and/or ;; modify it under the terms of the Modified BSD License. You should @@ -199,6 +199,8 @@ [`(define-syntax ,name (lambda ,_ (syntax-case ,_ . ,clauses))) (for-each (lambda (c) (add-syntax-signature! name (cdar c) store)) (reverse clauses))] + [`(define-type ,_ . ,cases) + (for-each (lambda (c) (add-signature! (car c) (cdr c) store)) cases)] [_ void]))) (define (add-signature! name formals store) -- cgit v1.2.3