{"action":"closed","issue":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/1236","repository_url":"https://api.github.com/repos/FStarLang/FStar","labels_url":"https://api.github.com/repos/FStarLang/FStar/issues/1236/labels{/name}","comments_url":"https://api.github.com/repos/FStarLang/FStar/issues/1236/comments","events_url":"https://api.github.com/repos/FStarLang/FStar/issues/1236/events","html_url":"https://github.com/FStarLang/FStar/issues/1236","id":257347543,"number":1236,"title":"Extracted F# code contains references to `Obj` rather than `FSharp.Compatibility.OCaml.Obj`","user":{"login":"A-Manning","id":10554686,"avatar_url":"https://avatars1.githubusercontent.com/u/10554686?v=4","gravatar_id":"","url":"https://api.github.com/users/A-Manning","html_url":"https://github.com/A-Manning","followers_url":"https://api.github.com/users/A-Manning/followers","following_url":"https://api.github.com/users/A-Manning/following{/other_user}","gists_url":"https://api.github.com/users/A-Manning/gists{/gist_id}","starred_url":"https://api.github.com/users/A-Manning/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/A-Manning/subscriptions","organizations_url":"https://api.github.com/users/A-Manning/orgs","repos_url":"https://api.github.com/users/A-Manning/repos","events_url":"https://api.github.com/users/A-Manning/events{/privacy}","received_events_url":"https://api.github.com/users/A-Manning/received_events","type":"User","site_admin":false},"labels":[{"id":611744776,"url":"https://api.github.com/repos/FStarLang/FStar/labels/area/fsharp-vs-ocaml","name":"area/fsharp-vs-ocaml","color":"d4c5f9","default":false},{"id":248656507,"url":"https://api.github.com/repos/FStarLang/FStar/labels/component/extraction","name":"component/extraction","color":"c5def5","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2017-09-13T11:31:17Z","updated_at":"2017-10-09T16:38:34Z","closed_at":"2017-10-09T16:38:34Z","author_association":"CONTRIBUTOR","body":"It's hard to construct a minimal example of this, but sometimes extracted F# code contains `Obj.repr`, which doesn't exist in F#. \r\n\r\nThe fix is to replace references with `FSharp.Compatibility.OCaml.Obj.repr`. "}}
{"actor":{"display_login":"cpitclaudel"}}