Re: Daniel Jackson on types in Alloy


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