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