From 4ae8c341c960213bdefd603affe965c59379a5c7 Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Thu, 11 Nov 2021 21:23:03 +0100 Subject: [PATCH] Note on ordering and default initialization --- preserves-schema.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/preserves-schema.md b/preserves-schema.md index 5f7d8cc..4e849d1 100644 --- a/preserves-schema.md +++ b/preserves-schema.md @@ -188,6 +188,11 @@ number or boolean: / Ref / LiteralPattern -- with a side condition +A host language will likely use the same ordering of its types as +specified by the schema. It is therefore recommended to specify first +the alternative best suited as a default initialization value (if +there is any). + ### Intersection definitions. AndPattern = NamedPattern "&" NamedPattern *("&" NamedPattern)