{"action":"closed","issue":{"url":"https://api.github.com/repos/the-lambda-church/merlin/issues/361","labels_url":"https://api.github.com/repos/the-lambda-church/merlin/issues/361/labels{/name}","comments_url":"https://api.github.com/repos/the-lambda-church/merlin/issues/361/comments","events_url":"https://api.github.com/repos/the-lambda-church/merlin/issues/361/events","html_url":"https://github.com/the-lambda-church/merlin/issues/361","id":58906251,"number":361,"title":"Error on GADT","user":{"login":"Aaylor","id":1969378,"avatar_url":"https://avatars.githubusercontent.com/u/1969378?v=3","gravatar_id":"","url":"https://api.github.com/users/Aaylor","html_url":"https://github.com/Aaylor","followers_url":"https://api.github.com/users/Aaylor/followers","following_url":"https://api.github.com/users/Aaylor/following{/other_user}","gists_url":"https://api.github.com/users/Aaylor/gists{/gist_id}","starred_url":"https://api.github.com/users/Aaylor/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Aaylor/subscriptions","organizations_url":"https://api.github.com/users/Aaylor/orgs","repos_url":"https://api.github.com/users/Aaylor/repos","events_url":"https://api.github.com/users/Aaylor/events{/privacy}","received_events_url":"https://api.github.com/users/Aaylor/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-02-25T14:07:37Z","updated_at":"2015-02-25T15:22:21Z","closed_at":"2015-02-25T15:22:21Z","body":"Hi,\r\n\r\nI've an issue using Merlin for Vim, installed by opam.\r\nIn fact, when using GADT, Merlin makes two weird thing : \r\n  *  a warning on a function, which tell that the pattern isn't exhaustive\r\n  *  an error at the top of the file\r\n\r\n\r\nI've made my test with this simple file:\r\n\r\n```ocaml\r\ntype _ t =\r\n  | Int   : int   -> int t\r\n  | Float : float -> float t\r\n\r\nlet get_int : int t -> int = function\r\n  | Int i -> i\r\n```\r\n\r\nAnd there is _:MerlinErrorCheck_ output\r\n```\r\ngadt.ml|1 col 1 error| Error: This pattern matches values of type float t        but a pattern was expected which matches values of type int t        Type float is not compatible with type int\r\ngadt.ml|5 col 30 warning   1| : Warning 8: this pattern-matching is not exhaustive. Here is an example of a value that is not matched: _\r\n```\r\n\r\nMy merlin version:\r\n```\r\n➜  ocamlmerlin -version\r\nThe Merlin toolkit version 2.1.1, for Ocaml 4.02.0\r\n```\r\n\r\nI've also made a test with Merlin 2.1.0, and there is the same issue...\r\n\r\nThanks a lot,\r\nAaylor"}}