@@ -26,6 +26,8 @@ import Test.QuickCheck (arbitrary)
2626import Test.QuickCheck.Gen
2727import Test.QuickCheck.Property
2828
29+-- | Note: 'schemaGen' may 'error', if schema type is not specified,
30+-- and cannot be inferred.
2931schemaGen :: Definitions Schema -> Schema -> Gen Value
3032schemaGen _ schema
3133 | Just cases <- schema ^. paramSchema . enum_ = elements cases
@@ -34,7 +36,8 @@ schemaGen defns schema =
3436 Nothing ->
3537 case inferSchemaTypes schema of
3638 [ inferredType ] -> schemaGen defns (schema & type_ ?~ inferredType)
37− _ -> fail "unable to infer schema type"
39+ -- Gen is not MonadFail
40+ _ -> error "unable to infer schema type"
3841 Just SwaggerBoolean -> Bool <$> elements [True, False]
3942 Just SwaggerNull -> pure Null
4043 Just SwaggerNumber