Make `procedure-to-blame' applicable.

This unbreaks some applications of procedures with signature violations.
2010-08-25 15:59:50 +02:00 · 2010-08-25 15:59:50 +02:00 · 00061e6bb9
commit 00061e6bb9
parent cda3d259ee
1 changed files with 2 additions and 1 deletions
--- a/collects/deinprogramm/signature/signature.rkt
+++ b/collects/deinprogramm/signature/signature.rkt
@ -373,7 +373,8 @@
   #:arbitrary-promise
   (delay (apply arbitrary-one-of =? cases))))

-(define-struct procedure-to-blame (proc syntax))
+(define-struct procedure-to-blame (proc syntax)
+  #:property prop:procedure 0)

 (define signature-key (gensym 'signature-key))