fix doctests on 9.0.1

Error messages changed, adapted to match both variants
disco-lang · Jun 25, 2021 · e25d120 · e25d120
1 parent 2d0f936
commit e25d120
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,3 +7,5 @@ core-html/
 dist-newstyle
 *.hi
 *.o
+/result
+/result-doc
diff --git a/nix/overlay.nix b/nix/overlay.nix
@@ -10,7 +10,7 @@ let
     c2n = name: src: pkgs.haskell.lib.disableLibraryProfiling (self.callCabal2nix name (filter src) {});
     hackage = pkg: ver: sha256: self.callHackageDirect { inherit pkg ver sha256; } {};
   in {
-    polysemy = pkgs.haskell.lib.dontCheck (c2n "polysemy" ../.);
+    polysemy = c2n "polysemy" ../.;
     polysemy-plugin = c2n "polysemy-plugin" ../polysemy-plugin;
     first-class-families =
       hackage "first-class-families" "0.8.0.1" "0h1rxbc7zsxrlhx5xcl58wjx3qi2wny8wb3sk7c1qnydf4ckcckz";

diff --git a/test/TypeErrors.hs b/test/TypeErrors.hs
@@ -91,8 +91,8 @@ tooFewArgumentsReinterpret = ()
 -- ...
 -- ... Unhandled effect 'Embed IO'
 -- ...
--- ... Expected type: Sem '[Embed m] (Bool, ())
--- ... Actual type: Sem '[] (Bool, ())
+-- ... Expected... Sem '[Embed m] (Bool, ())
+-- ... Actual... Sem '[] (Bool, ())
 -- ...
 runningTooManyEffects = ()
 
@@ -119,8 +119,8 @@ ambiguousSendInConcreteR = ()
 --  in runM $ lowerResource foo
 -- :}
 -- ...
--- ... Couldn't match expected type ...
--- ... with actual type ...
+-- ... Couldn't match expected type...
+-- ... with actual type...
 -- ... Probable cause: ... is applied to too few arguments
 -- ...
 missingArgumentToRunResourceInIO = ()
-Original file line number
+Diff line change
@@ Expand Up / @@ -7,3 +7,5 @@ core-html/ @@
     dist-newstyle
     *.hi
     *.o
+    /result
+    /result-doc