some tests

Author: odr

src/Data/Schematic/Schema.hs

@@ -74,7 +74,7 @@ knownFieldName
   .  KnownSymbol fieldName
   => proxy '(fieldName, schema)
   -> Text
-knownFieldName _ = T.pack $ symbolVal (Proxy @fieldName)
+knownFieldName _ = demote' @fieldName
 
 knownFieldSchema
   :: forall proxy fieldName schema

stack.yaml

@@ -1,6 +1,6 @@
-resolver: lts-13.7
+# resolver: lts-13.7
 # resolver: lts-12.0
-# resolver: lts-10.0
+resolver: lts-10.0
 extra-deps:
   - hjsonpointer-1.4.0@rev:0
   - hjsonschema-1.9.0@rev:0

test/SchemaSpec.hs

@@ -1,6 +1,7 @@
 {-# OPTIONS_GHC -fprint-potential-instances #-}
 {-# OPTIONS_GHC -fno-warn-unused-top-binds #-}
 
+{-# LANGUAGE CPP                 #-}
 {-# LANGUAGE DataKinds           #-}
 {-# LANGUAGE FlexibleContexts    #-}
 {-# LANGUAGE GADTs               #-}
@@ -27,6 +28,9 @@ import Test.Hspec.SmallCheck
 import Test.SmallCheck as SC
 -- import Test.SmallCheck.Drivers as SC
 import Test.SmallCheck.Series as SC
+#if !MIN_VERSION_base(4,11,0)
+import Data.Monoid ((<>))
+#endif
 
 
 type SchemaExample = 'SchemaObject
@@ -37,6 +41,12 @@ type SchemaExample2 = 'SchemaObject
   '[ '("foo", 'SchemaArray '[ 'AEq 2] ('SchemaText '[ 'TGt 10]))
    , '("bar", 'SchemaOptional ('SchemaText '[ 'TRegex "[0-9]+"]))]
 
+type SchemaExample3 = 'SchemaUnion '[SchemaExample]
+
+type SchemaExample4 = 'SchemaObject
+  '[ '("baz3", SchemaExample3)
+  ,  '("baz1", SchemaExample)]
+
 jsonExample :: JsonRepr SchemaExample
 jsonExample = withRepr @SchemaExample
    $ field @"bar" (Just "bar")
@@ -80,6 +90,12 @@ schemaJson = "{\"foo\": [13], \"bar\": null}"
 schemaJson2 :: ByteString
 schemaJson2 = "{\"foo\": [3], \"bar\": null}"
 
+schemaJson3 :: ByteString
+schemaJson3 = schemaJson
+
+schemaJson4 :: ByteString
+schemaJson4 = "{\"baz1\": "<>schemaJson<>", \"baz3\": "<>schemaJson3<>"}"
+
 schemaJsonSeries :: Monad m => SC.Series m (JsonRepr SchemaExample)
 schemaJsonSeries = series
 
@@ -93,7 +109,7 @@ spec = do
   it "decode/encode JsonRepr properly" $
     decode (encode jsonExample) == Just jsonExample
   it "validates correct representation" $
-    ((decodeAndValidateJson schemaJson) :: ParseResult (JsonRepr SchemaExample))
+    ((decodeAndValidateJson schemaJson4) :: ParseResult (JsonRepr SchemaExample4))
       `shouldSatisfy` isValid
   it "returns decoding error on structurally incorrect input" $
     ((decodeAndValidateJson "{}") :: ParseResult (JsonRepr SchemaExample))