From 1bf4bf187215ab3f001f9ee76b97b9d3d13dad21 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Sat, 2 Aug 2014 08:41:15 -0400 Subject: [PATCH] signatures broke a while back and nobody uses then in *SL --- .../tests/drracket/teaching-lang-coverage.rkt | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-coverage.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-coverage.rkt index 19df1430c0..6977d70afc 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-coverage.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-coverage.rkt @@ -52,9 +52,13 @@ (t #rx"Advanced Student$" #<<-- (define-struct foo (x)) - -(: make-foo (Number -> foo)) -(: foo-x (foo -> Number)) +;; ---------------------------------------------------- +;; MF: something broke about signatures +;; Shriram said at Dagstuhl that he doesn't use them, +;; and I don't know of anyone else who uses them in *SL +;; ---------------------------------------------------- +;; (: make-foo (Number -> foo)) +;; (: foo-x (foo -> Number)) (define x (make-foo 5)) (foo-x x)