Gunnar Teege
Gunnar Teege
For the development of builtin arrays (#319) I propose to support modification of boxed arrays not by take/put operations for elements, instead use higher order functions which apply a _modification...
The following example code ``` h: all acc. (acc -> acc, acc) -> acc h (f, i) = f i f1: U32 -> U32 f1 i = i+1 g: U32...
The code ``` type R = {a: U32, b: U32} layout record {a: 4B at 0B } f: R -> R f x = x{a=5} ``` compiles successfully but creates...
The unbox type operator should have no effect when applied to a non-linear type. However the code ``` f: U8 -> U32 f i = i+1 g: #(U8 -> U32)...
The code ``` type T a = { x: #a }! g: all(a). () -> T a type S = { y : { z: U8 } } f: ()...
It seems that in a .ah file in a typedef of the form ``` typedef b ...$id:(A tp)... ``` the scope of the type variable ``$ty:tp`` is restricted to the...
(Detailed Version of my proposal in the meeting today.) The code ``` type A a type Rec = {x: U32, y:(A Rec)} f: Rec -> Rec f r = r...
``` type A f: all(a). #a -> a ff: all(b,c). (b->c) -> () g: () -> () g () = ff[#A,A](f) ``` causes the error message: ``` Parsing... Resolving dependencies......
(This time I want to be more constructive than the last days 8^) When looking at the dargent layout specifications I noted that they are very specific for the layouted...
(I know that it's alpha and the example makes no sense, but when I hit it I can tell you anyways.) ``` type A type BA = A layout 4B...