aboutsummaryrefslogtreecommitdiff
path: root/src/lang/util.clj
diff options
context:
space:
mode:
authorEduardo Julian2015-04-09 02:04:54 -0400
committerEduardo Julian2015-04-09 02:04:54 -0400
commited1163370cd37f15d18e2b3d6cb6ecc13cd50243 (patch)
tree873a1679945842daa42d7f99373b9c82917af5db /src/lang/util.clj
parent36ba345de7e20ad1a51f5ab05ce10931dba04771 (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