{"action":"closed","issue":{"url":"https://api.github.com/repos/epfl-lara/stainless/issues/267","repository_url":"https://api.github.com/repos/epfl-lara/stainless","labels_url":"https://api.github.com/repos/epfl-lara/stainless/issues/267/labels{/name}","comments_url":"https://api.github.com/repos/epfl-lara/stainless/issues/267/comments","events_url":"https://api.github.com/repos/epfl-lara/stainless/issues/267/events","html_url":"https://github.com/epfl-lara/stainless/issues/267","id":331982559,"node_id":"MDU6SXNzdWUzMzE5ODI1NTk=","number":267,"title":"Support for @extern fields","user":{"login":"romac","id":106849,"node_id":"MDQ6VXNlcjEwNjg0OQ==","avatar_url":"https://avatars2.githubusercontent.com/u/106849?v=4","gravatar_id":"","url":"https://api.github.com/users/romac","html_url":"https://github.com/romac","followers_url":"https://api.github.com/users/romac/followers","following_url":"https://api.github.com/users/romac/following{/other_user}","gists_url":"https://api.github.com/users/romac/gists{/gist_id}","starred_url":"https://api.github.com/users/romac/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/romac/subscriptions","organizations_url":"https://api.github.com/users/romac/orgs","repos_url":"https://api.github.com/users/romac/repos","events_url":"https://api.github.com/users/romac/events{/privacy}","received_events_url":"https://api.github.com/users/romac/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-06-13T12:56:19Z","updated_at":"2018-06-13T13:54:33Z","closed_at":"2018-06-13T13:54:33Z","author_association":"MEMBER","body":"eg.\r\n\r\n```scala\r\nimport stainless.lang._\r\nimport stainless.annotation._\r\n\r\nobject externfield {\r\n\r\n  case class A(\r\n    foo: BigInt,\r\n    @extern\r\n    bar: BigInt\r\n  )\r\n\r\n  def test = {\r\n    val a = A(123, 456)\r\n\r\n    assert(a.foo == 123) // valid\r\n    assert(a.bar == 456) // invalid\r\n  }\r\n}\r\n```\r\n\r\n"}}
{"actor":{"display_login":"romac"}}