Merge pull request #2476 from wolframw/issue_19246

Update spec to disallow invalid binary literals

Author: thewilsonator

spec/lex.dd

@@ -600,7 +600,7 @@ $(GNAME DecimalInteger):
     $(GLINK NonZeroDigit) $(GLINK DecimalDigitsUS)
 
 $(GNAME BinaryInteger):
-    $(GLINK BinPrefix) $(GLINK BinaryDigitsUS)
+    $(GLINK BinPrefix) $(GLINK BinaryDigitsNoSingleUS)
 
 $(GNAME BinPrefix):
     $(B 0b)
@@ -645,6 +645,12 @@ $(GNAME DecimalDigitUS):
     $(GLINK DecimalDigit)
     $(D _)
 
+$(GNAME BinaryDigitsNoSingleUS):
+    $(GLINK BinaryDigit)
+    $(GLINK BinaryDigit) $(GLINK BinaryDigitsUS)
+    $(GLINK BinaryDigitsUS) $(GLINK BinaryDigit)
+    $(GLINK BinaryDigitsUS) $(GLINK BinaryDigit) $(GLINK BinaryDigitsUS)
+
 $(GNAME BinaryDigitsUS):
     $(GLINK BinaryDigitUS)
     $(GLINK BinaryDigitUS) $(I BinaryDigitsUS)