Removed now-uneeded Function Registry test file
This commit is contained in:
parent
30f721eeb6
commit
905d2fbb23
|
@ -1,93 +0,0 @@
|
||||||
module InternalExpressionValue = ReducerInterface_InternalExpressionValue
|
|
||||||
module ExpressionT = Reducer_Expression_T
|
|
||||||
// module Module = Reducer_Module
|
|
||||||
// module Bindings = Reducer_Module
|
|
||||||
module ErrorValue = Reducer_ErrorValue
|
|
||||||
|
|
||||||
open Jest
|
|
||||||
open Expect
|
|
||||||
|
|
||||||
// ----------------------
|
|
||||||
// --- Start of Module File
|
|
||||||
// ----------------------
|
|
||||||
|
|
||||||
module FooImplementation = {
|
|
||||||
open FunctionRegistry_Core
|
|
||||||
open FunctionRegistry_Helpers
|
|
||||||
|
|
||||||
let fn1 = Function.make(
|
|
||||||
~name="add",
|
|
||||||
~nameSpace="Foo",
|
|
||||||
~requiresNamespace=false,
|
|
||||||
~examples=["Foo.add2(1, 2)", "Foo.add3(1, 2, 3)"],
|
|
||||||
~output=EvtNumber,
|
|
||||||
~definitions=[
|
|
||||||
FnDefinition.make(
|
|
||||||
~name="add2",
|
|
||||||
~inputs=[FRTypeNumber, FRTypeNumber],
|
|
||||||
~run=(_, inputs, _) =>
|
|
||||||
switch inputs {
|
|
||||||
| [FRValueNumber(a), FRValueNumber(b)] => Ok(Wrappers.evNumber(a +. b))
|
|
||||||
| _ => Error("False")
|
|
||||||
},
|
|
||||||
(),
|
|
||||||
),
|
|
||||||
FnDefinition.make(
|
|
||||||
~name="add3",
|
|
||||||
~inputs=[FRTypeNumber, FRTypeNumber, FRTypeNumber],
|
|
||||||
~run=(_, inputs, _) =>
|
|
||||||
switch inputs {
|
|
||||||
| [FRValueNumber(a), FRValueNumber(b), FRValueNumber(c)] =>
|
|
||||||
Ok(Wrappers.evNumber(a +. b +. c))
|
|
||||||
| _ => Error("False")
|
|
||||||
},
|
|
||||||
(),
|
|
||||||
),
|
|
||||||
],
|
|
||||||
(),
|
|
||||||
)
|
|
||||||
|
|
||||||
let library = [fn1]
|
|
||||||
}
|
|
||||||
|
|
||||||
// let makeBindings = FunctionRegistry_Core.Registry.makeBindings(_, FooImplementation.library)
|
|
||||||
|
|
||||||
// let stdLibWithFoo = Bindings.emptyBindings->makeBindings
|
|
||||||
|
|
||||||
// let evalWithFoo = sourceCode =>
|
|
||||||
// Reducer_Expression.parse(sourceCode)->Belt.Result.flatMap(expr =>
|
|
||||||
// Reducer_Expression.reduceExpression(
|
|
||||||
// expr,
|
|
||||||
// stdLibWithFoo,
|
|
||||||
// InternalExpressionValue.defaultEnvironment,
|
|
||||||
// )
|
|
||||||
// )
|
|
||||||
|
|
||||||
// let evalToStringResultWithFoo = sourceCode =>
|
|
||||||
// evalWithFoo(sourceCode)->InternalExpressionValue.toStringResult
|
|
||||||
|
|
||||||
// describe("Module", () => {
|
|
||||||
// test("add2(1,2)", () => {
|
|
||||||
// let result = evalToStringResultWithFoo("Foo.add2(1,2)")
|
|
||||||
// expect(result)->toEqual("Ok(3)")
|
|
||||||
// })
|
|
||||||
// test("add3(1,2,3)", () => {
|
|
||||||
// let result = evalToStringResultWithFoo("Foo.add3(1,2,3)")
|
|
||||||
// expect(result)->toEqual("Ok(6)")
|
|
||||||
// })
|
|
||||||
// })
|
|
||||||
|
|
||||||
// describe("Fn auto-testing", () => {
|
|
||||||
// let items = FooImplementation.fn1.examples->E.A.to_list
|
|
||||||
|
|
||||||
// testAll("tests of validity", items, r => {
|
|
||||||
// expect(r->evalWithFoo->E.R.isOk)->toEqual(true)
|
|
||||||
// })
|
|
||||||
|
|
||||||
// testAll("tests of type", items, r => {
|
|
||||||
// let responseType =
|
|
||||||
// r->evalWithFoo->E.R2.fmap(ReducerInterface_InternalExpressionValue.valueToValueType)
|
|
||||||
// let expectedOutputType = FooImplementation.fn1.output |> E.O.toExn("")
|
|
||||||
// expect(responseType)->toEqual(Ok(expectedOutputType))
|
|
||||||
// })
|
|
||||||
// })
|
|
|
@ -438,7 +438,6 @@ module Registry = {
|
||||||
cacheAsArray->Js.Dict.fromArray
|
cacheAsArray->Js.Dict.fromArray
|
||||||
}
|
}
|
||||||
|
|
||||||
let _exportedSubset = (r: registry): registry => r |> E.A.filter(r => !r.requiresNamespace)
|
|
||||||
/*
|
/*
|
||||||
There's a (potential+minor) bug here: If a function definition is called outside of the calls
|
There's a (potential+minor) bug here: If a function definition is called outside of the calls
|
||||||
to the registry, then it's possible that there could be a match after the registry is
|
to the registry, then it's possible that there could be a match after the registry is
|
||||||
|
@ -477,7 +476,7 @@ module Registry = {
|
||||||
(fnName, args): ReducerInterface_InternalExpressionValue.functionCall,
|
(fnName, args): ReducerInterface_InternalExpressionValue.functionCall,
|
||||||
env,
|
env,
|
||||||
) => {
|
) => {
|
||||||
_matchAndRun(~registry=_exportedSubset(registry), ~fnName, ~args, ~env)->E.O2.fmap(
|
_matchAndRun(~registry, ~fnName, ~args, ~env)->E.O2.fmap(
|
||||||
E.R2.errMap(_, s => Reducer_ErrorValue.RETodo(s)),
|
E.R2.errMap(_, s => Reducer_ErrorValue.RETodo(s)),
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user