"error: Use of unassigned local variable" when using value types

[gauthier]

class Program
	def main
		ensure
			enddate > begindate
		body
			begindate = DateTime.now.date
			enddate = begindate.addDays(1)

gives

c:\tmp\cobratickets\tmp.cobra(3): error: Use of unassigned local variable "enddate"
c:\tmp\cobratickets\tmp.cobra(3): error: Use of unassigned local variable "begindate"
Compilation failed - 2 errors, 0 warnings
Not running due to errors above.

Looking at intermediate .cs code, I think this may be reproducible only with value types.

[Chuck]

Well actually you should not have an "ensure" referring to local variables since contracts are part of the public interface of a method. Use an "assert" within the body of the method if you want to verify intermediate steps of your method.

I'll add a check for this.

[Chuck]

I have added the error checking in changeset:2319