On 08/10/2013, at 2:06 PM, john skaller wrote:
> 
> The following are not yet supported properly but will be:
> 
>       (e) An expression of a compact linear type of the type of the index of
>       an array applied to it
> 
>       (f) an integer expression applied to an array of unitsum index
> 
> In case (f), the index expression will be bounds checked. In case (e)
> of course that cannot be necessary,



Well .. this now works (case (f)):

begin
println$ "Variable Double projection array/array (compact linear)";
var x = (false,false),(false,false);
println$ x;
var i = 0;
x . (i + 0) . (i + 1) = true;
x . (i + 1) . i = true;
println$ x;
end

That leaves case (e).  The program here is to first get a single simple
case to work at all before trying more exhaustive tests.

--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org




------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from 
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60134071&iu=/4140/ostg.clktrk
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to