{"push_id":1128612522,"size":21,"distinct_size":0,"ref":"refs/heads/master","head":"a602f1e4121bc8894f0e308f32e40ded3d3644bc","before":"1bed3f19d05c3d4fddcdf86484d690e8207b9b4f","commits":[{"sha":"9bc8ef163eb6b51e41cb439a7971f764cba69b75","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Update version limits to support GHC 8.0.1 and add a wrapper module to enable compatibility with both GHC 7.10 and GHC 8.0","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/9bc8ef163eb6b51e41cb439a7971f764cba69b75"},{"sha":"72a257c3d8169307fe10521539bd0c9bc039f193","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Update some modules to use wrapped function that allow use in several versions of GHC","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/72a257c3d8169307fe10521539bd0c9bc039f193"},{"sha":"05a9cc9079e32910182fe5a8cb9e47f6cb5bacb1","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Fix most problems in Evidence module","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/05a9cc9079e32910182fe5a8cb9e47f6cb5bacb1"},{"sha":"74bff8e6b26d53191a5caca75bdce106a4eefb10","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"The plugin compiles with GHC 8.0.1","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/74bff8e6b26d53191a5caca75bdce106a4eefb10"},{"sha":"a2e06d7a00aeff4b8d888e5e87a878b9c468e526","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Raise the maximum number of solver iterations for the session example to make it compile with GHC 8.0.1","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/a2e06d7a00aeff4b8d888e5e87a878b9c468e526"},{"sha":"ee141d5c97c7f06e49a0e7cfb33bd7d82a0cfdb5","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Restructure result handling in the environment to allow better processing of produced results","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/ee141d5c97c7f06e49a0e7cfb33bd7d82a0cfdb5"},{"sha":"e9e4e714c4905467f30ef39c7f321f015ef85e6e","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Restructure result handling in the environment to allow better processing of produced results","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/e9e4e714c4905467f30ef39c7f321f015ef85e6e"},{"sha":"2a11888e5e4f93f637cad6bde3efdec26c37cb38","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Refactor unification solver to allow access to arguments with substituted variables.","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/2a11888e5e4f93f637cad6bde3efdec26c37cb38"},{"sha":"a7267aa535051384f71d4406878033af39fa1661","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Documentation of why tuple constraint solving does not have to be done with GHC 8.0.1 anymore","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/a7267aa535051384f71d4406878033af39fa1661"},{"sha":"bd765b3a933cc466df6d2cbd6d5d0fda6aca8b06","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Pass down split constraints in unification solver","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/bd765b3a933cc466df6d2cbd6d5d0fda6aca8b06"},{"sha":"2f6acf5e1c65a4d76f059382cf24f371d3668945","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Add missing directory to 'clean' target","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/2f6acf5e1c65a4d76f059382cf24f371d3668945"},{"sha":"ec2dcac561de33c9bfaf7f2bfee39e9038403e2d","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Do unification index solving based on the tyvar equalities from the type constructor solving stage. This keeps GHC from being to eager and applying type functions that can not be evaluated and keep us from doing unification index solving in later interations","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/ec2dcac561de33c9bfaf7f2bfee39e9038403e2d"},{"sha":"4d3e3074cd60b5d19df12015cfff62d10b10e824","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Fix effect monad examples to work with GHC 8.0.1","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/4d3e3074cd60b5d19df12015cfff62d10b10e824"},{"sha":"5af32c62c5a5d8f7d385a424947630f096990213","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Remove unnecessary activation of plugin from HMTC example","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/5af32c62c5a5d8f7d385a424947630f096990213"},{"sha":"209688cc92b80f794c395c18ccded4464ad2163e","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Properly format unification solving error and handle constraints that don't require unification solving","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/209688cc92b80f794c395c18ccded4464ad2163e"},{"sha":"c0fdc89b9ef6cf6e93ee4594a0a0a80ee1e7fd7e","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Remove old code and fix warnings","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/c0fdc89b9ef6cf6e93ee4594a0a0a80ee1e7fd7e"},{"sha":"bead9d2080fe55d16f7affdcc4ea0230169b0936","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Remove warnings about redundant (but intentional) constraints","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/bead9d2080fe55d16f7affdcc4ea0230169b0936"},{"sha":"cd32dfca05c87374c1d9241fe4391988926ff6fc","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Move some GHC version dependent code into the Wrapper module","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/cd32dfca05c87374c1d9241fe4391988926ff6fc"},{"sha":"d6b231671a21fa87f55fb68de2c55fa7f6fce036","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Remove debugging output and format warnings more nicely.","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/d6b231671a21fa87f55fb68de2c55fa7f6fce036"},{"sha":"b2e3759795909bbf8c075c1755078ce4e61d02cd","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Move 7.10.3 only code to Wrapper module","distinct":false,"url":"https://api.github.com/repos/jbracker/supermonad-plugin/commits/b2e3759795909bbf8c075c1755078ce4e61d02cd"}]}
{"actor":{"display_login":"jbracker"}}