Opened 7 years ago

Closed 5 years ago

#3 closed defect (fixed)

No constructors in prelude from zero_t, one_t

Reported by: a3moss Owned by: a3moss
Priority: minor Component: cfa-cc
Version: 1.0 Keywords:
Cc:

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.

Change History (6)

comment:1 Changed 7 years ago by a3moss

I'm not sure if the prelude library auto-generator will be smart enough to handle zero_t and one_t the way it should to generate these, which may be a non-trivial change.

Last edited 7 years ago by a3moss (previous) (diff)

comment:2 Changed 7 years ago by ajbeach

I think there are also no T ?=?(T*, zero_t); (that is to say, the matching assignment operators). Should these also be included in the prelude?

comment:3 Changed 6 years ago by a3moss

Owner: set to a3moss
Status: newassigned

This is fixed in the resolver prototype, so whenever I integrate its assertion resolution this issue should go away.

comment:4 Changed 5 years ago by Thierry Delisle

I believe this is fixed in master, please confirm...

comment:5 in reply to:  4 Changed 5 years ago by Thierry Delisle

Summary: No zero_t, one_t constructors in preludeNo constructors in prelude from zero_t, one_t

New title is clearer

comment:6 Changed 5 years ago by Thierry Delisle

Resolution: fixed
Status: assignedclosed
Note: See TracTickets for help on using tickets.