Source

aeson / tests / Properties.hs

Diff from to

tests/Properties.hs

 regress_gh72 ys = G.decode (G.encode m) == Just m
     where m = Map.fromList ys
 
+modifyFailureProp :: String -> String -> Bool
+modifyFailureProp orig added =
+    result == Error (added ++ orig)
+  where
+    parser = const $ modifyFailure (added ++) $ fail orig
+    result :: Result ()
+    result = parse parser ()
+
 data Foo = Foo {
       fooInt :: Int
     , fooDouble :: Double
     ],
   testGroup "genericToFromJSON" [
       testProperty "_UFoo" (genericToFromJSON :: UFoo -> Bool)
+    ],
+  testGroup "failure messages" [
+      testProperty "modify failure" modifyFailureProp
     ]
   ]
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.