Re: Question about contracts on methods.

2009-11-30 Thread Peter C. Chapin
Don wrote in news:hf0obf$1th...@digitalmars.com: >> void next() >> in { >> int original_day_m = day_m; >> int original_month_m = month_m; >> int original_year_m = year_m; >> } >> out { >> assert( ... expression using original_day_m, etc ... ) >>

Re: Question about contracts on methods.

2009-11-30 Thread Don
Peter C. Chapin wrote: Lutger wrote in news:hescc2$16...@digitalmars.com: You are not missing something, this is a known issue. It has been discussed and I believe the intention was to do something about this, but with all the high priorities I'm not sure when this will be solved. Okay, th

Re: Question about contracts on methods.

2009-11-28 Thread Peter C. Chapin
Lutger wrote in news:hescc2$16...@digitalmars.com: > You are not missing something, this is a known issue. It has been > discussed and I believe the intention was to do something about this, > but with all the high priorities I'm not sure when this will be > solved. Okay, thanks for the inform

Re: Question about contracts on methods.

2009-11-28 Thread Lutger
Peter C. Chapin wrote: > Hi! > > I'm rather new to D and I'm experimenting with its support for > contracts. I'm using dmd v1.51 on Windows. > > Whenever I learn a new language I usually start by implementing a few > "classic" components to get a feeling for how the language's features > work in

Question about contracts on methods.

2009-11-28 Thread Peter C. Chapin
Hi! I'm rather new to D and I'm experimenting with its support for contracts. I'm using dmd v1.51 on Windows. Whenever I learn a new language I usually start by implementing a few "classic" components to get a feeling for how the language's features work in a pseudo-realistic setting. A class