# HG changeset patch # User Chris Cannam # Date 1663322402 -3600 # Fri Sep 16 11:00:02 2022 +0100 # Node ID af68c929f1bc6d6751b20724b3a4b79e881df5f5 # Parent fdabfb38085a541f6076cb4f051cdd33c44c10b9 Size -> Empty (in previous commit) diff --git a/test.sml b/test.sml --- a/test.sml +++ b/test.sml @@ -905,7 +905,7 @@ (A.toList (#1 (A.popEnd (A.fromList [ "a" ]))), []) andalso - ((A.popEnd (A.fromList []); false) handle Size => true) + ((A.popEnd (A.fromList []); false) handle Empty => true) end ), ( "foldli", @@ -1189,7 +1189,7 @@ (Q.toList (#1 (Q.popStart (Q.fromList [ "a" ]))), []) andalso - ((Q.popStart (Q.fromList []); false) handle Size => true) + ((Q.popStart (Q.fromList []); false) handle Empty => true) end ), ( "queue-forward",