{"action":"created","issue":{"url":"https://api.github.com/repos/CakeML/cakeml/issues/23","labels_url":"https://api.github.com/repos/CakeML/cakeml/issues/23/labels{/name}","comments_url":"https://api.github.com/repos/CakeML/cakeml/issues/23/comments","events_url":"https://api.github.com/repos/CakeML/cakeml/issues/23/events","html_url":"https://github.com/CakeML/cakeml/issues/23","id":80826822,"number":23,"title":"patterns in function definitions","user":{"login":"xrchz","id":181254,"avatar_url":"https://avatars.githubusercontent.com/u/181254?v=3","gravatar_id":"","url":"https://api.github.com/users/xrchz","html_url":"https://github.com/xrchz","followers_url":"https://api.github.com/users/xrchz/followers","following_url":"https://api.github.com/users/xrchz/following{/other_user}","gists_url":"https://api.github.com/users/xrchz/gists{/gist_id}","starred_url":"https://api.github.com/users/xrchz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xrchz/subscriptions","organizations_url":"https://api.github.com/users/xrchz/orgs","repos_url":"https://api.github.com/users/xrchz/repos","events_url":"https://api.github.com/users/xrchz/events{/privacy}","received_events_url":"https://api.github.com/users/xrchz/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2015-05-26T06:55:33Z","updated_at":"2015-05-27T09:48:17Z","closed_at":null,"body":"`fun` and `fn` currently only allow variables as formal parameters. For users writing CakeML code, it would be nice to support full-blown patterns (as in SML). There is a question of whether these should be handled solely by the parser (i.e. parsed to a match expression in the body) or should affect the AST. I think keeping it in the parser is better. I think the parser already expands multiple variables to nested lambdas."},"comment":{"url":"https://api.github.com/repos/CakeML/cakeml/issues/comments/105842794","html_url":"https://github.com/CakeML/cakeml/issues/23#issuecomment-105842794","issue_url":"https://api.github.com/repos/CakeML/cakeml/issues/23","id":105842794,"user":{"login":"xrchz","id":181254,"avatar_url":"https://avatars.githubusercontent.com/u/181254?v=3","gravatar_id":"","url":"https://api.github.com/users/xrchz","html_url":"https://github.com/xrchz","followers_url":"https://api.github.com/users/xrchz/followers","following_url":"https://api.github.com/users/xrchz/following{/other_user}","gists_url":"https://api.github.com/users/xrchz/gists{/gist_id}","starred_url":"https://api.github.com/users/xrchz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xrchz/subscriptions","organizations_url":"https://api.github.com/users/xrchz/orgs","repos_url":"https://api.github.com/users/xrchz/repos","events_url":"https://api.github.com/users/xrchz/events{/privacy}","received_events_url":"https://api.github.com/users/xrchz/received_events","type":"User","site_admin":false},"created_at":"2015-05-27T09:48:17Z","updated_at":"2015-05-27T09:48:17Z","body":"What do you mean by \"source semantics\"? The AST or the concrete syntax? I am against making the concrete syntax less usable in principle, though I acknowledge that it may not be a high priority."}}