From aad0fa5884704b8a4ca3890323199334eba1f31d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 19 Nov 2014 10:56:50 -0500 Subject: [PATCH] Fix init arg order for Message% type. --- .../typed-racket-more/typed/racket/private/gui-types.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt index 53b204180c..19baec1841 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt @@ -1488,9 +1488,9 @@ (define-type Message% (Class #:implements Control<%> - (init [parent (Instance Area-Container<%>)] ; FIXME - [label (U String (Instance Bitmap%) + (init [label (U String (Instance Bitmap%) (U 'app 'caution 'stop))] + [parent (Instance Area-Container<%>)] ; FIXME [style (Listof 'deleted) #:optional] [font (Instance Font%) #:optional] [enabled Any #:optional]