From 4ef32ff3fa69be9ee309690a5f591308ce89d507 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Tue, 19 Jan 2016 11:07:57 -0500 Subject: [PATCH] Fixed bug in docs --- cur-doc/cur/scribblings/stdlib/sugar.scrbl | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/cur-doc/cur/scribblings/stdlib/sugar.scrbl b/cur-doc/cur/scribblings/stdlib/sugar.scrbl index 1499bc2..685def1 100644 --- a/cur-doc/cur/scribblings/stdlib/sugar.scrbl +++ b/cur-doc/cur/scribblings/stdlib/sugar.scrbl @@ -29,14 +29,13 @@ This library defines various syntactic extensions making Cur easier to write tha A multi-artiy function type that supports dependent and non-dependent type declarations and automatic currying. @examples[#:eval curnel-eval - (data And : (-> Type Type) + (data And : (-> Type Type Type) (conj : (-> (A : Type) (B : Type) A B ((And A) B)))) ((((conj Bool) Bool) true) false)] -} @examples[#:eval curnel-eval (data And : (forall Type Type Type) - (conj : (forall (A : Type) (B : Type) A B ((And A) B)))) + (conj : (forall (A : Type) (B : Type) A B (And A B)))) ((((conj Bool) Bool) true) false)] } @@ -120,7 +119,6 @@ If @racket[#:return] is not specified, attempts to infer the return type of the @examples[#:eval curnel-eval ((match (nil Bool) - #:in (List Bool) [(nil (A : Type)) (lambda (n : Nat) (none A))]