diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-20 14:36:30 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-20 14:36:30 +0000 |
| commit | ed451653bd9fa4d835cb263c06d0ecb9133b9935 (patch) | |
| tree | cf6cc1e56c5cac76d4c9fb6c09a6bad456e3c151 /bin | |
| parent | e5accc0d8d3c6d9cace9d4aff482ab285bf7e01b (diff) | |
Introduce an explicit error value in the Term type
This makes it easier to treat run-time errors (e.g. caused by calls to
Predef.error) in a way that is more typical for a lazy functional language.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions