Add explanation

metaborg · May 1, 2020 · 1609bf4 · 1609bf4
1 parent 7ef38c6
commit 1609bf4
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/source/langdev/meta/lang/statix/signature-generator.rst b/source/langdev/meta/lang/statix/signature-generator.rst
@@ -30,6 +30,11 @@ For the generator to work correctly, your SDF3 must be well formed. In particula
 * not use complex injections, such as :sdf3:`Pair = Expr Expr`
 * not use optional terms, such as :sdf3:`Decl.VarDecl = ID Type?`
 
+The generator generates strategies and signatures for each explicit declaration of a sort in SDF3, which is why each sort must be declared exactly once.
+SDF3 does not generate Stratego signatures for placeholders for sorts that have no corresponding rules, causing errors in the generated Statix injection explication strategies.
+Complex injections are not supported across Spoofax.
+Optional sorts cannot be represented in Statix.
+
 
 
 Applying the Generator in Spoofax 2