Re: [racket-users] syntax-parse in typed racket

2016-09-06 Thread Sourav Datta
On Monday, September 5, 2016 at 10:54:57 PM UTC+5:30, Matthias Felleisen wrote: > The easiest and proper fix is to write typed macros for typed modules. Below > is a naive but straightforward solution. It would be better if > define-memoized fished out the type declaration for f and used it to

Re: [racket-users] syntax-parse in typed racket

2016-09-05 Thread Matthias Felleisen
The easiest and proper fix is to write typed macros for typed modules. Below is a naive but straightforward solution. It would be better if define-memoized fished out the type declaration for f and used it to add domain types for arg-s... #lang typed/racket (require (for-syntax

[racket-users] syntax-parse in typed racket

2016-09-05 Thread Sourav Datta
Another day, another typed racket question! I was experimenting with memoize library in Racket and noticed that it does not always work with typed racket functions (or, may be I was not 'require'ing it properly). So I came up with this crude implementation below and it seems to be working for