{"action":"opened","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1865","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1865/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1865/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1865/events","html_url":"https://github.com/idris-lang/Idris-dev/issues/1865","id":54764809,"number":1865,"title":"On Mac OS X import statements are case insensitive.","user":{"login":"jfdm","id":331273,"avatar_url":"https://avatars.githubusercontent.com/u/331273?v=3","gravatar_id":"","url":"https://api.github.com/users/jfdm","html_url":"https://github.com/jfdm","followers_url":"https://api.github.com/users/jfdm/followers","following_url":"https://api.github.com/users/jfdm/following{/other_user}","gists_url":"https://api.github.com/users/jfdm/gists{/gist_id}","starred_url":"https://api.github.com/users/jfdm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jfdm/subscriptions","organizations_url":"https://api.github.com/users/jfdm/orgs","repos_url":"https://api.github.com/users/jfdm/repos","events_url":"https://api.github.com/users/jfdm/events{/privacy}","received_events_url":"https://api.github.com/users/jfdm/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/Low+hanging+fruit","name":"Low hanging fruit","color":"5319e7"},{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/Patches+welcome%21","name":"Patches welcome!","color":"207de5"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-01-19T13:42:07Z","updated_at":"2015-01-19T13:42:07Z","closed_at":null,"body":"On Mac OS X, import statements are treated in a case insensitive manner, on Linux import statements are case sensitibe. I believe `System.Directory` respects the underlying file system. This can lead to  code that will only compile on Mac OS X.\r\n\r\nThe fix *should be* minor and will involve adjusting (I believe) `Imports.hs` to check in a case sensitive test that the given file name in the import statement is equal to the list of available files. I do not have time to do it at the moment."}}