{"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":null,"assignees":[],"milestone":null,"comments":8,"created_at":"2016-09-01T14:28:37Z","updated_at":"2016-09-13T11:39:49Z","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/246654634","html_url":"https://github.com/AmpersandTarski/Ampersand/issues/517#issuecomment-246654634","issue_url":"https://api.github.com/repos/AmpersandTarski/Ampersand/issues/517","id":246654634,"user":{"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},"created_at":"2016-09-13T11:39:49Z","updated_at":"2016-09-13T11:39:49Z","body":"ONE comes with the rule ``I[ONE] = V[ONE]``, which would prevent adding more than one atom to it. This rule is not checked as far as I know, and I think it should.\r\n\r\nFurthermore, the rule is not violated by Rieks' example, since only the atom \"A1\" is used. If you want to disallow this, I propose that we create a dedicated atom, say ``_ONE`` (or in a syntax similar to what we choose for the magic/special atom in the concept ``SESSION``), such that the following would be accepted:\r\n\r\n``\r\nPOPULATION accPerson   CONTAINS [ (_ONE, \"Pietje Puk\") ]\r\nPOPULATION accUserid   CONTAINS [ (_ONE, \"ppuk@vb.com\") ]\r\nPOPULATION accPassword CONTAINS [ (_ONE, \"*****\") ]\r\n``\r\n\r\nIf we were to do that, we can enforce that ``_ONE`` is always in the population of ``ONE``, such that adding \"A1\" to it is not allowed by the rule ``I[ONE]=V[ONE]``."}}
{"actor":{"display_login":"sjcjoosten"}}