valid inputs for identifier in rec

[derrick white]

we are unsure, even having read the description of valid rec
identifier use, what is legal and what is not.

we think that it just means that the identifier must be a function. if
not, please inform us.

[Dan Burton]

From what I understood, it means that the symbol could be bound a function, and that function could be recursive. But it could also be a non-recursive function, or any other valid (non-recursive) expression. The only logical reason to use "rec" over "with" would be for the purpose of defining a recursive function.

Dan Burton
801-513-1596

[Bryan Morse]

A description of the behavior of the "rec" construct can be found in Ch. 9 of your textbook.

A description of the type judgments for it can be found in Section 26.4.