{"action":"created","comment":{"url":"https://api.github.com/repos/HazyResearch/ddlog/pulls/comments/40341289","id":40341289,"diff_hunk":"@@ -156,6 +157,46 @@ object DeepDiveLogSemanticChecker extends DeepDiveLogHandler {\n     }\n   }\n \n+  def checkSupervisionLableType(s: ExtractionRule, expType: VariableType, SupVariable: VarPattern, b: BodyAtom) {\n+    b.terms.zipWithIndex.foreach {\n+      case (SupVariable, index) => {\n+        val expColumnType = if (expType.isInstanceOf[BooleanType.type]) \"boolean\" else \"text\"\n+        if (schemaDeclaration(b.name).a.types(index).toLowerCase != expColumnType) {\n+          error(s, s\"Unexpected supervision type\")\n+        }\n+      }\n+      case _ =>\n+    }\n+  }\n+\n+  def checkSupervisionLabelType(s: ExtractionRule, expType: VariableType, supVariable: VarPattern, body: Body) {\n+    body match {\n+      case qb: QuantifiedBody => qb.bodies.foreach { b => checkSupervisionLabelType(s, expType, supVariable, b)}\n+      case b: BodyAtom =>  checkSupervisionLableType(s, expType, supVariable, b)\n+      case _: Cond =>","path":"src/main/scala/org/deepdive/ddlog/DeepDiveLogSemanticChecker.scala","position":28,"original_position":28,"commit_id":"13560a10cc33a5271a8061a383116efbae97d6b1","original_commit_id":"13560a10cc33a5271a8061a383116efbae97d6b1","user":{"login":"netj","id":53634,"avatar_url":"https://avatars.githubusercontent.com/u/53634?v=3","gravatar_id":"","url":"https://api.github.com/users/netj","html_url":"https://github.com/netj","followers_url":"https://api.github.com/users/netj/followers","following_url":"https://api.github.com/users/netj/following{/other_user}","gists_url":"https://api.github.com/users/netj/gists{/gist_id}","starred_url":"https://api.github.com/users/netj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/netj/subscriptions","organizations_url":"https://api.github.com/users/netj/orgs","repos_url":"https://api.github.com/users/netj/repos","events_url":"https://api.github.com/users/netj/events{/privacy}","received_events_url":"https://api.github.com/users/netj/received_events","type":"User","site_admin":false},"body":"Is `: Cond` necessary?","created_at":"2015-09-24T16:38:32Z","updated_at":"2015-09-24T16:38:32Z","html_url":"https://github.com/HazyResearch/ddlog/pull/56#discussion_r40341289","pull_request_url":"https://api.github.com/repos/HazyResearch/ddlog/pulls/56","_links":{"self":{"href":"https://api.github.com/repos/HazyResearch/ddlog/pulls/comments/40341289"},"html":{"href":"https://github.com/HazyResearch/ddlog/pull/56#discussion_r40341289"},"pull_request":{"href":"https://api.github.com/repos/HazyResearch/ddlog/pulls/56"}}},"pull_request":{"url":"https://api.github.com/repos/HazyResearch/ddlog/pulls/56","id":43842704,"html_url":"https://github.com/HazyResearch/ddlog/pull/56","diff_url":"https://github.com/HazyResearch/ddlog/pull/56.diff","patch_url":"https://github.com/HazyResearch/ddlog/pull/56.patch","issue_url":"https://api.github.com/repos/HazyResearch/ddlog/issues/56","number":56,"state":"open","locked":false,"title":"Implemented new syntax for supervision rules","user":{"login":"seojiwon","id":4902319,"avatar_url":"https://avatars.githubusercontent.com/u/4902319?v=3","gravatar_id":"","url":"https://api.github.com/users/seojiwon","html_url":"https://github.com/seojiwon","followers_url":"https://api.github.com/users/seojiwon/followers","following_url":"https://api.github.com/users/seojiwon/following{/other_user}","gists_url":"https://api.github.com/users/seojiwon/gists{/gist_id}","starred_url":"https://api.github.com/users/seojiwon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/seojiwon/subscriptions","organizations_url":"https://api.github.com/users/seojiwon/orgs","repos_url":"https://api.github.com/users/seojiwon/repos","events_url":"https://api.github.com/users/seojiwon/events{/privacy}","received_events_url":"https://api.github.com/users/seojiwon/received_events","type":"User","site_admin":false},"body":"","created_at":"2015-09-01T06:49:39Z","updated_at":"2015-09-24T16:38:32Z","closed_at":null,"merged_at":null,"merge_commit_sha":"e1bbaf0e771624a2fdac58053ace20dd2a8faaf3","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/HazyResearch/ddlog/pulls/56/commits","review_comments_url":"https://api.github.com/repos/HazyResearch/ddlog/pulls/56/comments","review_comment_url":"https://api.github.com/repos/HazyResearch/ddlog/pulls/comments{/number}","comments_url":"https://api.github.com/repos/HazyResearch/ddlog/issues/56/comments","statuses_url":"https://api.github.com/repos/HazyResearch/ddlog/statuses/13560a10cc33a5271a8061a383116efbae97d6b1","head":{"label":"HazyResearch:new-supervision","ref":"new-supervision","sha":"13560a10cc33a5271a8061a383116efbae97d6b1","user":{"login":"HazyResearch","id":2165246,"avatar_url":"https://avatars.githubusercontent.com/u/2165246?v=3","gravatar_id":"","url":"https://api.github.com/users/HazyResearch","html_url":"https://github.com/HazyResearch","followers_url":"https://api.github.com/users/HazyResearch/followers","following_url":"https://api.github.com/users/HazyResearch/following{/other_user}","gists_url":"https://api.github.com/users/HazyResearch/gists{/gist_id}","starred_url":"https://api.github.com/users/HazyResearch/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/HazyResearch/subscriptions","organizations_url":"https://api.github.com/users/HazyResearch/orgs","repos_url":"https://api.github.com/users/HazyResearch/repos","events_url":"https://api.github.com/users/HazyResearch/events{/privacy}","received_events_url":"https://api.github.com/users/HazyResearch/received_events","type":"Organization","site_admin":false},"repo":{"id":33649698,"name":"ddlog","full_name":"HazyResearch/ddlog","owner":{"login":"HazyResearch","id":2165246,"avatar_url":"https://avatars.githubusercontent.com/u/2165246?v=3","gravatar_id":"","url":"https://api.github.com/users/HazyResearch","html_url":"https://github.com/HazyResearch","followers_url":"https://api.github.com/users/HazyResearch/followers","following_url":"https://api.github.com/users/HazyResearch/following{/other_user}","gists_url":"https://api.github.com/users/HazyResearch/gists{/gist_id}","starred_url":"https://api.github.com/users/HazyResearch/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/HazyResearch/subscriptions","organizations_url":"https://api.github.com/users/HazyResearch/orgs","repos_url":"https://api.github.com/users/HazyResearch/repos","events_url":"https://api.github.com/users/HazyResearch/events{/privacy}","received_events_url":"https://api.github.com/users/HazyResearch/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/HazyResearch/ddlog","description":"Compiler for writing DeepDive applications in a Datalog-like language","fork":false,"url":"https://api.github.com/repos/HazyResearch/ddlog","forks_url":"https://api.github.com/repos/HazyResearch/ddlog/forks","keys_url":"https://api.github.com/repos/HazyResearch/ddlog/keys{/key_id}","collaborators_url":"https://api.github.com/repos/HazyResearch/ddlog/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/HazyResearch/ddlog/teams","hooks_url":"https://api.github.com/repos/HazyResearch/ddlog/hooks","issue_events_url":"https://api.github.com/repos/HazyResearch/ddlog/issues/events{/number}","events_url":"https://api.github.com/repos/HazyResearch/ddlog/events","assignees_url":"https://api.github.com/repos/HazyResearch/ddlog/assignees{/user}","branches_url":"https://api.github.com/repos/HazyResearch/ddlog/branches{/branch}","tags_url":"https://api.github.com/repos/HazyResearch/ddlog/tags","blobs_url":"https://api.github.com/repos/HazyResearch/ddlog/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/HazyResearch/ddlog/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/HazyResearch/ddlog/git/refs{/sha}","trees_url":"https://api.github.com/repos/HazyResearch/ddlog/git/trees{/sha}","statuses_url":"https://api.github.com/repos/HazyResearch/ddlog/statuses/{sha}","languages_url":"https://api.github.com/repos/HazyResearch/ddlog/languages","stargazers_url":"https://api.github.com/repos/HazyResearch/ddlog/stargazers","contributors_url":"https://api.github.com/repos/HazyResearch/ddlog/contributors","subscribers_url":"https://api.github.com/repos/HazyResearch/ddlog/subscribers","subscription_url":"https://api.github.com/repos/HazyResearch/ddlog/subscription","commits_url":"https://api.github.com/repos/HazyResearch/ddlog/commits{/sha}","git_commits_url":"https://api.github.com/repos/HazyResearch/ddlog/git/commits{/sha}","comments_url":"https://api.github.com/repos/HazyResearch/ddlog/comments{/number}","issue_comment_url":"https://api.github.com/repos/HazyResearch/ddlog/issues/comments{/number}","contents_url":"https://api.github.com/repos/HazyResearch/ddlog/contents/{+path}","compare_url":"https://api.github.com/repos/HazyResearch/ddlog/compare/{base}...{head}","merges_url":"https://api.github.com/repos/HazyResearch/ddlog/merges","archive_url":"https://api.github.com/repos/HazyResearch/ddlog/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/HazyResearch/ddlog/downloads","issues_url":"https://api.github.com/repos/HazyResearch/ddlog/issues{/number}","pulls_url":"https://api.github.com/repos/HazyResearch/ddlog/pulls{/number}","milestones_url":"https://api.github.com/repos/HazyResearch/ddlog/milestones{/number}","notifications_url":"https://api.github.com/repos/HazyResearch/ddlog/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/HazyResearch/ddlog/labels{/name}","releases_url":"https://api.github.com/repos/HazyResearch/ddlog/releases{/id}","created_at":"2015-04-09T05:12:19Z","updated_at":"2015-09-05T15:03:22Z","pushed_at":"2015-09-24T09:31:50Z","git_url":"git://github.com/HazyResearch/ddlog.git","ssh_url":"git@github.com:HazyResearch/ddlog.git","clone_url":"https://github.com/HazyResearch/ddlog.git","svn_url":"https://github.com/HazyResearch/ddlog","homepage":"","size":2004,"stargazers_count":3,"watchers_count":3,"language":"Scala","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":12,"forks":0,"open_issues":12,"watchers":3,"default_branch":"master"}},"base":{"label":"HazyResearch:master","ref":"master","sha":"b11abba47e13dd6c3109d885af78874f6176e2c0","user":{"login":"HazyResearch","id":2165246,"avatar_url":"https://avatars.githubusercontent.com/u/2165246?v=3","gravatar_id":"","url":"https://api.github.com/users/HazyResearch","html_url":"https://github.com/HazyResearch","followers_url":"https://api.github.com/users/HazyResearch/followers","following_url":"https://api.github.com/users/HazyResearch/following{/other_user}","gists_url":"https://api.github.com/users/HazyResearch/gists{/gist_id}","starred_url":"https://api.github.com/users/HazyResearch/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/HazyResearch/subscriptions","organizations_url":"https://api.github.com/users/HazyResearch/orgs","repos_url":"https://api.github.com/users/HazyResearch/repos","events_url":"https://api.github.com/users/HazyResearch/events{/privacy}","received_events_url":"https://api.github.com/users/HazyResearch/received_events","type":"Organization","site_admin":false},"repo":{"id":33649698,"name":"ddlog","full_name":"HazyResearch/ddlog","owner":{"login":"HazyResearch","id":2165246,"avatar_url":"https://avatars.githubusercontent.com/u/2165246?v=3","gravatar_id":"","url":"https://api.github.com/users/HazyResearch","html_url":"https://github.com/HazyResearch","followers_url":"https://api.github.com/users/HazyResearch/followers","following_url":"https://api.github.com/users/HazyResearch/following{/other_user}","gists_url":"https://api.github.com/users/HazyResearch/gists{/gist_id}","starred_url":"https://api.github.com/users/HazyResearch/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/HazyResearch/subscriptions","organizations_url":"https://api.github.com/users/HazyResearch/orgs","repos_url":"https://api.github.com/users/HazyResearch/repos","events_url":"https://api.github.com/users/HazyResearch/events{/privacy}","received_events_url":"https://api.github.com/users/HazyResearch/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/HazyResearch/ddlog","description":"Compiler for writing DeepDive applications in a Datalog-like language","fork":false,"url":"https://api.github.com/repos/HazyResearch/ddlog","forks_url":"https://api.github.com/repos/HazyResearch/ddlog/forks","keys_url":"https://api.github.com/repos/HazyResearch/ddlog/keys{/key_id}","collaborators_url":"https://api.github.com/repos/HazyResearch/ddlog/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/HazyResearch/ddlog/teams","hooks_url":"https://api.github.com/repos/HazyResearch/ddlog/hooks","issue_events_url":"https://api.github.com/repos/HazyResearch/ddlog/issues/events{/number}","events_url":"https://api.github.com/repos/HazyResearch/ddlog/events","assignees_url":"https://api.github.com/repos/HazyResearch/ddlog/assignees{/user}","branches_url":"https://api.github.com/repos/HazyResearch/ddlog/branches{/branch}","tags_url":"https://api.github.com/repos/HazyResearch/ddlog/tags","blobs_url":"https://api.github.com/repos/HazyResearch/ddlog/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/HazyResearch/ddlog/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/HazyResearch/ddlog/git/refs{/sha}","trees_url":"https://api.github.com/repos/HazyResearch/ddlog/git/trees{/sha}","statuses_url":"https://api.github.com/repos/HazyResearch/ddlog/statuses/{sha}","languages_url":"https://api.github.com/repos/HazyResearch/ddlog/languages","stargazers_url":"https://api.github.com/repos/HazyResearch/ddlog/stargazers","contributors_url":"https://api.github.com/repos/HazyResearch/ddlog/contributors","subscribers_url":"https://api.github.com/repos/HazyResearch/ddlog/subscribers","subscription_url":"https://api.github.com/repos/HazyResearch/ddlog/subscription","commits_url":"https://api.github.com/repos/HazyResearch/ddlog/commits{/sha}","git_commits_url":"https://api.github.com/repos/HazyResearch/ddlog/git/commits{/sha}","comments_url":"https://api.github.com/repos/HazyResearch/ddlog/comments{/number}","issue_comment_url":"https://api.github.com/repos/HazyResearch/ddlog/issues/comments{/number}","contents_url":"https://api.github.com/repos/HazyResearch/ddlog/contents/{+path}","compare_url":"https://api.github.com/repos/HazyResearch/ddlog/compare/{base}...{head}","merges_url":"https://api.github.com/repos/HazyResearch/ddlog/merges","archive_url":"https://api.github.com/repos/HazyResearch/ddlog/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/HazyResearch/ddlog/downloads","issues_url":"https://api.github.com/repos/HazyResearch/ddlog/issues{/number}","pulls_url":"https://api.github.com/repos/HazyResearch/ddlog/pulls{/number}","milestones_url":"https://api.github.com/repos/HazyResearch/ddlog/milestones{/number}","notifications_url":"https://api.github.com/repos/HazyResearch/ddlog/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/HazyResearch/ddlog/labels{/name}","releases_url":"https://api.github.com/repos/HazyResearch/ddlog/releases{/id}","created_at":"2015-04-09T05:12:19Z","updated_at":"2015-09-05T15:03:22Z","pushed_at":"2015-09-24T09:31:50Z","git_url":"git://github.com/HazyResearch/ddlog.git","ssh_url":"git@github.com:HazyResearch/ddlog.git","clone_url":"https://github.com/HazyResearch/ddlog.git","svn_url":"https://github.com/HazyResearch/ddlog","homepage":"","size":2004,"stargazers_count":3,"watchers_count":3,"language":"Scala","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":12,"forks":0,"open_issues":12,"watchers":3,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/HazyResearch/ddlog/pulls/56"},"html":{"href":"https://github.com/HazyResearch/ddlog/pull/56"},"issue":{"href":"https://api.github.com/repos/HazyResearch/ddlog/issues/56"},"comments":{"href":"https://api.github.com/repos/HazyResearch/ddlog/issues/56/comments"},"review_comments":{"href":"https://api.github.com/repos/HazyResearch/ddlog/pulls/56/comments"},"review_comment":{"href":"https://api.github.com/repos/HazyResearch/ddlog/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/HazyResearch/ddlog/pulls/56/commits"},"statuses":{"href":"https://api.github.com/repos/HazyResearch/ddlog/statuses/13560a10cc33a5271a8061a383116efbae97d6b1"}}}}