Mark Thom
Mark Thom
Not currently, and nothing of the kind is planned. The backend is too big and unwieldy. If it were rewritten from the Shen sources, Shen->Haskell FFI would be much easier...
This might require a transition to `mio` or some other asynchronous I/O crate.
Generally this is a sign an exception was thrown during goal expansion.
For now, yes, unfortunately. I think there's an issue in the nix github about Windows compatibility. I think that's the only thing in our way.
I certainly hope so! That depends on nix being more cooperative.
I tried to compile rebis-dev in Windows 10 using rustc 1.6.3, and no, it does not compile. `gmp-mpfr-sys` is the stumbling block.
I pushed a branch of the same name to github which updates the branch to the current master. Two tests don't pass but it otherwise appears to work.
Sorry @pmoura , I didn't mean to delete your last comment. There doesn't seem to be a way to undo it. In any event, I'll merge my own version of...
`dif:attribute_goals` could first test whether `X` and `Y` are unifiable: ``` gather_dif_goals(_, []) --> []. gather_dif_goals(V, [(X \== Y) | Goals]) --> ( { \+ \+ X = Y, term_variables(X,...
I tried them just now and they pass.