Re: [racket-dev] type-case + typed racket yet?
On May 25, 2011, at 10:58 PM, Eli Barzilay wrote: > 20 minutes ago, Matthias Felleisen wrote: >> >> In what sense did you screw up? Even in ML all you get is a warning >> that your cases aren't exhaustive -- and so you get a run-time >> exception. So what? Run-time exceptions are a part of the standard >> type soundness theorem. -- Matthias > > Having these errors detected at compile time are a huge win in my > course. That's what I said to you yesterday :-) _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
[racket-dev] drracket internal error when playing with insert -> GUI
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 I got the following internal error when playing with insert -> GUI: refresh method of pasteboard%: expects type <'no-caret, 'show-inactive-caret, or 'show-caret> as 5th argument, given: '(0 . 1); other arguments were: 0.0 0.0 104.0 125.0 #f === context === /usr/lib64/racket/collects/mred/private/wxme/pasteboard.rkt:1297:2: refresh method in pasteboard% /usr/lib64/racket/collects/mred/private/wxme/editor-snip.rkt:292:10 /usr/lib64/racket/collects/mred/private/wxme/text.rkt:5253:24: sloop /usr/lib64/racket/collects/mred/private/wxme/text.rkt:5222:16: lloop /usr/lib64/racket/collects/mred/private/wxme/text.rkt:5019:2: refresh method in text% /usr/lib64/racket/collects/mred/private/wxme/editor-canvas.rkt:605:2: redraw method in editor-canvas% /usr/lib64/racket/collects/mred/private/wxme/text.rkt:805:2: do-set-position method in text% /usr/lib64/racket/collects/mred/private/wxme/editor-canvas.rkt:382:2: on-event method in editor-canvas% /usr/lib64/racket/collects/racket/private/more-scheme.rkt:149:2: call-with-break-parameterization /usr/lib64/racket/collects/racket/private/more-scheme.rkt:265:2: call-with-exception-handler /usr/lib64/racket/collects/mred/private/wx/gtk/window.rkt:621:4: dispatch-on-event method in window% /usr/lib64/racket/collects/mred/private/wx/common/queue.rkt:430:6 /usr/lib64/racket/collects/mred/private/wx/common/queue.rkt:470:32 /usr/lib64/racket/collects/mred/private/wx/common/queue.rkt:607:3 Marijn -BEGIN PGP SIGNATURE- Version: GnuPG v2.0.17 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk3eRN4ACgkQp/VmCx0OL2yDPgCgijQ7LueD+cGjxtI++HPE9Eu6 UrMAoMM/Huubl1VLcDm/BUWyXd92FVrv =i/Mq -END PGP SIGNATURE- _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] drracket internal error when playing with insert -> GUI
At Thu, 26 May 2011 14:17:34 +0200, Marijn wrote: > I got the following internal error when playing with insert -> GUI: > > refresh method of pasteboard%: expects type <'no-caret, > 'show-inactive-caret, or 'show-caret> as 5th argument, given: '(0 . 1); > other arguments were: 0.0 0.0 104.0 125.0 #f Thanks for the report! As it happens, we pushed a fix for this bug to the source repo yesterday. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev