Update golden results

NoRedInk · Sep 21, 2021 · 51e6158 · 51e6158
1 parent ac6dcf0
commit 51e6158
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 18 deletions.
diff --git a/test/golden-results/integration-simple.hs b/test/golden-results/integration-simple.hs
@@ -93,16 +93,16 @@ test/assets/UnverifiedExamples.hs:29
 
 Examples of module WithContext unverified.
 
-test/assets/WithContext.hs:17
-[2m  12: -- result = Just "a"
-[m[2m  13: -- @
-[m[2m  14: --
-[m[2m  15: -- > identity @(Maybe [Char]) test ==> result
-[m[2m  16: --
-[m✗ 17: -- > Just "b" ==> result
-[2m  18: test :: Maybe [Char]
-[m[2m  19: test = Just "a"
-[m[2m  20: 
+test/assets/WithContext.hs:21
+[2m  16: --
+[m[2m  17: -- Examples:
+[m[2m  18: --
+[m[2m  19: -- > identity @(Maybe [Char]) test ==> result
+[m[2m  20: --
+[m✗ 21: -- > Just "b" ==> result
+[2m  22: test :: Maybe [Char]
+[m[2m  23: test = Just "a"
+[m[2m  24: 
 [mThe example was incorrect and couldn't be verified.
         ▼
 "Just \"b\""

diff --git a/test/golden-results/parse-with-context.hs b/test/golden-results/parse-with-context.hs
@@ -4,17 +4,17 @@ Module
         { moduleName = Just "WithContext"
         , moduleSource =
             SrcSpanInfo
-              { srcInfoSpan = SrcSpan "test/assets/WithContext.hs" 1 1 20 1
+              { srcInfoSpan = SrcSpan "test/assets/WithContext.hs" 1 1 24 1
               , srcInfoPoints =
                   [ SrcSpan "test/assets/WithContext.hs" 1 1 1 1
                   , SrcSpan "test/assets/WithContext.hs" 2 1 2 1
                   , SrcSpan "test/assets/WithContext.hs" 4 1 4 1
                   , SrcSpan "test/assets/WithContext.hs" 4 1 4 1
                   , SrcSpan "test/assets/WithContext.hs" 6 1 6 1
-                  , SrcSpan "test/assets/WithContext.hs" 18 1 18 1
-                  , SrcSpan "test/assets/WithContext.hs" 19 1 19 1
-                  , SrcSpan "test/assets/WithContext.hs" 20 1 20 1
-                  , SrcSpan "test/assets/WithContext.hs" 20 1 20 1
+                  , SrcSpan "test/assets/WithContext.hs" 22 1 22 1
+                  , SrcSpan "test/assets/WithContext.hs" 23 1 23 1
+                  , SrcSpan "test/assets/WithContext.hs" 24 1 24 1
+                  , SrcSpan "test/assets/WithContext.hs" 24 1 24 1
                   ]
               }
         , languageExtensions = [ "TypeApplications" , "NoImplicitPrelude" ]
@@ -30,15 +30,15 @@ Module
         }
   , comments =
       [ ContextBlockComment
-          (SrcSpan "test/assets/WithContext.hs" 10 1 13 5)
+          (SrcSpan "test/assets/WithContext.hs" 12 1 15 5)
           [ "result :: Maybe [Char]" , "result = Just \"a\"" ]
       , CodeBlockComment
           (VerifiedExample
-             (SrcSpan "test/assets/WithContext.hs" 15 1 15 46)
+             (SrcSpan "test/assets/WithContext.hs" 19 1 19 46)
              [ "identity @(Maybe [Char]) test ==> result" ])
       , CodeBlockComment
           (VerifiedExample
-             (SrcSpan "test/assets/WithContext.hs" 17 1 17 25)
+             (SrcSpan "test/assets/WithContext.hs" 21 1 21 25)
              [ "Just \"b\" ==> result" ])
       ]
   }