// "037.hac" should fail: bad meta-range
// copy-modified from "036.hac"

template <pint N[2]>
defproc foo();

pint W[2];
W[0] = 1;
W[1] = 0;

foo<W[W[0]..W[1]]> bar;		// DEATH: min > max! and wrong size

// for type-checking ok if foo undefined

