{"action":"created","issue":{"url":"https://api.github.com/repos/input-output-hk/plutus-prototype/issues/33","repository_url":"https://api.github.com/repos/input-output-hk/plutus-prototype","labels_url":"https://api.github.com/repos/input-output-hk/plutus-prototype/issues/33/labels{/name}","comments_url":"https://api.github.com/repos/input-output-hk/plutus-prototype/issues/33/comments","events_url":"https://api.github.com/repos/input-output-hk/plutus-prototype/issues/33/events","html_url":"https://github.com/input-output-hk/plutus-prototype/pull/33","id":351658292,"node_id":"MDExOlB1bGxSZXF1ZXN0MjA5MTk3MzMy","number":33,"title":"[CGP-245] GHC Core to PLC converter plugin","user":{"login":"michaelpj","id":1699466,"node_id":"MDQ6VXNlcjE2OTk0NjY=","avatar_url":"https://avatars2.githubusercontent.com/u/1699466?v=4","gravatar_id":"","url":"https://api.github.com/users/michaelpj","html_url":"https://github.com/michaelpj","followers_url":"https://api.github.com/users/michaelpj/followers","following_url":"https://api.github.com/users/michaelpj/following{/other_user}","gists_url":"https://api.github.com/users/michaelpj/gists{/gist_id}","starred_url":"https://api.github.com/users/michaelpj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/michaelpj/subscriptions","organizations_url":"https://api.github.com/users/michaelpj/orgs","repos_url":"https://api.github.com/users/michaelpj/repos","events_url":"https://api.github.com/users/michaelpj/events{/privacy}","received_events_url":"https://api.github.com/users/michaelpj/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"mchakravarty","id":709989,"node_id":"MDQ6VXNlcjcwOTk4OQ==","avatar_url":"https://avatars2.githubusercontent.com/u/709989?v=4","gravatar_id":"","url":"https://api.github.com/users/mchakravarty","html_url":"https://github.com/mchakravarty","followers_url":"https://api.github.com/users/mchakravarty/followers","following_url":"https://api.github.com/users/mchakravarty/following{/other_user}","gists_url":"https://api.github.com/users/mchakravarty/gists{/gist_id}","starred_url":"https://api.github.com/users/mchakravarty/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchakravarty/subscriptions","organizations_url":"https://api.github.com/users/mchakravarty/orgs","repos_url":"https://api.github.com/users/mchakravarty/repos","events_url":"https://api.github.com/users/mchakravarty/events{/privacy}","received_events_url":"https://api.github.com/users/mchakravarty/received_events","type":"User","site_admin":false},"assignees":[{"login":"mchakravarty","id":709989,"node_id":"MDQ6VXNlcjcwOTk4OQ==","avatar_url":"https://avatars2.githubusercontent.com/u/709989?v=4","gravatar_id":"","url":"https://api.github.com/users/mchakravarty","html_url":"https://github.com/mchakravarty","followers_url":"https://api.github.com/users/mchakravarty/followers","following_url":"https://api.github.com/users/mchakravarty/following{/other_user}","gists_url":"https://api.github.com/users/mchakravarty/gists{/gist_id}","starred_url":"https://api.github.com/users/mchakravarty/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchakravarty/subscriptions","organizations_url":"https://api.github.com/users/mchakravarty/orgs","repos_url":"https://api.github.com/users/mchakravarty/repos","events_url":"https://api.github.com/users/mchakravarty/events{/privacy}","received_events_url":"https://api.github.com/users/mchakravarty/received_events","type":"User","site_admin":false}],"milestone":null,"comments":8,"created_at":"2018-08-17T16:26:21Z","updated_at":"2018-09-12T19:50:22Z","closed_at":null,"author_association":"COLLABORATOR","pull_request":{"url":"https://api.github.com/repos/input-output-hk/plutus-prototype/pulls/33","html_url":"https://github.com/input-output-hk/plutus-prototype/pull/33","diff_url":"https://github.com/input-output-hk/plutus-prototype/pull/33.diff","patch_url":"https://github.com/input-output-hk/plutus-prototype/pull/33.patch"},"body":"This is a very preliminary compiler plugin for generating PLC from GHC Core. At the moment it only covers a small subset of Core, and has many hacks to work out what to run the converter on. However, we do have polymorphic and higher-order functions working.\r\n\r\nA small subset of programs can be observed with `cabal test`. It just outputs the programs to stdout, since I'm having trouble working out what to do with the embedded program (see the note in `Plugin.hs`).\r\n\r\nI also have a cabal issue with configuration which is preventing this from building fully, but you can run `cabal test` okay."},"comment":{"url":"https://api.github.com/repos/input-output-hk/plutus-prototype/issues/comments/420775061","html_url":"https://github.com/input-output-hk/plutus-prototype/pull/33#issuecomment-420775061","issue_url":"https://api.github.com/repos/input-output-hk/plutus-prototype/issues/33","id":420775061,"node_id":"MDEyOklzc3VlQ29tbWVudDQyMDc3NTA2MQ==","user":{"login":"mchakravarty","id":709989,"node_id":"MDQ6VXNlcjcwOTk4OQ==","avatar_url":"https://avatars2.githubusercontent.com/u/709989?v=4","gravatar_id":"","url":"https://api.github.com/users/mchakravarty","html_url":"https://github.com/mchakravarty","followers_url":"https://api.github.com/users/mchakravarty/followers","following_url":"https://api.github.com/users/mchakravarty/following{/other_user}","gists_url":"https://api.github.com/users/mchakravarty/gists{/gist_id}","starred_url":"https://api.github.com/users/mchakravarty/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchakravarty/subscriptions","organizations_url":"https://api.github.com/users/mchakravarty/orgs","repos_url":"https://api.github.com/users/mchakravarty/repos","events_url":"https://api.github.com/users/mchakravarty/events{/privacy}","received_events_url":"https://api.github.com/users/mchakravarty/received_events","type":"User","site_admin":false},"created_at":"2018-09-12T19:50:22Z","updated_at":"2018-09-12T19:50:22Z","author_association":"COLLABORATOR","body":"As Michael wrote, we thought about using something like the `lift` function of Template Haskell that does the runtime marshalling, because we cannot have dependencies on the whole Plutus Tx compiler machinery (and its dependencies) in the runtime environment."}}
{"actor":{"display_login":"mchakravarty"}}