Re: Crash!

[Ori Bernstein <ori@xxxxxxxxxxxxxx>]

Crash fixed:

Input:

    type mytype = struct
            value : @a
    ;;

Result:

    $ 6/6m test.myr 
    test.myr:2: type parameter @a is undefined in generic context

I could probably stand to produce a better error message.

On Sun, 15 Nov 2015 15:23:18 -0600, Ryan Gonzalez <rymg19@xxxxxxxxx> wrote:

> I was trying to see if I could create a wrapper type like this in C++:
> 
> 
> template <typename T>
> struct mytype {
>     T value;
> };
> 
> 
> So I tried this:
> 
> 
> type mytype = struct
>     value : @a
> ;;
> 
> const main = {
>     var x : mytype
>     x.value = 123
> }
> 
> 
> 6m said:
> 
> 
> @a missing traits numeric,integral for $39 :: numeric,integral near
> <mytype>.value
> 
> 
> Well, I didn't really want to restrict it to integral types...but I did it
> anyway. I changed the declaration of mytype.value to:
> 
> 
> value : @a::(numeric,integral)
> 
> 
> And got:
> 
> 
> Type @a :: numeric,integral does not have size; why did it get down to here?
> Aborted (core dumped)
> 
> 
> :(
> -- 
> Ryan
> [ERROR]: Your autotools build scripts are 200 lines longer than your
> program. Something’s wrong.
> http://kirbyfan64.github.io/


-- 
    Ori Bernstein