{"action":"opened","issue":{"url":"https://api.github.com/repos/Tipoca/handbook-of-practical-logic-and-automated-reasoning/issues/1","repository_url":"https://api.github.com/repos/Tipoca/handbook-of-practical-logic-and-automated-reasoning","labels_url":"https://api.github.com/repos/Tipoca/handbook-of-practical-logic-and-automated-reasoning/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/Tipoca/handbook-of-practical-logic-and-automated-reasoning/issues/1/comments","events_url":"https://api.github.com/repos/Tipoca/handbook-of-practical-logic-and-automated-reasoning/issues/1/events","html_url":"https://github.com/Tipoca/handbook-of-practical-logic-and-automated-reasoning/issues/1","id":147221662,"number":1,"title":"Exception: Failure \"Closing bracket expected\".","user":{"login":"logisin","id":18378540,"avatar_url":"https://avatars.githubusercontent.com/u/18378540?v=3","gravatar_id":"","url":"https://api.github.com/users/logisin","html_url":"https://github.com/logisin","followers_url":"https://api.github.com/users/logisin/followers","following_url":"https://api.github.com/users/logisin/following{/other_user}","gists_url":"https://api.github.com/users/logisin/gists{/gist_id}","starred_url":"https://api.github.com/users/logisin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/logisin/subscriptions","organizations_url":"https://api.github.com/users/logisin/orgs","repos_url":"https://api.github.com/users/logisin/repos","events_url":"https://api.github.com/users/logisin/events{/privacy}","received_events_url":"https://api.github.com/users/logisin/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2016-04-10T12:35:14Z","updated_at":"2016-04-10T12:35:14Z","closed_at":null,"body":"I did the following:\r\n1)git clone https://github.com/Tipoca/handbook-of-practical-logic-and-automated-reasoning.git\r\n2)cd handbook-of-practical-logic-and-automated-reasoning\r\n3)make\r\nAfter the interactive prompt of ocaml responds I give the following:\r\n4)<<(x1+x2+x3) * (1+2+3*x+y)>>;;\r\nAnd I the message:\r\nException: Failure \"Closing bracket expected\".\r\n\r\nAny ideas what I'm doing wrong?\r\nPS: There many warnings that & is deprecated and also that \r\nFile \"atp_interactive.ml\", line 1234, characters 2-971:\r\nWarning 8: this pattern-matching is not exhaustive.\r\nHere is an example of a value that is not matched:\r\n(\"\", _)\r\n"}}