{"action":"closed","issue":{"url":"https://api.github.com/repos/kframework/k/issues/150","repository_url":"https://api.github.com/repos/kframework/k","labels_url":"https://api.github.com/repos/kframework/k/issues/150/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/150/comments","events_url":"https://api.github.com/repos/kframework/k/issues/150/events","html_url":"https://github.com/kframework/k/issues/150","id":361597043,"node_id":"MDU6SXNzdWUzNjE1OTcwNDM=","number":150,"title":"bug with /tutorial/simple_untyped ","user":{"login":"dexter-qjq","id":32408802,"node_id":"MDQ6VXNlcjMyNDA4ODAy","avatar_url":"https://avatars1.githubusercontent.com/u/32408802?v=4","gravatar_id":"","url":"https://api.github.com/users/dexter-qjq","html_url":"https://github.com/dexter-qjq","followers_url":"https://api.github.com/users/dexter-qjq/followers","following_url":"https://api.github.com/users/dexter-qjq/following{/other_user}","gists_url":"https://api.github.com/users/dexter-qjq/gists{/gist_id}","starred_url":"https://api.github.com/users/dexter-qjq/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dexter-qjq/subscriptions","organizations_url":"https://api.github.com/users/dexter-qjq/orgs","repos_url":"https://api.github.com/users/dexter-qjq/repos","events_url":"https://api.github.com/users/dexter-qjq/events{/privacy}","received_events_url":"https://api.github.com/users/dexter-qjq/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-09-19T06:30:09Z","updated_at":"2019-09-17T15:18:41Z","closed_at":"2019-09-17T15:18:41Z","author_association":"NONE","body":"i just install the K5.0, and successfully kompiled the imp.k. when i try to kompile the simple_untyped.k. i found there is something wrong with the definition of BAG.  the log just follow:\r\n\r\nkompile simple-untyped.k (i have committed all rules for simplifying)\r\n40 states, 1247 transitions, table size 5228 bytes\r\nFile \"realdef.ml\", line 2322, characters 81-82:\r\nError: Syntax error: ')' expected\r\nFile \"realdef.ml\", line 2322, characters 61-62:\r\nError: This '(' might be unmatched\r\n[Error] Critical: ocamlopt returned nonzero exit code: 2\r\nExamine output to see errors.\r\n[Warning] Compiler: missing entry for hook BAG.concat\r\n[Warning] Compiler: missing entry for hook BAG.element\r\n[Warning] Compiler: missing entry for hook BAG.unit\r\n\r\n"}}
{"actor":{"display_login":"ehildenb"}}