squiggle/packages/squiggle-lang/__tests__/Reducer/Reducer_functionAssignment_test.res

open Jest
open Reducer_TestHelpers

describe("Parse function assignment", () => {
  testParseToBe("f(x)=x", "Ok((:$$block (:$let :f (:$$lambda [x] (:$$block :x)))))")
  testParseToBe("f(x)=2*x", "Ok((:$$block (:$let :f (:$$lambda [x] (:$$block (:multiply 2 :x))))))")
  //MathJs does not allow blocks in function definitions
})

describe("Evaluate function assignment", () => {
  testEvalToBe("f(x)=x; f(1)", "Ok(1)")
})
function definition parse (tested) 2022-04-23 19:13:43 +00:00			`open Jest`
			`open Reducer_TestHelpers`

			`describe("Parse function assignment", () => {`
refactor reducer removed some extra array references rename Builder to ExpressionBuilder Expression Builder Trash Warning remove parsePartial/Outer, add context to lambda format module Bindings simplify types module Macro reduceValueList do macro call result map bindings stop replacing on macro calls Macro Test doBindStatement bind a statement bindings tested. TODO bind shadowing in lambda block tests defined block tests defined blocks tested macro lambda test defined 2022-04-28 16:35:09 +00:00			`testParseToBe("f(x)=x", "Ok((:$$block (:$let :f (:$$lambda [x] (:$$block :x)))))")`
			`testParseToBe("f(x)=2*x", "Ok((:$$block (:$let :f (:$$lambda [x] (:$$block (:multiply 2 :x))))))")`
function definition parse (tested) 2022-04-23 19:13:43 +00:00			`//MathJs does not allow blocks in function definitions`
			`})`

Function definition evaluated 2022-04-25 00:37:35 +00:00			`describe("Evaluate function assignment", () => {`
			`testEvalToBe("f(x)=x; f(1)", "Ok(1)")`
			`})`