odoc/test/xref2/github_issue_930.t/ at main · jon.recoil.org/odoc

jon.recoil.org / odoc

this repo has no description

odoc / test / xref2 / github_issue_930.t /

at main 3 files

Fix issue #930: Crash when substituting for the same name at different arities

1 month ago

stubs.js: remove duplicate primitives, fix free-variables warnings, add -linkall to scrollycode test

4 weeks ago

Add test for GitHub issue #930 (crash on type substitution arity mismatch)

1 month ago