Custom Query – Cforall

Results (7 - 9 of 146)

← 1 2 3 4 5 6 7 8 9 10 11 12 13 →

Ticket	Owner	Reporter	Resolution	Summary
#2		ajbeach	fixed	Variable Trait Requirements Cannot be Solved with Globals
Description	Variable assertions in traits cannot be satisfied by global variables. int max; trait current_maximum(otype T) { T max; }; Int does not satisfy current_maximum.
#3	a3moss	a3moss	fixed	No constructors in prelude from zero_t, one_t
Description	Do a trait assertion of the form `void ?{}(T*, zero_t);` (or `one_t`) -- `int` (and any other built-in type) will not satisfy it, and should.
#4	Rob Schluntz <rschlunt@…>	a3moss	fixed	User-generated constructors for basic types overload non-matching prelude constructors
Description	If you write a constructor like `void ?{}( int, zero_t );` in user code, it hides the default `int` constructor in the prelude, and possibly shouldn't. (That said, over-writing a matching* prelude constructor should hide it, and I'm not sure if we can effectively differentiate between these cases.)

← 1 2 3 4 5 6 7 8 9 10 11 12 13 →