{"action":"created","issue":{"url":"https://api.github.com/repos/LightAndLight/typed-cfg/issues/14","repository_url":"https://api.github.com/repos/LightAndLight/typed-cfg","labels_url":"https://api.github.com/repos/LightAndLight/typed-cfg/issues/14/labels{/name}","comments_url":"https://api.github.com/repos/LightAndLight/typed-cfg/issues/14/comments","events_url":"https://api.github.com/repos/LightAndLight/typed-cfg/issues/14/events","html_url":"https://github.com/LightAndLight/typed-cfg/issues/14","id":347917056,"node_id":"MDU6SXNzdWUzNDc5MTcwNTY=","number":14,"title":"SExp example fails the guardedness check","user":{"login":"mpickering","id":1216657,"node_id":"MDQ6VXNlcjEyMTY2NTc=","avatar_url":"https://avatars3.githubusercontent.com/u/1216657?v=4","gravatar_id":"","url":"https://api.github.com/users/mpickering","html_url":"https://github.com/mpickering","followers_url":"https://api.github.com/users/mpickering/followers","following_url":"https://api.github.com/users/mpickering/following{/other_user}","gists_url":"https://api.github.com/users/mpickering/gists{/gist_id}","starred_url":"https://api.github.com/users/mpickering/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mpickering/subscriptions","organizations_url":"https://api.github.com/users/mpickering/orgs","repos_url":"https://api.github.com/users/mpickering/repos","events_url":"https://api.github.com/users/mpickering/events{/privacy}","received_events_url":"https://api.github.com/users/mpickering/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"LightAndLight","id":2536121,"node_id":"MDQ6VXNlcjI1MzYxMjE=","avatar_url":"https://avatars3.githubusercontent.com/u/2536121?v=4","gravatar_id":"","url":"https://api.github.com/users/LightAndLight","html_url":"https://github.com/LightAndLight","followers_url":"https://api.github.com/users/LightAndLight/followers","following_url":"https://api.github.com/users/LightAndLight/following{/other_user}","gists_url":"https://api.github.com/users/LightAndLight/gists{/gist_id}","starred_url":"https://api.github.com/users/LightAndLight/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/LightAndLight/subscriptions","organizations_url":"https://api.github.com/users/LightAndLight/orgs","repos_url":"https://api.github.com/users/LightAndLight/repos","events_url":"https://api.github.com/users/LightAndLight/events{/privacy}","received_events_url":"https://api.github.com/users/LightAndLight/received_events","type":"User","site_admin":false},"assignees":[{"login":"LightAndLight","id":2536121,"node_id":"MDQ6VXNlcjI1MzYxMjE=","avatar_url":"https://avatars3.githubusercontent.com/u/2536121?v=4","gravatar_id":"","url":"https://api.github.com/users/LightAndLight","html_url":"https://github.com/LightAndLight","followers_url":"https://api.github.com/users/LightAndLight/followers","following_url":"https://api.github.com/users/LightAndLight/following{/other_user}","gists_url":"https://api.github.com/users/LightAndLight/gists{/gist_id}","starred_url":"https://api.github.com/users/LightAndLight/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/LightAndLight/subscriptions","organizations_url":"https://api.github.com/users/LightAndLight/orgs","repos_url":"https://api.github.com/users/LightAndLight/repos","events_url":"https://api.github.com/users/LightAndLight/events{/privacy}","received_events_url":"https://api.github.com/users/LightAndLight/received_events","type":"User","site_admin":false}],"milestone":null,"comments":2,"created_at":"2018-08-06T13:09:55Z","updated_at":"2018-08-07T11:00:18Z","closed_at":null,"author_association":"COLLABORATOR","body":"I tried to implement the main example from their paper at the request of Jeremy and the typechecking fails. \r\n\r\nYou can find the code on the `sexp` branch. The error is \r\n\r\n```\r\nException when trying to run compile-time code:\r\n        Guarded (Ty {_null = False, _first = \"\", _followLast = \"\", _guarded = True}) (var1)\r\nCallStack (from HasCallStack):\r\n  error, called at src/LMS.hs:496:29 in typed-cfg-0.1.0.0-5Fb1ecbX2k1Gt3JvX0sZ1f:LMS\r\n      Code: compile sexp\r\n    • In the Template Haskell splice $$(compile sexp)\r\n      In the expression: $$(compile sexp)\r\n      In an equation for ‘sexp_parser’: sexp_parser = $$(compile sexp)\r\n  |\r\n8 | sexp_parser = $$(compile sexp)\r\n```\r\n\r\nSeeing as you wrote all of that code perhaps you could diagnose more quickly than I what is going wrong and where the bug lies?"},"comment":{"url":"https://api.github.com/repos/LightAndLight/typed-cfg/issues/comments/411018501","html_url":"https://github.com/LightAndLight/typed-cfg/issues/14#issuecomment-411018501","issue_url":"https://api.github.com/repos/LightAndLight/typed-cfg/issues/14","id":411018501,"node_id":"MDEyOklzc3VlQ29tbWVudDQxMTAxODUwMQ==","user":{"login":"LightAndLight","id":2536121,"node_id":"MDQ6VXNlcjI1MzYxMjE=","avatar_url":"https://avatars3.githubusercontent.com/u/2536121?v=4","gravatar_id":"","url":"https://api.github.com/users/LightAndLight","html_url":"https://github.com/LightAndLight","followers_url":"https://api.github.com/users/LightAndLight/followers","following_url":"https://api.github.com/users/LightAndLight/following{/other_user}","gists_url":"https://api.github.com/users/LightAndLight/gists{/gist_id}","starred_url":"https://api.github.com/users/LightAndLight/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/LightAndLight/subscriptions","organizations_url":"https://api.github.com/users/LightAndLight/orgs","repos_url":"https://api.github.com/users/LightAndLight/repos","events_url":"https://api.github.com/users/LightAndLight/events{/privacy}","received_events_url":"https://api.github.com/users/LightAndLight/received_events","type":"User","site_admin":false},"created_at":"2018-08-07T11:00:18Z","updated_at":"2018-08-07T11:00:18Z","author_association":"OWNER","body":"My work so far is available here https://github.com/LightAndLight/typed-cfg/tree/sexp-wip\r\n\r\nI haven't solved it yet but I think I'm making progress. I left some comments in the relevant sections in case you were interested."}}
{"actor":{"display_login":"LightAndLight"}}