{"action":"closed","issue":{"url":"https://api.github.com/repos/smlsharp/smlsharp/issues/47","repository_url":"https://api.github.com/repos/smlsharp/smlsharp","labels_url":"https://api.github.com/repos/smlsharp/smlsharp/issues/47/labels{/name}","comments_url":"https://api.github.com/repos/smlsharp/smlsharp/issues/47/comments","events_url":"https://api.github.com/repos/smlsharp/smlsharp/issues/47/events","html_url":"https://github.com/smlsharp/smlsharp/issues/47","id":158557438,"number":47,"title":"幽霊型の付いた相互運用型を、型パラメータを指定せずにffiの型に書くとコンパイラが落ちる","user":{"login":"KeenS","id":4434568,"avatar_url":"https://avatars3.githubusercontent.com/u/4434568?v=4","gravatar_id":"","url":"https://api.github.com/users/KeenS","html_url":"https://github.com/KeenS","followers_url":"https://api.github.com/users/KeenS/followers","following_url":"https://api.github.com/users/KeenS/following{/other_user}","gists_url":"https://api.github.com/users/KeenS/gists{/gist_id}","starred_url":"https://api.github.com/users/KeenS/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/KeenS/subscriptions","organizations_url":"https://api.github.com/users/KeenS/orgs","repos_url":"https://api.github.com/users/KeenS/repos","events_url":"https://api.github.com/users/KeenS/events{/privacy}","received_events_url":"https://api.github.com/users/KeenS/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-06-05T14:39:37Z","updated_at":"2017-12-09T15:39:00Z","closed_at":"2017-12-09T15:39:00Z","author_association":"NONE","body":"再現コード\n\n``` sml\ntype 'a sock = int\nval listen = _import \"listen\": (sock, int) -> int\n```\n\n```\n$ smlsharp -o ffibug.o ffibug.sml\nuncaught exception: Bug.Bug: NameEval(EvalTy): FIXME: tfun arity mismatch at src/compiler/nameevaluation/main/EvalTy.sml:20\n```\n\nそもそもコンパイルエラーになるものなので落ちること自体の害は少ないのですが恐らくffiの型検査周りにバグがあって後続のフェーズでエラーが出ているようなので報告しておきます。\n\n```\n$ smlsharp -v\nSML# 3.1.0 (2016-05-26 12:47:09 JST) for x86_64-pc-linux-gnu with LLVM 3.7.1\n$ uname -a\nLinux T440p 4.4.0-22-generic #40-Ubuntu SMP Thu May 12 22:03:46 UTC 2016 x86_64 x86_64 x86_64 GNU/Linux\n```\n"}}
{"actor":{"display_login":"yonta"}}