Add test to assert uncurried deriving accessors is unhandled

Author: JonoPrest

jscomp/build_tests/uncurried_accessors/input.js

@@ -0,0 +1,13 @@
+var p = require("child_process");
+var assert = require("assert");
+var rescript_exe = require("../../../scripts/bin_path").rescript_exe;
+var o = p.spawnSync(rescript_exe, {
+  encoding: "utf8",
+  cwd: __dirname,
+});
+
+if (o.status === 0) {
+  assert.fail(
+    "Deriving accessors should fail build in uncurried mode \n" + o.stdout
+  );
+}

jscomp/build_tests/uncurried_accessors/rescript.json

@@ -0,0 +1,9 @@
+{
+  "name": "uncurried",
+  "version": "0.1.0",
+  "sources": {
+    "dir": "src",
+    "subdirs": true
+  },
+  "uncurried": false
+}

jscomp/build_tests/uncurried_accessors/src/Record_Curried.res

@@ -0,0 +1,10 @@
+@deriving(accessors)
+type myRecord = { myField: int }
+
+//Asserts the correct signature for derived accessor
+let _myFieldAlias: myRecord => int = myField
+
+//Asserts that inference works when composing
+//with derived functions
+let compose = (a, accessor) => accessor(a)
+let _composedNum = compose({ myField: 1 }, myField)

jscomp/build_tests/uncurried_accessors/src/Record_Uncurried.res

@@ -0,0 +1,11 @@
+@@uncurried
+@deriving(accessors)
+type myRecord = { myField: int }
+
+//Asserts the correct signature for derived accessor
+let _myFieldAlias: myRecord => int = myField
+
+//Asserts that inference works when composing
+//with derived functions
+let compose = (a, accessor) => accessor(a)
+let _composedNum = compose({ myField: 1 }, myField)

jscomp/build_tests/uncurried_accessors/src/Variant_Curried_1Param.res

@@ -0,0 +1,10 @@
+@deriving(accessors)
+type variant = | Num(int) 
+
+//Asserts the correct signature for derived accessor
+let _numAlias: int => variant = num
+
+//Asserts that inference works when composing
+//with derived functions
+let compose = (a, accessor) => accessor(a)
+let _composedNum = compose(1, num)

jscomp/build_tests/uncurried_accessors/src/Variant_Curried_2Param.res

@@ -0,0 +1,11 @@
+@deriving(accessors)
+type variant = | DoubleNum(int, int)
+
+//Asserts the correct signature for derived accessor
+let _numAlias: (int, int) => variant = doubleNum
+
+//Asserts that inference works when composing
+//with derived functions
+let compose = (a, b, accessor) => accessor(a, b)
+let _composedNum = compose(1, 2, doubleNum)
+

jscomp/build_tests/uncurried_accessors/src/Variant_Uncurried_1Param.res

@@ -0,0 +1,11 @@
+@@uncurried
+@deriving(accessors)
+type variant = | Num(int) 
+
+//Asserts the correct signature for derived accessor
+let _numAlias: int => variant = num
+
+//Asserts that inference works when composing
+//with derived functions
+let compose = (a, accessor) => accessor(a)
+let _composedNum = compose(1, num)

jscomp/build_tests/uncurried_accessors/src/Variant_Uncurried_2Param.res

@@ -0,0 +1,12 @@
+@@uncurried
+@deriving(accessors)
+type variant = | DoubleNum(int, int)
+
+//Asserts the correct signature for derived accessor
+let _numAlias: (int, int) => variant = doubleNum
+
+//Asserts that inference works when composing
+//with derived functions
+let compose = (a, b, accessor) => accessor(a, b)
+let _composedNum = compose(1, 2, doubleNum)
+