Re: [racket-users] how to adapt BC code for Racket CS?

I've been regularly running "smoke" benchmarks for the relation library, and just updated from Racket 7.5 (BC) to Racket CS 7.6. In case the data is useful to anybody, here are the before/after times. These benchmarks exercise elementary

Re: [racket-users] How can I write a macro that recognizes arbitrary other macros?

Thanks! That was much easier than I was expecting. For posterity, here is some working code but be warned that I don't know whether 'module is the best expansion context to use. But this is a toy example anyway. #lang racket (define-syntax (collect stx) (syntax-case stx (define-values) [

[racket-users] Debugging "stuck-ghost-mouse-button" problems

Hi all, I'm trying to debug my (Windows7, 2-button trackpad) system, specifically, weird behaviour with the mouse. To help determine what the actual problem is, I wrote a small Racket GUI progam, that surprised me with the following output: object:object:my-frame% type:enter pos:(338,32) buttons

Re: [racket-users] Gradual Typed Racket?

Fantastic, thanks for the clarification Ben. I'll start using it to see what it does, as I have a few functions that occasionally throw errors through contracts - which I should call 'blame' - yet I can't figure out much from it. On Fri, Apr 17, 2020 at 6:09 PM Ben Greenman wrote: > On 4/17/20,

Re: [racket-users] Gradual Typed Racket?

On 4/17/20, Sorawee Porncharoenwase wrote: >> >> My understanding is that contract-out only provides protection against >> inappropriate calls from clients *outside* the module, whereas >> define/contract enforces the contract against everyone, including things >> inside the module. Do I have tha

Re: [racket-users] Gradual Typed Racket?

> > My understanding is that contract-out only provides protection against > inappropriate calls from clients *outside* the module, whereas > define/contract enforces the contract against everyone, including things > inside the module. Do I have that right? > I think that's correct. Note though t

Re: [racket-users] Gradual Typed Racket?

On Fri, Apr 17, 2020 at 9:45 AM Ben Greenman wrote: > Hi Marc, > > > >> For contracts, though, (provide (contract-out ...)) gives better error > >> messages than define/contract. > >> > > > > In what sense is this the case, and where can I read more about the > > differences, as well as how to im

Re: [racket-users] Gradual Typed Racket?

Hi Marc, >> For contracts, though, (provide (contract-out ...)) gives better error >> messages than define/contract. >> > > In what sense is this the case, and where can I read more about the > differences, as well as how to improve errors of contracts? contract-out gives better error messages t

Re: [racket-users] NixOS: (help map) does not find documentation

On Thursday, April 16, 2020 at 7:48:35 PM UTC+2, asumu wrote: > > On 2020-04-16 05:19:26 -0700, unlimitedscolobb wrote: > >I started a discussion on NixOS Discourse here: > > > https://discourse.nixos.org/t/racket-does-not-find-documentation-after-update/ > > >Would you mind submitt

Re: [racket-users] Gradual Typed Racket?

Hi Ben, you wrote (snip): For contracts, though, (provide (contract-out ...)) gives better error > messages than define/contract. > In what sense is this the case, and where can I read more about the differences, as well as how to improve errors of contracts? Is it related to this part of th