Gabriel Radanne
Gabriel Radanne
Software engineering - [x] Add tests - [x] Implement a proper notion of printing environment - [x] Use proper logging - [x] Plug together the unification and the database again...
There are cases where we have to fall down to proper unification. In this cases, it would be nice if it was fast. Ideally, the `stat` function would have an...
Currently, the handling of unifiers is a bit rough: 1. Unifier simplification simply "inlines" all the unnamed variables. It could do a bit more, like simplify alpha-conversions. 2. Unnamed variables...
Bonus: it doesn't use syntax extension anymore. Release will happen soon. :]
[Those commands](https://github.com/mabrasil/generator-ocaml/blob/master/generators/app/templates/_oasis#L24-L28) are quite bad. If the user decide to customize its _tags and myocamlbuild later. If you want to clean the oasis part exclusively, `oasis setup-clean -replace-sections Empty -remove...
- [ ] ocamlgraph: Exercise very few features (the external functor hierarchy is very flat and doesn't need connect. switching modules at configure time is not very useful). - [...
Currently, it's in mirage. It needs to be careful about custom configuration.
In a perfect word, `if_impl` would solve that. However, apparently according to the mirage impl, it doesn't. :) One way could be to implement a configurable that always fails (and...
Dependencies, at the moment, implies that a value is being passed around. While it seems like a convenient idea at the time, it looks like it's causing more pain than...
My design idea is the following: The combinator `group : Group.t -> 'a impl -> 'a impl` would take an implementation and bundle it in the given group. It needs...