{"action":"opened","issue":{"url":"https://api.github.com/repos/GaloisInc/cryptol/issues/202","labels_url":"https://api.github.com/repos/GaloisInc/cryptol/issues/202/labels{/name}","comments_url":"https://api.github.com/repos/GaloisInc/cryptol/issues/202/comments","events_url":"https://api.github.com/repos/GaloisInc/cryptol/issues/202/events","html_url":"https://github.com/GaloisInc/cryptol/issues/202","id":69015405,"number":202,"title":"`include` fails when cryptol is run from a different directory","user":{"login":"brianhuffman","id":619882,"avatar_url":"https://avatars.githubusercontent.com/u/619882?v=3","gravatar_id":"","url":"https://api.github.com/users/brianhuffman","html_url":"https://github.com/brianhuffman","followers_url":"https://api.github.com/users/brianhuffman/followers","following_url":"https://api.github.com/users/brianhuffman/following{/other_user}","gists_url":"https://api.github.com/users/brianhuffman/gists{/gist_id}","starred_url":"https://api.github.com/users/brianhuffman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/brianhuffman/subscriptions","organizations_url":"https://api.github.com/users/brianhuffman/orgs","repos_url":"https://api.github.com/users/brianhuffman/repos","events_url":"https://api.github.com/users/brianhuffman/events{/privacy}","received_events_url":"https://api.github.com/users/brianhuffman/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-04-16T21:38:04Z","updated_at":"2015-04-16T21:38:04Z","closed_at":null,"body":"Here's an example, with files `A.cry` and `B.cry` in a directory `foo`:\r\n\r\nFile `foo/A.cry`:\r\n\r\n    module A where\r\n    include \"B.cry\"\r\n\r\nFile `foo/B.cry`:\r\n\r\n    x = True\r\n\r\nRunning `cryptol A.cry` from inside directory `foo` works fine. But running `cryptol foo/A.cry` from the parent directory yields:\r\n\r\n    Loading module Cryptol\r\n    Loading module A\r\n    `B.cry` included at foo/A.cry:3:9--3:16 was not found\r\n\r\nApparently Cryptol treats all include paths as relative to the current directory. But Cryptol *should* interpret paths as relative to the directory of the including file."}}