{"action":"created","issue":{"url":"https://api.github.com/repos/gracelang/minigrace/issues/112","repository_url":"https://api.github.com/repos/gracelang/minigrace","labels_url":"https://api.github.com/repos/gracelang/minigrace/issues/112/labels{/name}","comments_url":"https://api.github.com/repos/gracelang/minigrace/issues/112/comments","events_url":"https://api.github.com/repos/gracelang/minigrace/issues/112/events","html_url":"https://github.com/gracelang/minigrace/issues/112","id":89146851,"number":112,"title":"Match failures don't raise a NonExhaustiveMatch Exception","user":{"login":"KimBruce","id":1810938,"avatar_url":"https://avatars.githubusercontent.com/u/1810938?v=3","gravatar_id":"","url":"https://api.github.com/users/KimBruce","html_url":"https://github.com/KimBruce","followers_url":"https://api.github.com/users/KimBruce/followers","following_url":"https://api.github.com/users/KimBruce/following{/other_user}","gists_url":"https://api.github.com/users/KimBruce/gists{/gist_id}","starred_url":"https://api.github.com/users/KimBruce/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/KimBruce/subscriptions","organizations_url":"https://api.github.com/users/KimBruce/orgs","repos_url":"https://api.github.com/users/KimBruce/repos","events_url":"https://api.github.com/users/KimBruce/events{/privacy}","received_events_url":"https://api.github.com/users/KimBruce/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2015-06-17T22:51:11Z","updated_at":"2016-07-22T23:00:47Z","closed_at":"2016-07-22T22:55:34Z","body":"As I read the spec (and it is not completely clear), a match without any matching cases should throw an exception.  The current minigrace implementation allows a failed match to continue without throwing an exception.\r\n\r\ndef e = true\r\nmatch (e)\r\n      case {n: Number -> print (n+1)}\r\n      case {s: String -> print (\"Got \" ++ s)}\r\n\r\nprint \"done\"\r\n\r\nExecuting this prints \"done\""},"comment":{"url":"https://api.github.com/repos/gracelang/minigrace/issues/comments/234677147","html_url":"https://github.com/gracelang/minigrace/issues/112#issuecomment-234677147","issue_url":"https://api.github.com/repos/gracelang/minigrace/issues/112","id":234677147,"user":{"login":"kjx","id":1917107,"avatar_url":"https://avatars.githubusercontent.com/u/1917107?v=3","gravatar_id":"","url":"https://api.github.com/users/kjx","html_url":"https://github.com/kjx","followers_url":"https://api.github.com/users/kjx/followers","following_url":"https://api.github.com/users/kjx/following{/other_user}","gists_url":"https://api.github.com/users/kjx/gists{/gist_id}","starred_url":"https://api.github.com/users/kjx/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kjx/subscriptions","organizations_url":"https://api.github.com/users/kjx/orgs","repos_url":"https://api.github.com/users/kjx/repos","events_url":"https://api.github.com/users/kjx/events{/privacy}","received_events_url":"https://api.github.com/users/kjx/received_events","type":"User","site_admin":false},"created_at":"2016-07-22T23:00:47Z","updated_at":"2016-07-22T23:00:47Z","body":"after correcting indentation & spacing, Kernan says\r\n\r\nUncaught exception:\r\nRuntimeError: match-case fell through\r\n    from «raise(_)», at line 2861 of prelude\r\n    from «fail(_)», at line 251 of prelude\r\n    from «match(_) case(_) case(_)», at line 2 of crap\r\n"}}
{"actor":{"display_login":"kjx"}}