Merge pull request #1422 from rkday/underscore_variables

Treat _42 etc. as a variable name, not an integer

NEWS

@@ -16,6 +16,7 @@ Changes from 0.13.0
      as necessary, so you can write ``(eval `(+ 1 ~n))`` instead of
      ``(eval `(+ 1 ~(HyInteger n)))``
    * Literal `Inf`s and `NaN`s must now be capitalized like that
+   * Numeric literals can no longer begin with a comma or underscore
    * `get` is available as a function
    * new `comment` macro
    * support EDN `#_` syntax to discard the next term

docs/language/api.rst

@@ -44,9 +44,9 @@ integers is used. ``0x`` for Hex, ``0o`` for Octal, ``0b`` for Binary.
     
     (print 0x80 0b11101 0o102 30)
 
-Underscores and commas can appear anywhere in a numeric literal. They have no
-effect on the value of the literal, but they're useful for visually separating
-digits.
+Underscores and commas can appear anywhere in a numeric literal except the very
+beginning. They have no effect on the value of the literal, but they're useful
+for visually separating digits.
 
 .. code-block:: clj
 

hy/models.py

@@ -111,8 +111,10 @@ class HyKeyword(HyObject, str_type):
 
 
 def strip_digit_separators(number):
-    return (number.replace("_", "").replace(",", "")
-            if isinstance(number, string_types)
+    # Don't strip a _ or , if it's the first character, as _42 and
+    # ,42 aren't valid numbers
+    return (number[0] + number[1:].replace("_", "").replace(",", "")
+            if isinstance(number, string_types) and len(number) > 1
             else number)
 
 

tests/native_tests/language.hy

@@ -1653,3 +1653,10 @@
   (with [(pytest.raises AssertionError)]
     (assert (do (f 1) (f 2)) (do (f 3) (f 4))))
   (assert (= s #{1 2 3 4}))))
+
+(defn test-underscore_variables []
+  ; https://github.com/hylang/hy/issues/1340
+  (defclass XYZ []
+    [_42 6])
+  (setv x (XYZ))
+  (assert (= (. x _42) 6)))

tests/test_lex.py

@@ -158,9 +158,11 @@ def test_lex_digit_separators():
              HyInteger(12), HyInteger(34)])])
     assert tokenize("1,0_00j") == [HyComplex(1000j)]
 
-    assert tokenize(",,,,___,__1__,,__,,2__,,,__") == [HyInteger(12)]
-    assert (tokenize(",,,,___,__1__,,__,,2__,q,__") ==
-            [HySymbol(",,,,___,__1__,,__,,2__,q,__")])
+    assert tokenize("1,,,,___,____,,__,,2__,,,__") == [HyInteger(12)]
+    assert (tokenize("_1,,,,___,____,,__,,2__,,,__") ==
+            [HySymbol("_1,,,,___,____,,__,,2__,,,__")])
+    assert (tokenize("1,,,,___,____,,__,,2__,q,__") ==
+            [HySymbol("1,,,,___,____,,__,,2__,q,__")])
 
 
 def test_lex_bad_attrs():