diff options
| author | Eduardo Julian | 2015-04-09 02:04:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-04-09 02:04:54 -0400 |
| commit | ed1163370cd37f15d18e2b3d6cb6ecc13cd50243 (patch) | |
| tree | 873a1679945842daa42d7f99373b9c82917af5db /src/lang | |
| parent | 36ba345de7e20ad1a51f5ab05ce10931dba04771 (diff) | |
- Function names & parameters now take prefixes into account.
- Added more cases for totality checking in pattern-matching.
- Fixed a bug when type-checking function application that used the exo-type for both the function being applied as to the application itself.
- Fixed a few minor bugs scattered around that had to do with wrong number of arguments being passed to functions.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions