Update coding.md

usethesource · Mar 23, 2024 · 13a5f28 · 13a5f28
1 parent 2c43471
commit 13a5f28
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/about/coding.md b/about/coding.md
@@ -44,6 +44,7 @@ These are guidelines for code style and quality that we follow at UseTheSource.
 * use nullary ADT constructors as "enums", never strings.
 * use `loc` source locations as references, qualified names or general identifiers; to avoid strings, captured variables or other fancy usages of first class functions.
 * use relations over maps where possible, for future generalizability where suddenly the mapping is not many-to-one anymore. The underlying datastructures for relations gracefully expand.
-* Staging before parametrization: introduce an intermediate datatype or relation instead of adding (higher order) parameters to introduce algorithmic variability. 
+* Staging before parametrization: introduce an intermediate datatype or relation instead of adding (higher order) parameters to introduce algorithmic variability.
+* Positional fields of ADT constructors, when they have a `src` origin field are always ordered by their original position from left you right. The same holds for lists of ADT constructors; they remain ordered by their `src` field, unless the elements do not originate from the same source file anymore.