{"action":"created","issue":{"url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1041","labels_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1041/labels{/name}","comments_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1041/comments","events_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1041/events","html_url":"https://github.com/ceylon/ceylon-spec/issues/1041","id":38637750,"number":1041,"title":"length-based abbreviation for tuple types","user":{"login":"gavinking","id":579974,"avatar_url":"https://avatars.githubusercontent.com/u/579974?v=3","gravatar_id":"","url":"https://api.github.com/users/gavinking","html_url":"https://github.com/gavinking","followers_url":"https://api.github.com/users/gavinking/followers","following_url":"https://api.github.com/users/gavinking/following{/other_user}","gists_url":"https://api.github.com/users/gavinking/gists{/gist_id}","starred_url":"https://api.github.com/users/gavinking/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gavinking/subscriptions","organizations_url":"https://api.github.com/users/gavinking/orgs","repos_url":"https://api.github.com/users/gavinking/repos","events_url":"https://api.github.com/users/gavinking/events{/privacy}","received_events_url":"https://api.github.com/users/gavinking/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ceylon/ceylon-spec/labels/basic%20language","name":"basic language","color":"AA1155"},{"url":"https://api.github.com/repos/ceylon/ceylon-spec/labels/feature","name":"feature","color":"02e10c"},{"url":"https://api.github.com/repos/ceylon/ceylon-spec/labels/high%20priority","name":"high priority","color":"d7e102"},{"url":"https://api.github.com/repos/ceylon/ceylon-spec/labels/request%20for%20feedback","name":"request for feedback","color":"0b02e1"}],"state":"closed","locked":false,"assignee":{"login":"gavinking","id":579974,"avatar_url":"https://avatars.githubusercontent.com/u/579974?v=3","gravatar_id":"","url":"https://api.github.com/users/gavinking","html_url":"https://github.com/gavinking","followers_url":"https://api.github.com/users/gavinking/followers","following_url":"https://api.github.com/users/gavinking/following{/other_user}","gists_url":"https://api.github.com/users/gavinking/gists{/gist_id}","starred_url":"https://api.github.com/users/gavinking/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gavinking/subscriptions","organizations_url":"https://api.github.com/users/gavinking/orgs","repos_url":"https://api.github.com/users/gavinking/repos","events_url":"https://api.github.com/users/gavinking/events{/privacy}","received_events_url":"https://api.github.com/users/gavinking/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/ceylon/ceylon-spec/milestones/11","html_url":"https://github.com/ceylon/ceylon-spec/milestones/1.2","labels_url":"https://api.github.com/repos/ceylon/ceylon-spec/milestones/11/labels","id":798020,"number":11,"title":"1.2","description":"Serialization.","creator":{"login":"gavinking","id":579974,"avatar_url":"https://avatars.githubusercontent.com/u/579974?v=3","gravatar_id":"","url":"https://api.github.com/users/gavinking","html_url":"https://github.com/gavinking","followers_url":"https://api.github.com/users/gavinking/followers","following_url":"https://api.github.com/users/gavinking/following{/other_user}","gists_url":"https://api.github.com/users/gavinking/gists{/gist_id}","starred_url":"https://api.github.com/users/gavinking/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gavinking/subscriptions","organizations_url":"https://api.github.com/users/gavinking/orgs","repos_url":"https://api.github.com/users/gavinking/repos","events_url":"https://api.github.com/users/gavinking/events{/privacy}","received_events_url":"https://api.github.com/users/gavinking/received_events","type":"User","site_admin":false},"open_issues":6,"closed_issues":159,"state":"open","created_at":"2014-09-22T09:55:40Z","updated_at":"2015-05-28T14:01:17Z","due_on":"2014-10-28T23:00:00Z","closed_at":null},"comments":23,"created_at":"2014-07-24T14:39:20Z","updated_at":"2015-05-28T17:11:35Z","closed_at":"2015-05-28T14:01:17Z","body":"I now run into the need for writing:\r\n\r\n```ceylon\r\nalias Bits => Boolean[8];\r\nalias Months => String[12];\r\nalias Weekdays => String[7];\r\n```\r\n\r\netc.\r\n\r\nThis could actually go some way to alleviating the discomfort that we get from list lookup resulting in an optional type."},"comment":{"url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/comments/106496513","html_url":"https://github.com/ceylon/ceylon-spec/issues/1041#issuecomment-106496513","issue_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1041","id":106496513,"user":{"login":"lucaswerkmeister","id":2346599,"avatar_url":"https://avatars.githubusercontent.com/u/2346599?v=3","gravatar_id":"","url":"https://api.github.com/users/lucaswerkmeister","html_url":"https://github.com/lucaswerkmeister","followers_url":"https://api.github.com/users/lucaswerkmeister/followers","following_url":"https://api.github.com/users/lucaswerkmeister/following{/other_user}","gists_url":"https://api.github.com/users/lucaswerkmeister/gists{/gist_id}","starred_url":"https://api.github.com/users/lucaswerkmeister/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lucaswerkmeister/subscriptions","organizations_url":"https://api.github.com/users/lucaswerkmeister/orgs","repos_url":"https://api.github.com/users/lucaswerkmeister/repos","events_url":"https://api.github.com/users/lucaswerkmeister/events{/privacy}","received_events_url":"https://api.github.com/users/lucaswerkmeister/received_events","type":"User","site_admin":false},"created_at":"2015-05-28T17:11:35Z","updated_at":"2015-05-28T17:11:35Z","body":"The JS backend has a different stack overflow:\r\n\r\n> Exception in thread \"main\" java.lang.StackOverflowError\r\n\tat sun.nio.cs.UTF_8.updatePositions(UTF_8.java:77)\r\n\tat sun.nio.cs.UTF_8.access$200(UTF_8.java:57)\r\n\tat sun.nio.cs.UTF_8$Encoder.encodeArrayLoop(UTF_8.java:636)\r\n\tat sun.nio.cs.UTF_8$Encoder.encodeLoop(UTF_8.java:691)\r\n\tat java.nio.charset.CharsetEncoder.encode(CharsetEncoder.java:579)\r\n\tat sun.nio.cs.StreamEncoder.implWrite(StreamEncoder.java:271)\r\n\tat sun.nio.cs.StreamEncoder.write(StreamEncoder.java:125)\r\n\tat sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135)\r\n\tat java.io.OutputStreamWriter.write(OutputStreamWriter.java:220)\r\n\tat java.io.Writer.write(Writer.java:157)\r\n\tat java.io.Writer.append(Writer.java:227)\r\n\tat java.io.Writer.append(Writer.java:50)\r\n\tat net.minidev.json.JSONObject.writeJSONKV(JSONObject.java:86)\r\n\tat net.minidev.json.JSONObject.writeJSON(JSONObject.java:169)\r\n\tat net.minidev.json.JSONValue.writeJSONString(JSONValue.java:491)\r\n\tat net.minidev.json.JSONArray.writeJSONString(JSONArray.java:88)\r\n\tat net.minidev.json.JSONValue.writeJSONString(JSONValue.java:493)\r\n\tat net.minidev.json.JSONObject.writeJSONKV(JSONObject.java:102)\r\n\tat net.minidev.json.JSONObject.writeJSON(JSONObject.java:169)\r\n\tat net.minidev.json.JSONValue.writeJSONString(JSONValue.java:491)\r\n\tat net.minidev.json.JSONArray.writeJSONString(JSONArray.java:88)\r\n\tat net.minidev.json.JSONValue.writeJSONString(JSONValue.java:493)\r\n\tat net.minidev.json.JSONObject.writeJSONKV(JSONObject.java:102)\r\n\tat net.minidev.json.JSONObject.writeJSON(JSONObject.java:169)\r\n\tat net.minidev.json.JSONValue.writeJSONString(JSONValue.java:491)\r\n\tat net.minidev.json.JSONArray.writeJSONString(JSONArray.java:88)\r\n\tat net.minidev.json.JSONValue.writeJSONString(JSONValue.java:493)\r\n\r\nThat look like it has nothing to do with error message generation… it’s crashing during code generation. Probably fixable… but do we really need to support these huge tuples?"}}