[m-rev.] diff: check bootstrap compiler supports type_is_abstract_enum

[Peter Wang]

Branches: main

Check that the bootstrap compiler supports `where type_is_abstract_enum'
syntax, as that now shows up in ROTD snapshots.

configure.in:
	As above.

diff --git a/configure.in b/configure.in
index 488ea04..729fab2 100644
--- a/configure.in
+++ b/configure.in
@@ -302,6 +302,8 @@ then
             [[untrailed, attach_to_io_state, thread_local]]
         ).
 
+        :- type abs_enum where type_is_abstract_enum(1).
+
         main(!IO) :-
             return_rtti_version(Version),
             p(T),

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------