quantified.uncertainty/squiggle
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lambda expressions bound to function call symbols

Browse Source
This commit is contained in:
Umur Ozkul 2022-04-25 06:30:25 +02:00
parent 7b080ff4c2
commit d214bddc82
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
packages/squiggle-lang/src/rescript/Reducer/Reducer_Dispatch/Reducer_Dispatch_BuiltInMacros.res
View File

@ -44,6 +44,16 @@ let rec replaceSymbols = (expression: expression, bindings: ExpressionT.bindings
} }
} }
let answerCallBindingIfNotParameter = (aSymbol, defaultExpression, parameters, bindings) =>
switch Js.Array2.some(parameters, a => a == aSymbol) {
| true => defaultExpression->Ok // We cannot bind the parameters with global values
| false =>
switch bindings->Belt.Map.String.get(aSymbol) {
| Some(boundExpression) => boundExpression->Ok
| None => defaultExpression->Ok
}
}
switch expression { switch expression {
| ExpressionT.EValue(EvSymbol(aSymbol)) => { | ExpressionT.EValue(EvSymbol(aSymbol)) => {
let parameters = getParameters(bindings) let parameters = getParameters(bindings)
@ -51,7 +61,7 @@ let rec replaceSymbols = (expression: expression, bindings: ExpressionT.bindings
} }
| ExpressionT.EValue(EvCall(aSymbol)) => { | ExpressionT.EValue(EvCall(aSymbol)) => {
let parameters = getParameters(bindings) let parameters = getParameters(bindings)
answerBindingIfNotParameter(aSymbol, expression, parameters, bindings) answerCallBindingIfNotParameter(aSymbol, expression, parameters, bindings)
} }
| ExpressionT.EValue(_) => expression->Ok | ExpressionT.EValue(_) => expression->Ok
| ExpressionT.EBindings(_) => expression->Ok | ExpressionT.EBindings(_) => expression->Ok