Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix a compilation warning.HEADmaster | Matthias Benkard | 2008-02-21 | 1 | -0/+1 |
| | | | | darcs-hash:e02fcf15e5168f49ba0533063a16544e6bb2ae5c | ||||
* | Add an example of strictness inheritance. | Matthias Benkard | 2008-02-21 | 1 | -0/+8 |
| | | | | darcs-hash:c51ca976337e6419c72726c23c5556a230bf2b4d | ||||
* | Add a strictness option to protocols. | Matthias Benkard | 2008-02-21 | 2 | -6/+37 |
| | | | | darcs-hash:28dd5077fc8cd98403f72f76668046a5b79bef21 | ||||
* | Bump version. | Matthias Benkard | 2008-02-21 | 1 | -1/+1 |
| | | | | darcs-hash:03c2972f7a8311a811e294879e951c6ab2ccfeb6 | ||||
* | Correctly determine conformance again. | Matthias Benkard | 2008-02-21 | 1 | -40/+56 |
| | | | | darcs-hash:2b4ba01df66cf80650325ae89c1fe17988f5d0f9 | ||||
* | Make protocols a type of class. | Matthias Benkard | 2008-02-21 | 2 | -35/+40 |
| | | | | darcs-hash:8519271c3df66c3fae88d1d07fc0bf02493e1dc2 | ||||
* | Warn about indeterminable method implementation. | Matthias Benkard | 2008-02-21 | 1 | -5/+21 |
| | | | | darcs-hash:1249fc4685bb4b81fcd56d029935fb8c7b8e8587 | ||||
* | Clarify the examples a bit. | Matthias Benkard | 2007-09-24 | 1 | -8/+8 |
| | | | | darcs-hash:24c2f99aa290e55fe04c60582f2b33526c690cf6 | ||||
* | Support protocol inheritance. | Matthias Benkard | 2007-09-24 | 2 | -32/+56 |
| | | | | darcs-hash:26e54df381e3bbe213472f6c7b4f2fb11bdd16af | ||||
* | Initial version. | Matthias Benkard | 2007-09-24 | 5 | -0/+215 |
darcs-hash:def92c268e831071d651f7c0dc315910359b1d07 |