fix: reject duplicate remaining allotments

internal/interpreter/interpreter.go

@@ -1029,9 +1029,13 @@ func (s *programState) makeAllotment(monetary *big.Int, items []parser.Allotment
 			allotments = append(allotments, rat)
 
 		case *parser.RemainingAllotment:
+			if remainingAllotmentIndex != -1 {
+				return nil, InvalidRemainingAllotment{
+					Range: allotment.Range,
+				}
+			}
 			remainingAllotmentIndex = i
 			allotments = append(allotments, new(big.Rat))
-			// TODO check there are not duplicate remaining clause
 		}
 	}
 

internal/interpreter/interpreter_error.go

@@ -153,6 +153,14 @@ func (e InvalidAllotmentInSendAll) Error() string {
 	return "cannot take all balance of an allotment source"
 }
 
+type InvalidRemainingAllotment struct {
+	parser.Range
+}
+
+func (e InvalidRemainingAllotment) Error() string {
+	return "Only one 'remaining' clause is allowed in an allotment expression"
+}
+
 type DivideByZero struct {
 	parser.Range
 	Numerator *big.Int

internal/interpreter/interpreter_test.go

@@ -419,6 +419,24 @@ func TestInvalidDestinationAllotmentSum(t *testing.T) {
 	test(t, tc)
 }
 
+func TestRejectsDuplicateRemainingAllotments(t *testing.T) {
+	tc := NewTestCase()
+	src := tc.compile(t, `send [COIN 100] (
+		source = {
+			remaining from @a
+			remaining from @b
+		}
+		destination = @dest
+	)`)
+
+	tc.expected = CaseResult{
+		Error: machine.InvalidRemainingAllotment{
+			Range: parser.RangeOfIndexed(src, "remaining", 1),
+		},
+	}
+	test(t, tc)
+}
+
 func TestSourceAllotmentInvalidAmt(t *testing.T) {
 	tc := NewTestCase()
 	tc.compile(t, `send [COIN 100] (