{"action":"created","issue":{"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/517","repository_url":"https://api.github.com/repos/AmpersandTarski/Ampersand","labels_url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/517/labels{/name}","comments_url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/517/comments","events_url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/517/events","html_url":"https://github.com/AmpersandTarski/Ampersand/issues/517","id":174538526,"number":517,"title":"'_SESSION' atoms do not seem to be typed","user":{"login":"RieksJ","id":8522589,"avatar_url":"https://avatars.githubusercontent.com/u/8522589?v=3","gravatar_id":"","url":"https://api.github.com/users/RieksJ","html_url":"https://github.com/RieksJ","followers_url":"https://api.github.com/users/RieksJ/followers","following_url":"https://api.github.com/users/RieksJ/following{/other_user}","gists_url":"https://api.github.com/users/RieksJ/gists{/gist_id}","starred_url":"https://api.github.com/users/RieksJ/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RieksJ/subscriptions","organizations_url":"https://api.github.com/users/RieksJ/orgs","repos_url":"https://api.github.com/users/RieksJ/repos","events_url":"https://api.github.com/users/RieksJ/events{/privacy}","received_events_url":"https://api.github.com/users/RieksJ/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/labels/bug","name":"bug","color":"e11d21"},{"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/labels/component:type%20checker","name":"component:type checker","color":"0052cc"},{"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/labels/priority:normal","name":"priority:normal","color":"fbca04"}],"state":"open","locked":false,"assignee":{"login":"sjcjoosten","id":7753626,"avatar_url":"https://avatars.githubusercontent.com/u/7753626?v=3","gravatar_id":"","url":"https://api.github.com/users/sjcjoosten","html_url":"https://github.com/sjcjoosten","followers_url":"https://api.github.com/users/sjcjoosten/followers","following_url":"https://api.github.com/users/sjcjoosten/following{/other_user}","gists_url":"https://api.github.com/users/sjcjoosten/gists{/gist_id}","starred_url":"https://api.github.com/users/sjcjoosten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sjcjoosten/subscriptions","organizations_url":"https://api.github.com/users/sjcjoosten/orgs","repos_url":"https://api.github.com/users/sjcjoosten/repos","events_url":"https://api.github.com/users/sjcjoosten/events{/privacy}","received_events_url":"https://api.github.com/users/sjcjoosten/received_events","type":"User","site_admin":false},"assignees":[{"login":"sjcjoosten","id":7753626,"avatar_url":"https://avatars.githubusercontent.com/u/7753626?v=3","gravatar_id":"","url":"https://api.github.com/users/sjcjoosten","html_url":"https://github.com/sjcjoosten","followers_url":"https://api.github.com/users/sjcjoosten/followers","following_url":"https://api.github.com/users/sjcjoosten/following{/other_user}","gists_url":"https://api.github.com/users/sjcjoosten/gists{/gist_id}","starred_url":"https://api.github.com/users/sjcjoosten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sjcjoosten/subscriptions","organizations_url":"https://api.github.com/users/sjcjoosten/orgs","repos_url":"https://api.github.com/users/sjcjoosten/repos","events_url":"https://api.github.com/users/sjcjoosten/events{/privacy}","received_events_url":"https://api.github.com/users/sjcjoosten/received_events","type":"User","site_admin":false}],"milestone":null,"comments":3,"created_at":"2016-09-01T14:28:37Z","updated_at":"2016-09-02T14:48:30Z","closed_at":null,"body":"Consider the following script:\r\n~~~\r\nqboxAbbr :: QBox * QBoxAbbr     REPRESENT QBoxAbbr TYPE ALPHANUMERIC\r\n\r\nINTERFACE \"QBox Mgt\" FOR QBoxMgr: '_SESSION' cRud BOX\r\n   [ \"Name\" : qboxAbbr cRud\r\n   ]\r\n~~~\r\nThis script does not produce a type error at compile time. However, it does produce runtime errors because of the (undetected) type error. I consider it a bug that an error is not generated compile time."},"comment":{"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/comments/244396208","html_url":"https://github.com/AmpersandTarski/Ampersand/issues/517#issuecomment-244396208","issue_url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/517","id":244396208,"user":{"login":"hanjoosten","id":1159672,"avatar_url":"https://avatars.githubusercontent.com/u/1159672?v=3","gravatar_id":"","url":"https://api.github.com/users/hanjoosten","html_url":"https://github.com/hanjoosten","followers_url":"https://api.github.com/users/hanjoosten/followers","following_url":"https://api.github.com/users/hanjoosten/following{/other_user}","gists_url":"https://api.github.com/users/hanjoosten/gists{/gist_id}","starred_url":"https://api.github.com/users/hanjoosten/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hanjoosten/subscriptions","organizations_url":"https://api.github.com/users/hanjoosten/orgs","repos_url":"https://api.github.com/users/hanjoosten/repos","events_url":"https://api.github.com/users/hanjoosten/events{/privacy}","received_events_url":"https://api.github.com/users/hanjoosten/received_events","type":"User","site_admin":false},"created_at":"2016-09-02T14:48:30Z","updated_at":"2016-09-02T14:48:30Z","body":"> This script does not produce a type error at compile time. However, it does produce runtime errors because of the (undetected) type error. I consider it a bug that an error is not generated compile time.\r\n\r\na) Indeed, there is no compile time error.\r\nb) @RieksJ : Please show the details of the runtime error\r\nc) @Michiel-s: Is it true that no atoms can have the value _SESSION, when they belong to another concept than SESSION? If so, why is this exception needed? Is there a valid reason for that?"}}
{"actor":{"display_login":"hanjoosten"}}