Handle the non-integer return of __index__ - Fixes #96

Generate TypeError when __index__ return non-integer value

* Handle error of slice in range type
  * When an error occurs, the error is returned and
  * when the value is none the slice's values have a default value.
* Add tests for __index__
* Add tests for __index__ function
* Add tests for __index__ in list, tuple, string

Author: HyeockJinKim

py/internal.go

@@ -95,11 +95,12 @@ func Index(a Object) (Int, error) {
 		if err != nil {
 			return 0, err
 		}
+
 		if res, ok := A.(Int); ok {
 			return res, nil
 		}
 
-		return 0, err
+		return 0, ExceptionNewf(TypeError, "__index__ returned non-int: (type %s)", A.Type().Name)
 	}
 
 	return 0, ExceptionNewf(TypeError, "unsupported operand type(s) for index: '%s'", a.Type().Name)

py/range.go

@@ -160,6 +160,16 @@ func computeRangeLength(start, stop, step Int) Int {
 	return res
 }
 
+func getIndexWithDefault(i Object, d Int) (Int, error) {
+	if i == None {
+		return d, nil
+	} else if res, err := Index(i); err != nil {
+		return 0, err
+	} else {
+		return res, nil
+	}
+}
+
 func computeNegativeIndex(index, length Int) Int {
 	if index < 0 {
 		index += length
@@ -177,19 +187,19 @@ func computeBoundIndex(index, length Int) Int {
 }
 
 func computeRangeSlice(r *Range, s *Slice) (Object, error) {
-	start, err := Index(s.Start)
+	start, err := getIndexWithDefault(s.Start, 0)
 	if err != nil {
-		start = 0
+		return nil, err
 	}
-	stop, err := Index(s.Stop)
+	stop, err := getIndexWithDefault(s.Stop, r.Length)
 	if err != nil {
-		stop = r.Length
+		return nil, err
 	}
-
-	step, err := Index(s.Step)
+	step, err := getIndexWithDefault(s.Step, 1)
 	if err != nil {
-		step = 1
+		return nil, err
 	}
+
 	if step == 0 {
 		return nil, ExceptionNewf(ValueError, "slice step cannot be zero")
 	}

py/tests/list.py

@@ -113,4 +113,34 @@
 assertRaises(TypeError, lambda: list.sort(s5, key=1))
 assertRaises(TypeError, lambda: list.sort(1))
 
+class Index:
+    def __index__(self):
+        return 1
+
+a = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
+b = Index()
+assert a[b] == 1
+assert a[b:10] == a[1:10]
+assert a[10:b:-1] == a[10:1:-1]
+
+class NonIntegerIndex:
+    def __index__(self):
+        return 1.1
+
+a = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
+b = NonIntegerIndex()
+try:
+    a[b]
+except TypeError:
+    pass
+else:
+    assert False, "TypeError not raised"
+
+try:
+    a[b:10]
+except TypeError:
+    pass
+else:
+    assert False, "TypeError not raised"
+
 doc="finished"

py/tests/range.py

@@ -116,4 +116,24 @@ def __index__(self):
 assert a[b:10] == a[1:10]
 assert a[10:b:-1] == a[10:1:-1]
 
+class NonIntegerIndex:
+    def __index__(self):
+        return 1.1
+
+a = range(10)
+b = NonIntegerIndex()
+try:
+    a[b]
+except TypeError:
+    pass
+else:
+    assert False, "TypeError not raised"
+
+try:
+    a[b:10]
+except TypeError:
+    pass
+else:
+    assert False, "TypeError not raised"
+
 doc="finished"

py/tests/string.py

@@ -886,4 +886,35 @@ def index(s, i):
 assert uni[7:7:2] == ''
 assert uni[7:7:3] == ''
 
+class Index:
+    def __index__(self):
+        return 1
+
+a = '012345678910'
+b = Index()
+assert a[b] == '1'
+assert a[b:10] == a[1:10]
+assert a[10:b:-1] == a[10:1:-1]
+
+class NonIntegerIndex:
+    def __index__(self):
+        return 1.1
+
+a = '012345678910'
+b = NonIntegerIndex()
+try:
+    a[b]
+except TypeError:
+    pass
+else:
+    assert False, "TypeError not raised"
+
+try:
+    a[b:10]
+except TypeError:
+    pass
+else:
+    assert False, "TypeError not raised"
+
+
 doc="finished"

py/tests/tuple.py

@@ -22,4 +22,34 @@
 assert a * 0 == ()
 assert a * -1 == ()
 
+class Index:
+    def __index__(self):
+        return 1
+
+a = (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
+b = Index()
+assert a[b] == 1
+assert a[b:10] == a[1:10]
+assert a[10:b:-1] == a[10:1:-1]
+
+class NonIntegerIndex:
+    def __index__(self):
+        return 1.1
+
+a = (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
+b = NonIntegerIndex()
+try:
+    a[b]
+except TypeError:
+    pass
+else:
+    assert False, "TypeError not raised"
+
+try:
+    a[b:10]
+except TypeError:
+    pass
+else:
+    assert False, "TypeError not raised"
+
 doc="finished"