suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove default-settings?, because super method uses default-settings method

Browse Source 
svn: r644
This commit is contained in:
Matthew Flatt 2005-08-24 15:39:07 +00:00
parent e4d6e9208e
commit 193aac8a96
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/plai/plai-tool.ss
View File

@ -53,9 +53,6 @@ the default printing style shold be 'constructor instead of 'write
(define/override (default-settings)
(let ([s (super default-settings)])
(to-style s 'constructor)))
(define/override (default-settings? s)
(and (eq? (drscheme:language:simple-settings-printing-style s) 'constructor)
(super default-settings? (to-style s 'write))))
(define/private (to-style s v)
(drscheme:language:make-simple-settings