{"action":"created","issue":{"url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/641","repository_url":"https://api.github.com/repos/dhall-lang/dhall-haskell","labels_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/641/labels{/name}","comments_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/641/comments","events_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/641/events","html_url":"https://github.com/dhall-lang/dhall-haskell/issues/641","id":370464102,"node_id":"MDU6SXNzdWUzNzA0NjQxMDI=","number":641,"title":"Import resolution is disabled","user":{"login":"Michael-Kateregga","id":31843898,"node_id":"MDQ6VXNlcjMxODQzODk4","avatar_url":"https://avatars1.githubusercontent.com/u/31843898?v=4","gravatar_id":"","url":"https://api.github.com/users/Michael-Kateregga","html_url":"https://github.com/Michael-Kateregga","followers_url":"https://api.github.com/users/Michael-Kateregga/followers","following_url":"https://api.github.com/users/Michael-Kateregga/following{/other_user}","gists_url":"https://api.github.com/users/Michael-Kateregga/gists{/gist_id}","starred_url":"https://api.github.com/users/Michael-Kateregga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Michael-Kateregga/subscriptions","organizations_url":"https://api.github.com/users/Michael-Kateregga/orgs","repos_url":"https://api.github.com/users/Michael-Kateregga/repos","events_url":"https://api.github.com/users/Michael-Kateregga/events{/privacy}","received_events_url":"https://api.github.com/users/Michael-Kateregga/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-10-16T06:53:16Z","updated_at":"2018-10-16T14:16:03Z","closed_at":null,"author_association":"NONE","body":"I wonder why I keep on getting \"Import resolution is disabled\" when I use dhall's compiler - dhall type. Does anyone know how I can fix this?"},"comment":{"url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/comments/430254519","html_url":"https://github.com/dhall-lang/dhall-haskell/issues/641#issuecomment-430254519","issue_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/641","id":430254519,"node_id":"MDEyOklzc3VlQ29tbWVudDQzMDI1NDUxOQ==","user":{"login":"Gabriel439","id":1313787,"node_id":"MDQ6VXNlcjEzMTM3ODc=","avatar_url":"https://avatars3.githubusercontent.com/u/1313787?v=4","gravatar_id":"","url":"https://api.github.com/users/Gabriel439","html_url":"https://github.com/Gabriel439","followers_url":"https://api.github.com/users/Gabriel439/followers","following_url":"https://api.github.com/users/Gabriel439/following{/other_user}","gists_url":"https://api.github.com/users/Gabriel439/gists{/gist_id}","starred_url":"https://api.github.com/users/Gabriel439/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Gabriel439/subscriptions","organizations_url":"https://api.github.com/users/Gabriel439/orgs","repos_url":"https://api.github.com/users/Gabriel439/repos","events_url":"https://api.github.com/users/Gabriel439/events{/privacy}","received_events_url":"https://api.github.com/users/Gabriel439/received_events","type":"User","site_admin":false},"created_at":"2018-10-16T14:16:03Z","updated_at":"2018-10-16T14:16:03Z","author_association":"COLLABORATOR","body":"@Michael-Kateregga: This is intentional.  Dhall has three phases for the interpreter:\r\n\r\n* Import resolution (implemented by `dhall resolve`)\r\n* Type-checking (implemented by `dhall type`)\r\n* Normalization (implemented by `dhall normalize`)\r\n\r\nEach phase implements one step exclusively.  So, for example, `dhall type` does not do import resolution.  You would need to chain it downstream of `dhall resolve`, like this:\r\n\r\n```bash\r\n$ cat someFile.dhall | dhall resolve | dhall type\r\n```\r\n\r\nHowever, you might also just need to use the `--annotate` flag for the normal `dhall` command, or the `:type` command in the `dhall repl`"}}
{"actor":{"display_login":"Gabriel439"}}