Hi, I am still grappling with this problem:
Felix has a rule for concrete data types, in particular products.
We have quite a few product type: tuples, records, structs, arrays.
Products are characterised by projection functions.
Each product type has a different way of naming them.
We like for a
At present, the type system behind pointers is a bit of a mess.
And we have an outstanding problem: you can have a pointer
of type
ptr[T] = &T
which cannot be NULL. You can have a pointer of type
cptr[T] = @T
which can be NULL. See class Cptr in std/cptr.flx.
You can also h
Hmm.. I'm confused :)
Felix has several different pointer types:
&T // pointer to a single object, never NULL
@T // pointer to a single object, may be NULL
+T // pointer to an array (incrementable), never NULL
So there's one missing and I needed it:
@+T // poin
