{"action":"created","issue":{"url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/91","labels_url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/91/labels{/name}","comments_url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/91/comments","events_url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/91/events","html_url":"https://github.com/UCSD-PL/RefScript/issues/91","id":54479840,"number":91,"title":"Non-linear arithmetic","user":{"login":"bmcfluff","id":4876098,"avatar_url":"https://avatars.githubusercontent.com/u/4876098?v=3","gravatar_id":"","url":"https://api.github.com/users/bmcfluff","html_url":"https://github.com/bmcfluff","followers_url":"https://api.github.com/users/bmcfluff/followers","following_url":"https://api.github.com/users/bmcfluff/following{/other_user}","gists_url":"https://api.github.com/users/bmcfluff/gists{/gist_id}","starred_url":"https://api.github.com/users/bmcfluff/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bmcfluff/subscriptions","organizations_url":"https://api.github.com/users/bmcfluff/orgs","repos_url":"https://api.github.com/users/bmcfluff/repos","events_url":"https://api.github.com/users/bmcfluff/events{/privacy}","received_events_url":"https://api.github.com/users/bmcfluff/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-01-15T17:38:25Z","updated_at":"2015-01-16T23:57:48Z","closed_at":null,"body":"See:\r\n\r\nhttps://github.com/UCSD-PL/RefScript/blob/master/tests/todo/non-linear.ts"},"comment":{"url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/comments/70342018","html_url":"https://github.com/UCSD-PL/RefScript/issues/91#issuecomment-70342018","issue_url":"https://api.github.com/repos/UCSD-PL/RefScript/issues/91","id":70342018,"user":{"login":"panagosg7","id":1099437,"avatar_url":"https://avatars.githubusercontent.com/u/1099437?v=3","gravatar_id":"","url":"https://api.github.com/users/panagosg7","html_url":"https://github.com/panagosg7","followers_url":"https://api.github.com/users/panagosg7/followers","following_url":"https://api.github.com/users/panagosg7/following{/other_user}","gists_url":"https://api.github.com/users/panagosg7/gists{/gist_id}","starred_url":"https://api.github.com/users/panagosg7/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/panagosg7/subscriptions","organizations_url":"https://api.github.com/users/panagosg7/orgs","repos_url":"https://api.github.com/users/panagosg7/repos","events_url":"https://api.github.com/users/panagosg7/events{/privacy}","received_events_url":"https://api.github.com/users/panagosg7/received_events","type":"User","site_admin":false},"created_at":"2015-01-16T23:57:48Z","updated_at":"2015-01-16T23:57:48Z","body":"I just pushed a mechanism to add options:\r\n```\r\n/*@  option <OPTION SECTION> */ \r\n```\r\nWhatever is in <OPTION SECTION> will be parsed as string.\r\n\r\nYou may want to change:\r\nhttps://github.com/UCSD-PL/RefScript/blob/master/src/Language/Nano/Program.hs#L122\r\nand:\r\nhttps://github.com/UCSD-PL/RefScript/blob/master/src/Language/Nano/Typecheck/Parse.hs#L137\r\n\r\n\r\n\r\n\r\n\r\n"}}