diff options
| author | Eduardo Julian | 2015-04-30 17:35:31 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-04-30 17:35:31 -0400 |
| commit | 10081333a9e116d087825ec7be31099ab4bbe97d (patch) | |
| tree | d82a7652ab06c9b847fbbdcc57f07fe0c662f655 /.gitignore | |
| parent | ffb8b3b7b59499783f92c8dffc7a515ee6463c83 (diff) | |
- Implemented pattern-matching for records.
- Added some code to allow variant creation with existential types. (NOTE: Check if it's actually valid)
- Modify var cleanup to leave the var as-is if it has been deleted. (NOTE: Need to find out why a variable is left prior to being deleted)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions