Commit 80043023 authored by Bas Lijnse's avatar Bas Lijnse

Updated test property for JSONNode fromString

parent e70d124c
Pipeline #30005 passed with stage
in 3 minutes and 7 seconds
...@@ -10,7 +10,7 @@ definition module Text.GenJSON ...@@ -10,7 +10,7 @@ definition module Text.GenJSON
* *
* @property-bootstrap * @property-bootstrap
* import StdEnv * import StdEnv
* import Data.GenEq * import Data.GenEq, Text
* *
* :: TestRecord = {a :: Int, b` :: [(Int,[Char])]} * :: TestRecord = {a :: Int, b` :: [(Int,[Char])]}
* *
...@@ -74,6 +74,7 @@ instance toString JSONNode ...@@ -74,6 +74,7 @@ instance toString JSONNode
* @property error for incomplete parsings: A.x :: type; s :: String: * @property error for incomplete parsings: A.x :: type; s :: String:
* let json = toJSON x in * let json = toJSON x in
* toInt s == 0 ==> // we may append more digits to an int, in which case it is not invalid * toInt s == 0 ==> // we may append more digits to an int, in which case it is not invalid
* trim s <> "" ==> // if we only add whitespace it is not invalid
* size s > 0 ==> * size s > 0 ==>
* fromString (toString json +++ s) =.= JSONError * fromString (toString json +++ s) =.= JSONError
*/ */
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment