Document and motivate Dhall.Deriving

dhall-lang · Mar 15, 2020 · 888e2ca · 888e2ca
1 parent a622326
commit 888e2ca
Show file tree

Hide file tree

Showing 2 changed files with 334 additions and 24 deletions.
diff --git a/dhall/doctest/Main.hs b/dhall/doctest/Main.hs
@@ -23,6 +23,12 @@ main = do
         writeFile "both" "./bool1 && ./bool2"
         writeFile "file2" "./file1"
         writeFile "file1" "./file2"
+        writeFile "simon.dhall" $ unlines
+          [ "let Name = Text"
+          , "let Font = < Arial | `Comic Sans` | Helvetica | `Times New Roman` >"
+          , "let Person = { name : Name, favoriteFont : Font }"
+          , "in  { name = \"Simon\", favoriteFont = Font.`Comic Sans` } : Person"
+          ]
 
         Test.DocTest.doctest
             [ "-DWITH_HTTP"
@@ -40,4 +46,5 @@ main = do
             , "-i" <> (prefix </> "src")
             , prefix </> "src/Dhall/Tags.hs"
             , prefix </> "src/Dhall/Tutorial.hs"
+            , prefix </> "src/Dhall/Deriving.hs"
             ]