Hiroki Tokunaga

Results 28 issues of Hiroki Tokunaga

## Expected Behavior No internal error occurs. ## Actual Behavior ``` Internal error, please report upstream including the contents of _build/log. Description: ("Rule has targets in different directories.", { targets...

coq

### Description of the PR Fixes: #890 ### Checklist - [ ] Add a changelog if necessary. See https://keepachangelog.com/ for how to write it. - [ ] Add tests in...

### Description of the PR \#819 ### Checklist * \[x] Add a changelog if necessary. See https://keepachangelog.com/ for how to write it. * \[x] Add tests in [TESTS.md](/TESTS.md) if possible.

My original MRE is [on the forum](https://discuss.ocaml.org/t/removing-a-match-branch-doesnt-fall-onto-a-catch-all-one/12727). Here is a minimized one created by @yallop. ```ocaml let () = match Some () with | None -> raise Not_found | Some...