{"action":"created","comment":{"url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/comments/190413063","pull_request_review_id":122784021,"id":190413063,"diff_hunk":"@@ -1,6 +1,26 @@\n-\n open Parsetree\n \n-val derive : core_type -> core_type -> expression list\n+exception NoCastFound\n+(** Exception raised when no cast can be derived for two types *)\n+\n+exception SeveralCastFound\n+(** Exception raised when more than cast can be derived for two types *)\n+\n+\n+val derive : core_type -> core_type -> expression\n (** Given an input type [itype] and an output type [otype], returns a\n-   (possibly empty) list of expressions of type [itype -> otype]. *)\n+    casting function of type [itype -> otype].\n+    Raise [NoCastFound] if no casting function can be derived\n+    Raise [SeveralCastFound] more than one casting function can be derived *)\n+\n+val split_arrow : core_type -> (core_type * core_type)\n+(** [split_arrow ty] returns the domain and co-domain of an arrow type.\n+    Raise [Invalid_argument \"split_arrow\"] if [ty] is not an arrow type *)\n+\n+val annotate : expression -> core_type -> expression\n+(** [annotate expr ty] returns a let expression of the form\n+    [let (e : ty) = expr in e] *)\n+\n+val madcast : core_type -> expression","path":"src/madcast.mli","position":27,"original_position":27,"commit_id":"61f81bd447d00fed3af38b5e971e9df665b81ba8","original_commit_id":"61f81bd447d00fed3af38b5e971e9df665b81ba8","user":{"login":"Niols","id":5920602,"avatar_url":"https://avatars3.githubusercontent.com/u/5920602?v=4","gravatar_id":"","url":"https://api.github.com/users/Niols","html_url":"https://github.com/Niols","followers_url":"https://api.github.com/users/Niols/followers","following_url":"https://api.github.com/users/Niols/following{/other_user}","gists_url":"https://api.github.com/users/Niols/gists{/gist_id}","starred_url":"https://api.github.com/users/Niols/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Niols/subscriptions","organizations_url":"https://api.github.com/users/Niols/orgs","repos_url":"https://api.github.com/users/Niols/repos","events_url":"https://api.github.com/users/Niols/events{/privacy}","received_events_url":"https://api.github.com/users/Niols/received_events","type":"User","site_admin":false},"body":"I agree to say that that name is really not that good. In particular, it kind of implies that madcast only does that. Which is true for now but might change in the future","created_at":"2018-05-23T22:02:39Z","updated_at":"2018-05-23T22:02:40Z","html_url":"https://github.com/Niols/ppx_deriving_madcast/pull/6#discussion_r190413063","pull_request_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/6","author_association":"OWNER","_links":{"self":{"href":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/comments/190413063"},"html":{"href":"https://github.com/Niols/ppx_deriving_madcast/pull/6#discussion_r190413063"},"pull_request":{"href":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/6"}}},"pull_request":{"url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/6","id":189710384,"html_url":"https://github.com/Niols/ppx_deriving_madcast/pull/6","diff_url":"https://github.com/Niols/ppx_deriving_madcast/pull/6.diff","patch_url":"https://github.com/Niols/ppx_deriving_madcast/pull/6.patch","issue_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/issues/6","number":6,"state":"open","locked":false,"title":"Show","user":{"login":"Kerl13","id":11668385,"avatar_url":"https://avatars3.githubusercontent.com/u/11668385?v=4","gravatar_id":"","url":"https://api.github.com/users/Kerl13","html_url":"https://github.com/Kerl13","followers_url":"https://api.github.com/users/Kerl13/followers","following_url":"https://api.github.com/users/Kerl13/following{/other_user}","gists_url":"https://api.github.com/users/Kerl13/gists{/gist_id}","starred_url":"https://api.github.com/users/Kerl13/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Kerl13/subscriptions","organizations_url":"https://api.github.com/users/Kerl13/orgs","repos_url":"https://api.github.com/users/Kerl13/repos","events_url":"https://api.github.com/users/Kerl13/events{/privacy}","received_events_url":"https://api.github.com/users/Kerl13/received_events","type":"User","site_admin":false},"body":"- Change the madcast API\r\n- Rewrite the `show.sh` script in OCaml and updates the README accordingly\r\n\r\nFixes #4 ","created_at":"2018-05-22T15:48:51Z","updated_at":"2018-05-23T22:02:40Z","closed_at":null,"merged_at":null,"merge_commit_sha":"4b927b79e5bf2587b989ecd4ccfa093696680f7d","assignee":{"login":"Niols","id":5920602,"avatar_url":"https://avatars3.githubusercontent.com/u/5920602?v=4","gravatar_id":"","url":"https://api.github.com/users/Niols","html_url":"https://github.com/Niols","followers_url":"https://api.github.com/users/Niols/followers","following_url":"https://api.github.com/users/Niols/following{/other_user}","gists_url":"https://api.github.com/users/Niols/gists{/gist_id}","starred_url":"https://api.github.com/users/Niols/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Niols/subscriptions","organizations_url":"https://api.github.com/users/Niols/orgs","repos_url":"https://api.github.com/users/Niols/repos","events_url":"https://api.github.com/users/Niols/events{/privacy}","received_events_url":"https://api.github.com/users/Niols/received_events","type":"User","site_admin":false},"assignees":[{"login":"Niols","id":5920602,"avatar_url":"https://avatars3.githubusercontent.com/u/5920602?v=4","gravatar_id":"","url":"https://api.github.com/users/Niols","html_url":"https://github.com/Niols","followers_url":"https://api.github.com/users/Niols/followers","following_url":"https://api.github.com/users/Niols/following{/other_user}","gists_url":"https://api.github.com/users/Niols/gists{/gist_id}","starred_url":"https://api.github.com/users/Niols/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Niols/subscriptions","organizations_url":"https://api.github.com/users/Niols/orgs","repos_url":"https://api.github.com/users/Niols/repos","events_url":"https://api.github.com/users/Niols/events{/privacy}","received_events_url":"https://api.github.com/users/Niols/received_events","type":"User","site_admin":false}],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/6/commits","review_comments_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/6/comments","review_comment_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/comments{/number}","comments_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/issues/6/comments","statuses_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/statuses/61f81bd447d00fed3af38b5e971e9df665b81ba8","head":{"label":"Niols:show","ref":"show","sha":"61f81bd447d00fed3af38b5e971e9df665b81ba8","user":{"login":"Niols","id":5920602,"avatar_url":"https://avatars3.githubusercontent.com/u/5920602?v=4","gravatar_id":"","url":"https://api.github.com/users/Niols","html_url":"https://github.com/Niols","followers_url":"https://api.github.com/users/Niols/followers","following_url":"https://api.github.com/users/Niols/following{/other_user}","gists_url":"https://api.github.com/users/Niols/gists{/gist_id}","starred_url":"https://api.github.com/users/Niols/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Niols/subscriptions","organizations_url":"https://api.github.com/users/Niols/orgs","repos_url":"https://api.github.com/users/Niols/repos","events_url":"https://api.github.com/users/Niols/events{/privacy}","received_events_url":"https://api.github.com/users/Niols/received_events","type":"User","site_admin":false},"repo":{"id":131292247,"name":"ppx_deriving_madcast","full_name":"Niols/ppx_deriving_madcast","owner":{"login":"Niols","id":5920602,"avatar_url":"https://avatars3.githubusercontent.com/u/5920602?v=4","gravatar_id":"","url":"https://api.github.com/users/Niols","html_url":"https://github.com/Niols","followers_url":"https://api.github.com/users/Niols/followers","following_url":"https://api.github.com/users/Niols/following{/other_user}","gists_url":"https://api.github.com/users/Niols/gists{/gist_id}","starred_url":"https://api.github.com/users/Niols/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Niols/subscriptions","organizations_url":"https://api.github.com/users/Niols/orgs","repos_url":"https://api.github.com/users/Niols/repos","events_url":"https://api.github.com/users/Niols/events{/privacy}","received_events_url":"https://api.github.com/users/Niols/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/Niols/ppx_deriving_madcast","description":"Library deriving cast functions based on their types.","fork":false,"url":"https://api.github.com/repos/Niols/ppx_deriving_madcast","forks_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/forks","keys_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/teams","hooks_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/hooks","issue_events_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/issues/events{/number}","events_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/events","assignees_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/assignees{/user}","branches_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/branches{/branch}","tags_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/tags","blobs_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/git/refs{/sha}","trees_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/statuses/{sha}","languages_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/languages","stargazers_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/stargazers","contributors_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/contributors","subscribers_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/subscribers","subscription_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/subscription","commits_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/commits{/sha}","git_commits_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/git/commits{/sha}","comments_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/comments{/number}","issue_comment_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/issues/comments{/number}","contents_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/contents/{+path}","compare_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/merges","archive_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/downloads","issues_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/issues{/number}","pulls_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls{/number}","milestones_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/milestones{/number}","notifications_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/labels{/name}","releases_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/releases{/id}","deployments_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/deployments","created_at":"2018-04-27T12:14:22Z","updated_at":"2018-05-22T08:33:08Z","pushed_at":"2018-05-22T15:48:52Z","git_url":"git://github.com/Niols/ppx_deriving_madcast.git","ssh_url":"git@github.com:Niols/ppx_deriving_madcast.git","clone_url":"https://github.com/Niols/ppx_deriving_madcast.git","svn_url":"https://github.com/Niols/ppx_deriving_madcast","homepage":"","size":76,"stargazers_count":7,"watchers_count":7,"language":"OCaml","has_issues":true,"has_projects":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":2,"license":{"key":"lgpl-3.0","name":"GNU Lesser General Public License v3.0","spdx_id":"LGPL-3.0","url":"https://api.github.com/licenses/lgpl-3.0"},"forks":0,"open_issues":2,"watchers":7,"default_branch":"master"}},"base":{"label":"Niols:master","ref":"master","sha":"a395c9e1c2acf21292e62e2eb5439b17319a6a18","user":{"login":"Niols","id":5920602,"avatar_url":"https://avatars3.githubusercontent.com/u/5920602?v=4","gravatar_id":"","url":"https://api.github.com/users/Niols","html_url":"https://github.com/Niols","followers_url":"https://api.github.com/users/Niols/followers","following_url":"https://api.github.com/users/Niols/following{/other_user}","gists_url":"https://api.github.com/users/Niols/gists{/gist_id}","starred_url":"https://api.github.com/users/Niols/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Niols/subscriptions","organizations_url":"https://api.github.com/users/Niols/orgs","repos_url":"https://api.github.com/users/Niols/repos","events_url":"https://api.github.com/users/Niols/events{/privacy}","received_events_url":"https://api.github.com/users/Niols/received_events","type":"User","site_admin":false},"repo":{"id":131292247,"name":"ppx_deriving_madcast","full_name":"Niols/ppx_deriving_madcast","owner":{"login":"Niols","id":5920602,"avatar_url":"https://avatars3.githubusercontent.com/u/5920602?v=4","gravatar_id":"","url":"https://api.github.com/users/Niols","html_url":"https://github.com/Niols","followers_url":"https://api.github.com/users/Niols/followers","following_url":"https://api.github.com/users/Niols/following{/other_user}","gists_url":"https://api.github.com/users/Niols/gists{/gist_id}","starred_url":"https://api.github.com/users/Niols/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Niols/subscriptions","organizations_url":"https://api.github.com/users/Niols/orgs","repos_url":"https://api.github.com/users/Niols/repos","events_url":"https://api.github.com/users/Niols/events{/privacy}","received_events_url":"https://api.github.com/users/Niols/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/Niols/ppx_deriving_madcast","description":"Library deriving cast functions based on their types.","fork":false,"url":"https://api.github.com/repos/Niols/ppx_deriving_madcast","forks_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/forks","keys_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/teams","hooks_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/hooks","issue_events_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/issues/events{/number}","events_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/events","assignees_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/assignees{/user}","branches_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/branches{/branch}","tags_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/tags","blobs_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/git/refs{/sha}","trees_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/statuses/{sha}","languages_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/languages","stargazers_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/stargazers","contributors_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/contributors","subscribers_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/subscribers","subscription_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/subscription","commits_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/commits{/sha}","git_commits_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/git/commits{/sha}","comments_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/comments{/number}","issue_comment_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/issues/comments{/number}","contents_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/contents/{+path}","compare_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/merges","archive_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/downloads","issues_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/issues{/number}","pulls_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls{/number}","milestones_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/milestones{/number}","notifications_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/labels{/name}","releases_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/releases{/id}","deployments_url":"https://api.github.com/repos/Niols/ppx_deriving_madcast/deployments","created_at":"2018-04-27T12:14:22Z","updated_at":"2018-05-22T08:33:08Z","pushed_at":"2018-05-22T15:48:52Z","git_url":"git://github.com/Niols/ppx_deriving_madcast.git","ssh_url":"git@github.com:Niols/ppx_deriving_madcast.git","clone_url":"https://github.com/Niols/ppx_deriving_madcast.git","svn_url":"https://github.com/Niols/ppx_deriving_madcast","homepage":"","size":76,"stargazers_count":7,"watchers_count":7,"language":"OCaml","has_issues":true,"has_projects":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":2,"license":{"key":"lgpl-3.0","name":"GNU Lesser General Public License v3.0","spdx_id":"LGPL-3.0","url":"https://api.github.com/licenses/lgpl-3.0"},"forks":0,"open_issues":2,"watchers":7,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/6"},"html":{"href":"https://github.com/Niols/ppx_deriving_madcast/pull/6"},"issue":{"href":"https://api.github.com/repos/Niols/ppx_deriving_madcast/issues/6"},"comments":{"href":"https://api.github.com/repos/Niols/ppx_deriving_madcast/issues/6/comments"},"review_comments":{"href":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/6/comments"},"review_comment":{"href":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/Niols/ppx_deriving_madcast/pulls/6/commits"},"statuses":{"href":"https://api.github.com/repos/Niols/ppx_deriving_madcast/statuses/61f81bd447d00fed3af38b5e971e9df665b81ba8"}},"author_association":"COLLABORATOR"}}
{"actor":{"display_login":"Niols"}}