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

resolve PR786

Browse Source
This commit is contained in:
Umur Ozkul 2022-07-05 00:57:11 +02:00
parent 308601b358
commit c0329dc73d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/squiggle-lang/src/rescript/Reducer/Reducer_Type/Reducer_Type_TypeChecker.res
View File

@ -1,5 +1,3 @@
//TODO: Work in progress. Code is commented to make an a release of other features
module ExpressionT = Reducer_Expression_T module ExpressionT = Reducer_Expression_T
module InternalExpressionValue = ReducerInterface_InternalExpressionValue module InternalExpressionValue = ReducerInterface_InternalExpressionValue
module T = Reducer_Type_T module T = Reducer_Type_T
@ -42,6 +40,7 @@ let rec isOfResolvedIType = (anIType: T.iType, aValue): result<bool, typeErrorVa
switch anIType { switch anIType {
| ItTypeIdentifier(name) => caseTypeIdentifier(name, aValue) | ItTypeIdentifier(name) => caseTypeIdentifier(name, aValue)
// TODO: Work in progress. Code is commented to make an a release of other features
// | ItModifiedType({modifiedType: anIType}) => raise(Reducer_Exception.ImpossibleException) // | ItModifiedType({modifiedType: anIType}) => raise(Reducer_Exception.ImpossibleException)
// | ItTypeOr({typeOr: anITypeArray}) => raise(Reducer_Exception.ImpossibleException) // | ItTypeOr({typeOr: anITypeArray}) => raise(Reducer_Exception.ImpossibleException)
// | ItTypeFunction({inputs: anITypeArray, output: anIType}) => // | ItTypeFunction({inputs: anITypeArray, output: anIType}) =>
@ -56,6 +55,7 @@ let rec isOfResolvedIType = (anIType: T.iType, aValue): result<bool, typeErrorVa
let isOfResolvedType = (aType: InternalExpressionValue.t, aValue): result<bool, typeErrorValue> => let isOfResolvedType = (aType: InternalExpressionValue.t, aValue): result<bool, typeErrorValue> =>
aType->T.fromIEvValue->isOfResolvedIType(aValue) aType->T.fromIEvValue->isOfResolvedIType(aValue)
// TODO: Work in progress. Code is commented to make an a release of other features
// let checkArguments = ( // let checkArguments = (
// evFunctionType: InternalExpressionValue.t, // evFunctionType: InternalExpressionValue.t,
// args: array<InternalExpressionValue.t>, // args: array<InternalExpressionValue.t>,