On Jun 13, 2015, at 8:18 AM, Hendrik Boom hend...@topoi.pooq.com wrote:
On Fri, Jun 12, 2015 at 06:06:05PM -0700, 'John Clements' via users-redirect
wrote:
On Jun 12, 2015, at 5:52 PM, Alexander D. Knauth alexan...@knauth.org
wrote:
On Jun 12, 2015, at 8:30 PM, 'John Clements' via
On Jun 13, 2015, at 7:37 AM, Alexander D. Knauth alexan...@knauth.org wrote:
On Jun 13, 2015, at 12:18 AM, 'John Clements' via users-redirect
us...@plt-scheme.org wrote:
Okay, I shouldn’t change topics, but while I’ve got you (guys): it looks
like (module+ test …) now works in TR,
On Jun 13, 2015, at 12:18 AM, 'John Clements' via users-redirect
us...@plt-scheme.org wrote:
Okay, I shouldn’t change topics, but while I’ve got you (guys): it looks like
(module+ test …) now works in TR, but not when there are imported bindings…
suppose I have foo.rkt:
I’ve run into
On Fri, Jun 12, 2015 at 06:06:05PM -0700, 'John Clements' via users-redirect
wrote:
On Jun 12, 2015, at 5:52 PM, Alexander D. Knauth alexan...@knauth.org
wrote:
On Jun 12, 2015, at 8:30 PM, 'John Clements' via users-redirect
us...@plt-scheme.org wrote:
Here’s the type I
On Jun 12, 2015, at 6:07 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2015-06-12 17:30:42 -0700, 'John Clements' via users-redirect wrote:
(define-type (HuffJsexpr T)
(U T (HashTable Symbol HuffJsexpr)))
The variant that Alex mentioned should work.
Interesting… there *is* a problem,
On Jun 12, 2015, at 8:30 PM, 'John Clements' via users-redirect
us...@plt-scheme.org wrote:
Here’s the type I want to write:
(define-type (HuffJsexpr T)
(U T (HashTable Symbol HuffJsexpr)))
Do you mean this?
(define-type (HuffJsexpr T)
(U T (HashTable Symbol (HuffJsexpr T
#lang
On 2015-06-12 17:30:42 -0700, 'John Clements' via users-redirect wrote:
(define-type (HuffJsexpr T)
(U T (HashTable Symbol HuffJsexpr)))
The variant that Alex mentioned should work.
I think the only restrictions on recursive types that TR enforces are that it
has to be (A) productive, in
On Jun 12, 2015, at 5:52 PM, Alexander D. Knauth alexan...@knauth.org wrote:
On Jun 12, 2015, at 8:30 PM, 'John Clements' via users-redirect
us...@plt-scheme.org wrote:
Here’s the type I want to write:
(define-type (HuffJsexpr T)
(U T (HashTable Symbol HuffJsexpr)))
Do you
8 matches
Mail list logo
