This repository has been archived by the owner on Aug 30, 2019. It is now read-only.

Commits

Commits on May 5, 2011

Minor mods to cut.erl to conform to erl_id_trans more closely.
Steve Powell
committedMay 5, 2011

Commits on May 1, 2011

It does not make sense to allow a cut as a whole expression of a comprehension - same reasoning as why we don't support cuts in blocks
Matthew Sackman
committedMay 1, 2011
Add support for cuts on comprehensions (note, not very useful as only generators can be abstracted); case (potentially very useful but ends up looking a bit weird); cuts for remote calls merged int…
Matthew Sackman
committedMay 1, 2011
Add support for cut of cons/list
Matthew Sackman
committedMay 1, 2011

Commits on Apr 27, 2011

Thanks to MikeB for spotting this...
Matthew Sackman
committedApr 27, 2011
Whoops, commas needed
Matthew Sackman
committedApr 27, 2011
Convert erlando for the public umbrella
Matthew Sackman
committedApr 27, 2011

Commits on Apr 10, 2011

Tidy up test_do so that it actually works as a straightforward set of tests
Matthew Sackman
committedApr 10, 2011
minor refactor in test
Matthew Sackman
committedApr 10, 2011
Support getters and setters in record cuts.
Matthew Sackman
committedApr 10, 2011

Commits on Apr 3, 2011

Grr... in haskell everything's a function; not so in Erlang
Matthew Sackman
committedApr 3, 2011
Implement a couple of other standard monad helpers
Matthew Sackman
committedApr 3, 2011
Implement monad_plus
Matthew Sackman
committedApr 3, 2011
Add specs
Matthew Sackman
committedApr 3, 2011
Mass renaming so that we don't confuse lists module with list_m module
Matthew Sackman
committedApr 3, 2011
cough
Matthew Sackman
committedApr 3, 2011
Helps if I add the module...
Matthew Sackman
committedApr 3, 2011
Implement Omega which allows non depth first traversal of lists
Matthew Sackman
committedApr 3, 2011
cosmetic
Matthew Sackman
committedApr 3, 2011
Yup, still having fun
Matthew Sackman
committedApr 3, 2011
Add the list monad, and demonstrate equivalence with list comprehensions (thus whenever anyone says that list comprehensions are a type of monad, it should now be obvious why that's true)
Matthew Sackman
committedApr 3, 2011
catch errors in the test monad. Not sure if this is a good idea or not...
Matthew Sackman
committedApr 3, 2011
Support cut in binary size and binary type. However, it turns out erlang doesn't allow you to abstract binary types. I've no idea why not
Matthew Sackman
committedApr 3, 2011
cosmetic
Matthew Sackman
committedApr 3, 2011
Neat use of a test-monad
Matthew Sackman
committedApr 3, 2011
Support cut in binary construction. Note that this does not support cut in the size or type declaration. I don't think that's at all necessary. Also, substantial refactoring
Matthew Sackman
committedApr 3, 2011
support cut in record updates
Matthew Sackman
committedApr 3, 2011
Refine test to demonstrate record field order in record declaration is not relevant; only order in record init
Matthew Sackman
committedApr 3, 2011
Add test for non-unary cut in record init
Matthew Sackman
committedApr 3, 2011
Support cut in record creation
Matthew Sackman
committedApr 3, 2011
1. do cuts as we come back up rather than as we go down. This shouldn't make much difference, but I think is right-er. 2. Support cuts in tuple construction.
Matthew Sackman
committedApr 3, 2011

Commits on Apr 1, 2011

Remove unneeded var, and remove debug printf
Matthew Sackman
committedApr 1, 2011
Support binary infix ops, and unary prefix ops in cut
Matthew Sackman
committedApr 1, 2011
Given that in Erlang we don't import stuff, avoid obvious duplication of _state_t in function names and modules
Matthew Sackman
committedApr 1, 2011
Move monad instances out of test
Matthew Sackman
committedApr 1, 2011