From de6f3b06e979ceafc6e12031d74d8e56def88579 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= <facundo.dominguez@tweag.io>
Date: Tue, 8 Jan 2019 12:13:09 -0300
Subject: [PATCH] Add examples of comments.

---
 EXAMPLES.md | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)

diff --git a/EXAMPLES.md b/EXAMPLES.md
index fa87b13..a4e4f8a 100644
--- a/EXAMPLES.md
+++ b/EXAMPLES.md
@@ -242,3 +242,55 @@ data A
 
 TODO: GADTs, record syntax, type families
 
+### Comments
+
+```Haskell
+{- When a comment is not preceded with elements on the same line,
+   they are indented as the elements in the enclosing AST node or
+   braces/parenthesis/brackets.
+   If it is between AST nodes, it is indented as the following
+   node.
+   If the end-of-file follows, then indent to column 0.
+-}
+
+f = g {- When there are preceding elements, keep single-line comments in the same line. -}
+
+h = g
+{- Multi-line comments can't be kept on the same line as @h = g@.
+   Otherwise, changing h or g would change the indentation of all
+   the comment lines.
+ -}
+
+data R = R
+    {- This comment always follows the R constructor -}
+    { f1 :: T1
+      {- A comment not preceded by other elements -}
+      {- Another comment -}
+    , f2 :: T2
+    , f3 :: T3
+    }
+```
+
+```Haskell
+{- a comment line -}
+f = h
+  where
+    h = g
+    -- indented the same as g
+    g = False
+```
+
+This example
+```Haskell
+data R = R {- This comment always follows the R constructor -}
+  { f1 :: T1, {- An inner comment -} {- Another inner comment -} f2 :: T2, f3 :: T3}
+```
+is reformatted to
+```Haskell
+data R = R
+    {- This comment always follows the R constructor -}
+    { f1 :: T1 {- An inner comment -} {- Another inner comment -}
+    , f2 :: T2
+    , f3 :: T3
+    }
+```