Eigenstate: myrddin-dev mailing list

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Crash!


BTW, I was trying this to generate a wrapper type based on the comment you
posted on Reddit. You know, the one about implementing the Scala/Felix
Refrigable trait. That you deleted right after I wrote up a 20-sentence
reply...

On Sun, Nov 15, 2015 at 3:23 PM, 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/
>
>



-- 
Ryan
[ERROR]: Your autotools build scripts are 200 lines longer than your
program. Something’s wrong.
http://kirbyfan64.github.io/

Follow-Ups:
Re: Crash!Ori Bernstein <ori@xxxxxxxxxxxxxx>
References:
Crash!Ryan Gonzalez <rymg19@xxxxxxxxx>