{"action":"created","issue":{"url":"https://api.github.com/repos/kmsquire/Match.jl/issues/19","labels_url":"https://api.github.com/repos/kmsquire/Match.jl/issues/19/labels{/name}","comments_url":"https://api.github.com/repos/kmsquire/Match.jl/issues/19/comments","events_url":"https://api.github.com/repos/kmsquire/Match.jl/issues/19/events","html_url":"https://github.com/kmsquire/Match.jl/issues/19","id":66390899,"number":19,"title":"problem with v\"0.1.3\"?","user":{"login":"william-macready","id":7574294,"avatar_url":"https://avatars.githubusercontent.com/u/7574294?v=3","gravatar_id":"","url":"https://api.github.com/users/william-macready","html_url":"https://github.com/william-macready","followers_url":"https://api.github.com/users/william-macready/followers","following_url":"https://api.github.com/users/william-macready/following{/other_user}","gists_url":"https://api.github.com/users/william-macready/gists{/gist_id}","starred_url":"https://api.github.com/users/william-macready/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/william-macready/subscriptions","organizations_url":"https://api.github.com/users/william-macready/orgs","repos_url":"https://api.github.com/users/william-macready/repos","events_url":"https://api.github.com/users/william-macready/events{/privacy}","received_events_url":"https://api.github.com/users/william-macready/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-04-05T02:10:08Z","updated_at":"2015-04-05T06:29:48Z","closed_at":null,"body":"Hi Kevin\r\n\r\nthe following code snippet:\r\nusing Match\r\n\r\n```julia\r\nfunction transform(ast::Expr)\r\n@show ast\r\n    @match ast begin\r\n        Expr(:call,[:aSent,predName::Symbol],_) => Expr(:ref,predName, 1)\r\n        Expr(:call,[:bSent,arg1::Expr,symbol(\"f\"),arg2::Expr],_) => Expr(:comparison,transform(arg1),:implies,transform(arg2))\r\n        Expr(:call,[:bSent,arg1::Expr,:(&),arg2::Expr],_) => Expr(:call,:(&), transform(arg1), transform(arg2))\r\n        _ => error(\":Unknown expression $ast\")\r\n    end\r\nend\r\n\r\ne = :(bSent(aSent(C),&,aSent(A)))\r\ntransform(e)\r\n```\r\ncomplains with\r\nERROR: type: isa: expected Type{T<:Top}, got Function\r\n\r\nOn v\"0.0.6\" everything runs fine. Interestingly, replacing symbol(\"f\") with :f works on v\"0.1.3\"\r\n\r\nthanks for looking into this!\r\n"},"comment":{"url":"https://api.github.com/repos/kmsquire/Match.jl/issues/comments/89727124","html_url":"https://github.com/kmsquire/Match.jl/issues/19#issuecomment-89727124","issue_url":"https://api.github.com/repos/kmsquire/Match.jl/issues/19","id":89727124,"user":{"login":"kmsquire","id":223250,"avatar_url":"https://avatars.githubusercontent.com/u/223250?v=3","gravatar_id":"","url":"https://api.github.com/users/kmsquire","html_url":"https://github.com/kmsquire","followers_url":"https://api.github.com/users/kmsquire/followers","following_url":"https://api.github.com/users/kmsquire/following{/other_user}","gists_url":"https://api.github.com/users/kmsquire/gists{/gist_id}","starred_url":"https://api.github.com/users/kmsquire/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kmsquire/subscriptions","organizations_url":"https://api.github.com/users/kmsquire/orgs","repos_url":"https://api.github.com/users/kmsquire/repos","events_url":"https://api.github.com/users/kmsquire/events{/privacy}","received_events_url":"https://api.github.com/users/kmsquire/received_events","type":"User","site_admin":false},"created_at":"2015-04-05T06:29:48Z","updated_at":"2015-04-05T06:29:48Z","body":"To be clearer, you would only have to remove function calls which are not matching against a `Type` on the left side of a `=>`.  Type constructors (or pseudo-constructors like `Expr(...)`) are fine on the left, and everything is fine on the right.\r\n\r\n(Fixed inline above.)"}}