{"action":"created","issue":{"url":"https://api.github.com/repos/overturetool/overture/issues/666","repository_url":"https://api.github.com/repos/overturetool/overture","labels_url":"https://api.github.com/repos/overturetool/overture/issues/666/labels{/name}","comments_url":"https://api.github.com/repos/overturetool/overture/issues/666/comments","events_url":"https://api.github.com/repos/overturetool/overture/issues/666/events","html_url":"https://github.com/overturetool/overture/issues/666","id":298376623,"number":666,"title":"Is not yet specified does not work with overloads","user":{"login":"lausdahl","id":2575418,"avatar_url":"https://avatars0.githubusercontent.com/u/2575418?v=4","gravatar_id":"","url":"https://api.github.com/users/lausdahl","html_url":"https://github.com/lausdahl","followers_url":"https://api.github.com/users/lausdahl/followers","following_url":"https://api.github.com/users/lausdahl/following{/other_user}","gists_url":"https://api.github.com/users/lausdahl/gists{/gist_id}","starred_url":"https://api.github.com/users/lausdahl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lausdahl/subscriptions","organizations_url":"https://api.github.com/users/lausdahl/orgs","repos_url":"https://api.github.com/users/lausdahl/repos","events_url":"https://api.github.com/users/lausdahl/events{/privacy}","received_events_url":"https://api.github.com/users/lausdahl/received_events","type":"User","site_admin":false},"labels":[{"id":67153463,"url":"https://api.github.com/repos/overturetool/overture/labels/bug","name":"bug","color":"fc2929","default":true}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-02-19T19:11:32Z","updated_at":"2018-02-20T07:28:03Z","closed_at":null,"author_association":"OWNER","body":"### Description\r\n\r\nWhen this model show below is generated and the `getenv` method is implemented then the interpreter still complains that it cannot find:\r\n\r\n```\r\nCannot find native method: bridge.SystemEnv.getenv(org.overture.interpreter.values.Value, org.overture.interpreter.values.Value)\r\n\r\nMain 206: Error evaluating code\r\nDetailed Message: Cannot find native method: bridge.SystemEnv.getenv(org.overture.interpreter.values.Value, org.overture.interpreter.values.Value)\r\n\r\n```\r\nhowever it should never have searched for this method but the other one with only one argument.\r\n\r\n```\r\nclass bridge_SystemEnv\r\n\r\ntypes\r\n\r\npublic String = seq of char;\r\nfunctions\r\n  public static getenv: String -> [String]\r\n  getenv(name)== is not yet specified;\r\n  \r\n  public static getenv: String * String -> String\r\n  getenv(name,default)== let v = getenv(name) in if v=nil then default else v;\r\n\t\t\r\nend bridge_SystemEnv\r\n```\r\n\r\n[Description of the issue]\r\n\r\n### Steps to Reproduce\r\nmake the model and try to run it\r\n\r\n**Expected behavior:** no error\r\n\r\n**Actual behavior:** reports that it cannot find a method which is fully implemented in VDM\r\n\r\n**Reproduces how often:** always\r\n\r\n### Versions\r\n\r\nVersion: 2.5.6\r\nBuild date: 2017 Dec 11 09:50 CET\r\nGit commit description: Release/2.5.6\r\n\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/overturetool/overture/issues/comments/366888879","html_url":"https://github.com/overturetool/overture/issues/666#issuecomment-366888879","issue_url":"https://api.github.com/repos/overturetool/overture/issues/666","id":366888879,"user":{"login":"peterwvj","id":5388919,"avatar_url":"https://avatars0.githubusercontent.com/u/5388919?v=4","gravatar_id":"","url":"https://api.github.com/users/peterwvj","html_url":"https://github.com/peterwvj","followers_url":"https://api.github.com/users/peterwvj/followers","following_url":"https://api.github.com/users/peterwvj/following{/other_user}","gists_url":"https://api.github.com/users/peterwvj/gists{/gist_id}","starred_url":"https://api.github.com/users/peterwvj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/peterwvj/subscriptions","organizations_url":"https://api.github.com/users/peterwvj/orgs","repos_url":"https://api.github.com/users/peterwvj/repos","events_url":"https://api.github.com/users/peterwvj/events{/privacy}","received_events_url":"https://api.github.com/users/peterwvj/received_events","type":"User","site_admin":false},"created_at":"2018-02-20T07:28:03Z","updated_at":"2018-02-20T07:28:03Z","author_association":"OWNER","body":"I take my previous comment back - I misread the model, sorry."}}
{"actor":{"display_login":"peterwvj"}}