[ #344 ] layout: document surprising behavior of Explicit {

``` module A where { module B where module C where } ``` is surprisingly parsed as ``` module A where { module B where { module C where { } } } ``` Yet this conforms with Haskell's indentation rules. Apparently, the start column after { does not matter, so the input looks to the parser like: ``` module A where { module B where module C where } ```
BNFC · Mar 6, 2021 · a1a19c2 · a1a19c2
1 parent 47c8422
commit a1a19c2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/testing/regression-tests/194_layout/good02.in b/testing/regression-tests/194_layout/good02.in
@@ -3,9 +3,10 @@ module Top where
   module B where
     module B1 where
   module C where
-    module CA where
+    module CA where {
       module CA1 where
       module CA2 where
+}
     module CB where
   module D where {
 module DA where {}; module DB where

diff --git a/testing/regression-tests/194_layout/good02.out b/testing/regression-tests/194_layout/good02.out
@@ -4,7 +4,7 @@ Parse Successful!
 
 [Abstract Syntax]
 
-Modl (Ident "Top") [Modl (Ident "A") [],Modl (Ident "B") [Modl (Ident "B1") []],Modl (Ident "C") [Modl (Ident "CA") [Modl (Ident "CA1") [],Modl (Ident "CA2") []],Modl (Ident "CB") []],Modl (Ident "D") [Modl (Ident "DA") [],Modl (Ident "DB") [Modl (Ident "DB1") [],Modl (Ident "DB2") [Modl (Ident "DB2A") []]],Modl (Ident "DC") []],Modl (Ident "E") [Modl (Ident "EA") [],Modl (Ident "EB") [Modl (Ident "EB1") [],Modl (Ident "EB1") []],Modl (Ident "EC") [Modl (Ident "EC1") [],Modl (Ident "EC2") [Modl (Ident "EC2A") []]]],Modl (Ident "F") []]
+Modl (Ident "Top") [Modl (Ident "A") [],Modl (Ident "B") [Modl (Ident "B1") []],Modl (Ident "C") [Modl (Ident "CA") [Modl (Ident "CA1") [Modl (Ident "CA2") []]],Modl (Ident "CB") []],Modl (Ident "D") [Modl (Ident "DA") [],Modl (Ident "DB") [Modl (Ident "DB1") [],Modl (Ident "DB2") [Modl (Ident "DB2A") []]],Modl (Ident "DC") []],Modl (Ident "E") [Modl (Ident "EA") [],Modl (Ident "EB") [Modl (Ident "EB1") [],Modl (Ident "EB1") []],Modl (Ident "EC") [Modl (Ident "EC1") [],Modl (Ident "EC2") [Modl (Ident "EC2A") []]]],Modl (Ident "F") []]
 
 [Linearized tree]
 
@@ -18,8 +18,8 @@ module Top where {
   module C where {
     module CA where {
       module CA1 where {
-        } ;
-      module CA2 where {
+        module CA2 where {
+          }
         }
       } ;
     module CB where {