Add regression test

runarorama · runarorama · commit 10ac4c20bb82 · 2025-09-24T14:43:55.000-04:00
diff --git a/unison-src/transcripts/idempotent/builtins.md b/unison-src/transcripts/idempotent/builtins.md
@@ -252,7 +252,8 @@ test> Integer.tests.arithmetic =
         Integer.eq (Integer.fromInt +1000) (Integer.fromInt +1000),
         not (Integer.eq (Integer.fromInt +1000) (Integer.fromInt +999)),
         eq (Integer.abs (Integer.fromInt +1000)) (Integer.fromInt +1000),
-        eq (Integer.abs (Integer.fromInt -1000)) (Integer.fromInt +1000)
+        eq (Integer.abs (Integer.fromInt -1000)) (Integer.fromInt +1000),
+        not (Int.eq (Integer.signum (Integer.fromInt +1)) (Integer.signum (Integer.fromInt -1)))
         ]
 
 test> Integer.tests.bitwise =

Original file line number	Diff line number	Diff line change
`@@ -252,7 +252,8 @@ test> Integer.tests.arithmetic =`
`252`	`252`	`Integer.eq (Integer.fromInt +1000) (Integer.fromInt +1000),`
`253`	`253`	`not (Integer.eq (Integer.fromInt +1000) (Integer.fromInt +999)),`
`254`	`254`	`eq (Integer.abs (Integer.fromInt +1000)) (Integer.fromInt +1000),`
`255`		`- eq (Integer.abs (Integer.fromInt -1000)) (Integer.fromInt +1000)`
	`255`	`+ eq (Integer.abs (Integer.fromInt -1000)) (Integer.fromInt +1000),`
	`256`	`+ not (Int.eq (Integer.signum (Integer.fromInt +1)) (Integer.signum (Integer.fromInt -1)))`
`256`	`257`	`]`
`257`	`258`
`258`	`259`	`test> Integer.tests.bitwise =`