'a -> 'a should get 'a -> 'a with a better score than 'a -> 'b

Issue #12 resolved
camlspotter
repo owner created an issue

Currently OCO has no notion of "unification": a type pattern 'a -> 'a is just equivalent with 'a -> 'b. It should not be difficult nor costy to have some form of "unfiication" to get 'a -> 'a listed first, then 'a -> 'b second.

Comments (2)

  1. Log in to comment