Hello Aran
Changing to an explicit sum type rather than using Either might
subsequent functions that process a Binding cleaner:
data Binding = BoundVar Var Value
| PossiblyBound Var [Value]
Naturally you might want to consider a better constructor name than
'PossiblyBound'.
--
As an open question to the list - the above change can be seen as a
'denormalisation' of the data type (adding redundancy), does anyone
know of a reference that covers such things?
The only thing I can think of close is David S. Wile's "Abstract
syntax from concrete syntax"...
Thanks
Stephen
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
