Forgot to commit the real type for 'size' instead of using a string

Author: TheSpyder

bsconfig.json

@@ -17,7 +17,7 @@
   ],
   "suffix": ".bs.js",
   "bs-dev-dependencies": [
-    "bs-mocha"
+    "rescript-mocha"
   ],
   "package-specs": [
     {

package.json

@@ -30,11 +30,10 @@
   "author": "Andrew Herron",
   "license": "BSD-3-Clause",
   "devDependencies": {
-    "bs-mocha": "^1.0.0",
-    "mocha": "^9.0.1"
+    "rescript": "^9.1.4",
+    "rescript-mocha": "^0.9.0"
   },
   "dependencies": {
-    "fast-check": "^2.17.0",
-    "rescript": "^9.1.4"
+    "fast-check": "^2.17.0"
   }
 }

src/Arbitrary.res

@@ -7,6 +7,27 @@ type sum<'a>
 
 type arbitrary<'a>
 
+@ocaml.doc(
+  "see https://github.com/dubzzz/fast-check/blob/main/documentation/Arbitraries.md#size-explained"
+)
+type arbitrarySize = [
+  | #"-4"
+  | #"-3"
+  | #"-2"
+  | #"-1"
+  | #"="
+  | #"+1"
+  | #"+2"
+  | #"+3"
+  | #"+4"
+  | #xsmall
+  | #small
+  | #medium
+  | #large
+  | #xlarge
+  | #max
+]
+
 // Advanced arbitraries, methods on the arbitrary instances to derive new arbitraries
 module Derive = {
   @send external chain: (arbitrary<'a>, 'a => arbitrary<'b>) => arbitrary<'b> = "chain"
@@ -62,17 +83,17 @@ module Combinators = {
     ~maxLength: float=?,
     ~selector: 'a => 'a=?,
     ~comparator: [#SameValue | #SameValueZero | #IsStrictlyEqual]=?,
-    ~size: string=?,
-    unit
+    ~size: arbitrarySize=?,
+    unit,
   ) => uniqueArrayOptions = ""
   @obj
   external uniqueArrayOptionsWithMethodComparator: (
     ~minLength: float=?,
     ~maxLength: float=?,
     ~selector: 'a => 'a=?,
     ~comparator: ('a, 'a) => bool=?,
-    ~size: string=?,
-    unit
+    ~size: arbitrarySize=?,
+    unit,
   ) => uniqueArrayOptions = ""
   @module("fast-check")
   external uniqueArray: arbitrary<'a> => arbitrary<array<'a>> = "uniqueArray"

test/ArbitraryTest.res

@@ -1,4 +1,4 @@
-open BsMocha.Mocha
+open RescriptMocha.Mocha
 open Arbitrary
 open Property.Sync
 module FcAssert = Property.FcAssert
@@ -102,6 +102,9 @@ describe("combinators", () => {
     FcAssert.sync(property1(uniqueArray(hexa()), eq))
     FcAssert.sync(property1(uniqueArrayWithOptions(hexa(), uniqueArrayOptions(~minLength=5., ~maxLength=10., ~comparator=#SameValue, ())), eq))
     FcAssert.sync(property1(uniqueArrayWithOptions(hexa(), uniqueArrayOptionsWithMethodComparator(~minLength=5., ~maxLength=10., ~comparator=\"==", ())), eq))
+    FcAssert.sync(property1(uniqueArrayWithOptions(hexa(), uniqueArrayOptions(~size=#"+4", ())), eq))
+    FcAssert.sync(property1(uniqueArrayWithOptions(hexa(), uniqueArrayOptions(~maxLength=50., ~size=#max, ())), eq))
+    FcAssert.sync(property1(uniqueArrayWithOptions(hexa(), uniqueArrayOptions(~size=#xsmall, ())), eq))
     FcAssert.sync(property1(tuple2(hexa(), hexa()), eq))
     FcAssert.sync(property1(tuple3(hexa(), hexa(), hexa()), eq))
     FcAssert.sync(property1(tuple4(hexa(), hexa(), hexa(), hexa()), eq))
@@ -200,7 +203,7 @@ describe("complex built-in arbitraries", () => {
     FcAssert.sync(property1(tree, constTrue))
   })
 
-  BsMocha.Promise.it("scheduler", () =>
+  RescriptMocha.Promise.it("scheduler", () =>
     Property.Async.assertProperty1(Arbitrary.Scheduler.scheduler(), s => {
       open Js.Promise
       let result = ref(0)

test/ExampleTest.res

@@ -1,6 +1,6 @@
 // ported from the fast-check getting started guide
 // https://github.com/dubzzz/fast-check#getting-started
-open BsMocha.Mocha
+open RescriptMocha.Mocha
 
 // open FastCheck;
 open Arbitrary

test/PropertyTest.res

@@ -1,4 +1,4 @@
-open BsMocha.Mocha
+open RescriptMocha.Mocha
 open Arbitrary
 open Property
 
@@ -192,7 +192,7 @@ describe("syncUnit property checks", () => {
   )
 })
 
-open! BsMocha.Promise
+open! RescriptMocha.Promise
 describe("async property checks", () => {
   let eq = i => Js.Promise.resolve(i === i)
   let eq2 = (i, j) => Js.Promise.resolve(i === i && j === j)

test/SimpleTests.res

@@ -5,7 +5,7 @@
   (at least as many as we're able to given it hasn't all been replicated in these bindings)
  */
 
-open BsMocha.Mocha
+open RescriptMocha.Mocha
 open Arbitrary
 open Property.Sync
 open Combinators