{"action":"opened","issue":{"url":"https://api.github.com/repos/GaloisInc/cryptol/issues/173","labels_url":"https://api.github.com/repos/GaloisInc/cryptol/issues/173/labels{/name}","comments_url":"https://api.github.com/repos/GaloisInc/cryptol/issues/173/comments","events_url":"https://api.github.com/repos/GaloisInc/cryptol/issues/173/events","html_url":"https://github.com/GaloisInc/cryptol/issues/173","id":59313345,"number":173,"title":"Panic with keccak example","user":{"login":"acfoltzer","id":205266,"avatar_url":"https://avatars.githubusercontent.com/u/205266?v=3","gravatar_id":"","url":"https://api.github.com/users/acfoltzer","html_url":"https://github.com/acfoltzer","followers_url":"https://api.github.com/users/acfoltzer/followers","following_url":"https://api.github.com/users/acfoltzer/following{/other_user}","gists_url":"https://api.github.com/users/acfoltzer/gists{/gist_id}","starred_url":"https://api.github.com/users/acfoltzer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/acfoltzer/subscriptions","organizations_url":"https://api.github.com/users/acfoltzer/orgs","repos_url":"https://api.github.com/users/acfoltzer/repos","events_url":"https://api.github.com/users/acfoltzer/events{/privacy}","received_events_url":"https://api.github.com/users/acfoltzer/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/GaloisInc/cryptol/labels/bug","name":"bug","color":"fc2929"},{"url":"https://api.github.com/repos/GaloisInc/cryptol/labels/typechecker","name":"typechecker","color":"5319e7"}],"state":"open","locked":false,"assignee":{"login":"yav","id":12394,"avatar_url":"https://avatars.githubusercontent.com/u/12394?v=3","gravatar_id":"","url":"https://api.github.com/users/yav","html_url":"https://github.com/yav","followers_url":"https://api.github.com/users/yav/followers","following_url":"https://api.github.com/users/yav/following{/other_user}","gists_url":"https://api.github.com/users/yav/gists{/gist_id}","starred_url":"https://api.github.com/users/yav/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yav/subscriptions","organizations_url":"https://api.github.com/users/yav/orgs","repos_url":"https://api.github.com/users/yav/repos","events_url":"https://api.github.com/users/yav/events{/privacy}","received_events_url":"https://api.github.com/users/yav/received_events","type":"User","site_admin":false},"milestone":null,"comments":0,"created_at":"2015-02-28T00:14:56Z","updated_at":"2015-02-28T00:14:56Z","closed_at":null,"body":"On the `wip/cs` branch if I load https://github.com/krisztianpinter/keccak-cryptol/blob/master/keccak.cry (after reencoding that file as utf-8):\r\n\r\n```\r\nCryptol> :set debug=on\r\nCryptol> :l /tmp/keccak-cryptol/keccak.cry\r\nLoading module Cryptol\r\nLoading module keccak\r\ncryptol: You have encountered a bug in Cryptol's implementation.\r\n*** Please create an issue at https://github.com/galoisinc/cryptol/issues\r\n\r\n%< ---------------------------------------------------\r\n  Revision:  a42b3a7fc1bc5f5355f8de64544dfbf97ff8ec0d\r\n  Branch:    wip/cs (non-committed files present during build)\r\n  Location:  importSplitImps\r\n  Message:   Failed to import:\r\n             UserName 3738\r\n             Var (UserName 3669)\r\n%< ---------------------------------------------------\r\n```\r\n\r\nAccording to the author this works with Cryptol 2.1.0 (see the cryptol-users mailing list thread for more info)"}}