On 2012-11-05 6:43 AM, Matthew Flatt wrote:

Here's a first cut at a module that you can import into BSL programs.

The least obvious part is defining a new `define-type' and `type-case'
that invents hidden names for the variants and them maps between them
while expanding to the original forms.

Wow, thanks. I will study the code and do my best to understand it, and test it for deployment next fall. I can already see the outline of how your code achieves what you describe, but could you please say a few words about why that's necessary, to improve my understanding of BSL? Thanks again. --PR
____________________
 Racket Users list:
 http://lists.racket-lang.org/users

Reply via email to