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

fix some gentype errors

Browse Source
This commit is contained in:
Vyacheslav Matyukhin 2022-08-16 16:02:23 +04:00
parent dc642774eb
commit 716ec61913
No known key found for this signature in database
GPG Key ID: 3D2A774C5489F96C
3 changed files with 13 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
packages/squiggle-lang/src/rescript/Reducer/Reducer_Expression/Reducer_Expression_Lambda.res
View File

@ -95,7 +95,7 @@ let foreignFunctionInterface = (
argArray: array<internalExpressionValue>, argArray: array<internalExpressionValue>,
accessors: ProjectAccessorsT.t, accessors: ProjectAccessorsT.t,
reducer: ProjectReducerFnT.t, reducer: ProjectReducerFnT.t,
): result<internalExpressionValue, 'e> => { ): result<internalExpressionValue, Reducer_ErrorValue.errorValue> => {
let args = argArray->Belt.List.fromArray let args = argArray->Belt.List.fromArray
applyParametersToLambda(lambdaValue, args, accessors, reducer) applyParametersToLambda(lambdaValue, args, accessors, reducer)
} }

23
packages/squiggle-lang/src/rescript/ReducerInterface/ReducerInterface_InternalExpressionValue.res
View File

@ -1,10 +1,9 @@
module ErrorValue = Reducer_ErrorValue module ErrorValue = Reducer_ErrorValue
module ExternalExpressionValue = ReducerInterface_ExternalExpressionValue
module Extra_Array = Reducer_Extra_Array module Extra_Array = Reducer_Extra_Array
type internalCode = ExternalExpressionValue.internalCode type internalCode = ReducerInterface_ExternalExpressionValue.internalCode
type environment = ExternalExpressionValue.environment type environment = ReducerInterface_ExternalExpressionValue.environment
let defaultEnvironment = ExternalExpressionValue.defaultEnvironment let defaultEnvironment = ReducerInterface_ExternalExpressionValue.defaultEnvironment
type rec t = type rec t =
| IEvArray(array<t>) // FIXME: Convert to MapInt | IEvArray(array<t>) // FIXME: Convert to MapInt
@ -39,19 +38,19 @@ type functionCall = (string, array<t>)
module Internal = { module Internal = {
module NameSpace = { module NameSpace = {
external castNameSpaceToHidden: nameSpace => ExternalExpressionValue.hiddenNameSpace = external castNameSpaceToHidden: nameSpace => ReducerInterface_ExternalExpressionValue.hiddenNameSpace =
"%identity" "%identity"
external castHiddenToNameSpace: ExternalExpressionValue.hiddenNameSpace => nameSpace = external castHiddenToNameSpace: ReducerInterface_ExternalExpressionValue.hiddenNameSpace => nameSpace =
"%identity" "%identity"
} }
module Lambda = { module Lambda = {
let toInternal = (v: ExternalExpressionValue.lambdaValue): lambdaValue => { let toInternal = (v: ReducerInterface_ExternalExpressionValue.lambdaValue): lambdaValue => {
let p = v.parameters let p = v.parameters
let c = v.context->NameSpace.castHiddenToNameSpace let c = v.context->NameSpace.castHiddenToNameSpace
let b = v.body let b = v.body
{parameters: p, context: c, body: b} {parameters: p, context: c, body: b}
} }
and toExternal = (v: lambdaValue): ExternalExpressionValue.lambdaValue => { and toExternal = (v: lambdaValue): ReducerInterface_ExternalExpressionValue.lambdaValue => {
let p = v.parameters let p = v.parameters
let c = v.context->NameSpace.castNameSpaceToHidden let c = v.context->NameSpace.castNameSpaceToHidden
let b = v.body let b = v.body
@ -146,7 +145,7 @@ let toStringResultOkless = (codeResult: result<t, ErrorValue.errorValue>): strin
let toStringResultRecord = x => let toStringResultRecord = x =>
switch x { switch x {
| Ok(a) => `Ok(${ExternalExpressionValue.toStringRecord(a)})` | Ok(a) => `Ok(${ReducerInterface_ExternalExpressionValue.toStringRecord(a)})`
| Error(m) => `Error(${ErrorValue.errorToString(m)})` | Error(m) => `Error(${ErrorValue.errorToString(m)})`
} }
@ -194,7 +193,7 @@ let valueToValueType = value =>
| IEvVoid => EvtVoid | IEvVoid => EvtVoid
} }
let externalValueToValueType = (value: ExternalExpressionValue.t) => let externalValueToValueType = (value: ReducerInterface_ExternalExpressionValue.t) =>
switch value { switch value {
| EvArray(_) => EvtArray | EvArray(_) => EvtArray
| EvArrayString(_) => EvtArrayString | EvArrayString(_) => EvtArrayString
@ -246,7 +245,7 @@ let functionCallSignatureToString = (functionCallSignature: functionCallSignatur
`${fn}(${args->Js.Array2.map(valueTypeToString)->Js.Array2.toString})` `${fn}(${args->Js.Array2.map(valueTypeToString)->Js.Array2.toString})`
} }
let rec toExternal = (iev: t): ExternalExpressionValue.t => { let rec toExternal = (iev: t): ReducerInterface_ExternalExpressionValue.t => {
switch iev { switch iev {
| IEvArray(v) => v->Belt.Array.map(e => toExternal(e))->EvArray | IEvArray(v) => v->Belt.Array.map(e => toExternal(e))->EvArray
| IEvArrayString(v) => EvArrayString(v) | IEvArrayString(v) => EvArrayString(v)
@ -281,7 +280,7 @@ and nameSpaceToTypeScriptBindings = (
Belt.Map.String.map(container, e => toExternal(e))->Belt.Map.String.toArray->Js.Dict.fromArray Belt.Map.String.map(container, e => toExternal(e))->Belt.Map.String.toArray->Js.Dict.fromArray
} }
let rec toInternal = (ev: ExternalExpressionValue.t): t => { let rec toInternal = (ev: ReducerInterface_ExternalExpressionValue.t): t => {
switch ev { switch ev {
| EvArray(v) => v->Belt.Array.map(e => toInternal(e))->IEvArray | EvArray(v) => v->Belt.Array.map(e => toInternal(e))->IEvArray
| EvArrayString(v) => IEvArrayString(v) | EvArrayString(v) => IEvArrayString(v)

2
packages/squiggle-lang/src/rescript/ReducerProject/ReducerProject.res
View File

@ -232,7 +232,7 @@ A project has a public field tag with a constant value "reducerProject"
project = {tag: "reducerProject"} project = {tag: "reducerProject"}
*/ */
@genType @genType
let createProject = (): t => Private.createProject()->T.Private.castFromInternalProject let createProject = (): reducerProject => Private.createProject()->T.Private.castFromInternalProject
/* /*
Answer all the source ids of all the sources in the project. Answer all the source ids of all the sources in the project.