| 18:05 | <shu> | i have hit upon just the badge to use for user code: 🤡 |
| 18:06 | <bakkot> | :D |
| 21:46 | <jmdyck> | My code is complaining about step 9.c in the new String.prototype.split: _codeUnits_ appears to be a List in which each element is a code unit, but CreateArrayFromList wants a List in which each element is an ECMAScript language value. Don't we need wording that makes a String value for each code unit? |
| 22:20 | <ljharb> | isn't a String just a sequence of code units? |
| 22:20 | <ljharb> | altho i guess there's at least one Note where it adds "converted to a String" |
| 22:21 | <ljharb> | the intro para in https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type seems like it does define a String as a sequence of integers, where each integer is considered a code unit |
| 22:32 | <bakkot> | even then, strictly speaking a code unit is not a sequence of code units |
| 22:32 | <ljharb> | fair point |
| 22:34 | <ljharb> | so "Let codeUnits be a List consisting of the sequence of code units that are the elements of head." → "Let codeUnits be a List consisting of the sequence of code units that are the elements of head, each converted to a String."? |
| 22:34 | <bakkot> | "converted to a string" isn't really precise enough |
| 22:35 | <bakkot> | hm |
| 22:37 | <bakkot> | Let _codeUnits_ be a List whose elements are the Strings given by considering each code unit of _head_, in order, to be a distinct length-one sequence of code units, maybe |
| 22:58 | <ljharb> | sgtm |