On Sat, Sep 22, 2012 at 12:20 PM, Eli Barzilay wrote:
>
>> What I'm suggesting is that some unions (e.g. `Natural') be opaque
>> even to the introspection tool. Since there's no way to get
>> something to typecheck as `Positive-Integer-Not-Fixnum' (the
>> typechecker will never give that type to a
20 minutes ago, Vincent St-Amour wrote:
> At Sat, 22 Sep 2012 10:52:49 -0400,
> Eli Barzilay wrote:
> >
> > > (This 1)
> > - : SOMETHING <--- the type is not `This'
> > (This 1)
>
> This is not what I'm describing.
>
> If `(This 1)' is used as type `SOMETHING', the TR printer will prin
At Sat, 22 Sep 2012 10:52:49 -0400,
Eli Barzilay wrote:
>
> A few minutes ago, Matthias Felleisen wrote:
> >
> > I consider this problem distinct from Vincent's.
>
> Yes, the problem is separate (hence moving the discussion) -- it's the
> feature that he mentioned (being able to hide types) tha
Just now, Matthias Felleisen wrote:
>
> On Sep 22, 2012, at 10:52 AM, Eli Barzilay wrote:
>
> > I'm not following that... If you're saying that the two
> > constructors are not separate, then I'm more than agreeing -- I'm
> > saying that this is the main feature of the whole thing: the fact
> >
On Sep 22, 2012, at 10:52 AM, Eli Barzilay wrote:
> A few minutes ago, Matthias Felleisen wrote:
>>
>> I consider this problem distinct from Vincent's.
>
> Yes, the problem is separate (hence moving the discussion) -- it's the
> feature that he mentioned (being able to hide types) that I was
A few minutes ago, Matthias Felleisen wrote:
>
> I consider this problem distinct from Vincent's.
Yes, the problem is separate (hence moving the discussion) -- it's the
feature that he mentioned (being able to hide types) that I was
referring to.
> I'd argue that the separate this/that constru
I consider this problem distinct from Vincent's.
I'd argue that the separate this/that constructors exist in your mind only.
On Sep 22, 2012, at 7:23 AM, Eli Barzilay wrote:
> [This is unrelated to the PR, so redirected here.]
>
> Yesterday, Vincent St-Amour wrote:
>>
>> Types like `Posi
The "%RACKETDIR%" in scheme_make_path() isn't going to get expanded as
an environment variable. You'll have to use getenv() directly:
a[0] = scheme_make_path(getenv("RACKETDIR"));
a[1] = scheme_make_path("collects");
Scheme_Object * collectPath = scheme_build_path(2, a);
Scheme_Object * collec
[This is unrelated to the PR, so redirected here.]
Yesterday, Vincent St-Amour wrote:
>
> Types like `Positive-Integer-Not-Fixnum' are used internally as building
> blocks for numeric types, but are not exported.
>
> IMO, these types wouldn't be very useful to users because
> - They're not use
9 matches
Mail list logo