# HG changeset patch
# User wenzelm
# Date 1699733141 -3600
# Node ID 2a27d2c8eae8c8096db5a9da92c4e1250ec14c05
# Parent  87ac093e4d1a6b7547023b7adfcedfb5057e056d
prefer strict test of system options;

diff -r 87ac093e4d1a -r 2a27d2c8eae8 src/Pure/System/registry.scala
--- a/src/Pure/System/registry.scala	Sat Nov 11 20:43:20 2023 +0100
+++ b/src/Pure/System/registry.scala	Sat Nov 11 21:05:41 2023 +0100
@@ -34,7 +34,7 @@
 
   object Host extends Table[List[Options.Spec]]("host") {
     def options_spec(a: TOML.Key, b: TOML.T): Option[Options.Spec] =
-      TOML.Scalar.unapply(b).map(Options.Spec.eq(a, _, permissive = true))
+      TOML.Scalar.unapply(b).map(Options.Spec.eq(a, _))
 
     override def table_value(a: String, t: TOML.Table): List[Options.Spec] =
       for ((a, b) <- t.any.values; s <- options_spec(a, b)) yield s