Subject: Re: Daniel Jackson on types in Alloy
From: Paul T. Graunke (ptg@ccs.neu.edu)
Date: Mon Feb 25 2002 - 09:49:33 EST
> most of the time, a type error arises from misunderstanding precedence
> rules, ...
Oooh! I have a great idea for a language improvement that would statically
eliminate a whole class of errors. :-)
Paul
This archive was generated by hypermail 2b28 : Mon Feb 25 2002 - 09:49:35 EST