{"action":"created","issue":{"url":"https://api.github.com/repos/evancz/error-message-catalog/issues/26","labels_url":"https://api.github.com/repos/evancz/error-message-catalog/issues/26/labels{/name}","comments_url":"https://api.github.com/repos/evancz/error-message-catalog/issues/26/comments","events_url":"https://api.github.com/repos/evancz/error-message-catalog/issues/26/events","html_url":"https://github.com/evancz/error-message-catalog/issues/26","id":96438725,"number":26,"title":"Svg Inferred for Html","user":{"login":"dnalot","id":48431,"avatar_url":"https://avatars.githubusercontent.com/u/48431?v=3","gravatar_id":"","url":"https://api.github.com/users/dnalot","html_url":"https://github.com/dnalot","followers_url":"https://api.github.com/users/dnalot/followers","following_url":"https://api.github.com/users/dnalot/following{/other_user}","gists_url":"https://api.github.com/users/dnalot/gists{/gist_id}","starred_url":"https://api.github.com/users/dnalot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dnalot/subscriptions","organizations_url":"https://api.github.com/users/dnalot/orgs","repos_url":"https://api.github.com/users/dnalot/repos","events_url":"https://api.github.com/users/dnalot/events{/privacy}","received_events_url":"https://api.github.com/users/dnalot/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-07-21T23:27:37Z","updated_at":"2015-07-21T23:52:54Z","closed_at":null,"body":"I was demoing Elm to a student and got confused by an error. Minimal code:\r\n```elm\r\nimport Html exposing (p, text)\r\nmain = p\r\n  text \"Hello, World!\"\r\n```\r\nExpected error:\r\n```\r\nAs I infer the type of values flowing through your program, I see a conflict\r\nbetween these two types:\r\n    List Html.Html\r\n    String\r\n```\r\nActual error:\r\n```\r\nAs I infer the type of values flowing through your program, I see a conflict\r\nbetween these two types:\r\n    List Svg.Svg\r\n    String\r\n```\r\nExplicitly annotating `main` fixes one error but not another. I suspect there's an implicit import bungling inference."},"comment":{"url":"https://api.github.com/repos/evancz/error-message-catalog/issues/comments/123511283","html_url":"https://github.com/evancz/error-message-catalog/issues/26#issuecomment-123511283","issue_url":"https://api.github.com/repos/evancz/error-message-catalog/issues/26","id":123511283,"user":{"login":"TheSeamau5","id":3227869,"avatar_url":"https://avatars.githubusercontent.com/u/3227869?v=3","gravatar_id":"","url":"https://api.github.com/users/TheSeamau5","html_url":"https://github.com/TheSeamau5","followers_url":"https://api.github.com/users/TheSeamau5/followers","following_url":"https://api.github.com/users/TheSeamau5/following{/other_user}","gists_url":"https://api.github.com/users/TheSeamau5/gists{/gist_id}","starred_url":"https://api.github.com/users/TheSeamau5/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TheSeamau5/subscriptions","organizations_url":"https://api.github.com/users/TheSeamau5/orgs","repos_url":"https://api.github.com/users/TheSeamau5/repos","events_url":"https://api.github.com/users/TheSeamau5/events{/privacy}","received_events_url":"https://api.github.com/users/TheSeamau5/received_events","type":"User","site_admin":false},"created_at":"2015-07-21T23:52:54Z","updated_at":"2015-07-21T23:52:54Z","body":"Could the tie-breaker be based on which library is imported? For example, in this case, clearly Svg is nowhere to be seen in the code."}}