From c0329dc73d231cefc26797e50d9e5c868efe3eb9 Mon Sep 17 00:00:00 2001 From: Umur Ozkul Date: Tue, 5 Jul 2022 00:57:11 +0200 Subject: [PATCH] resolve PR786 --- .../Reducer/Reducer_Type/Reducer_Type_TypeChecker.res | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/squiggle-lang/src/rescript/Reducer/Reducer_Type/Reducer_Type_TypeChecker.res b/packages/squiggle-lang/src/rescript/Reducer/Reducer_Type/Reducer_Type_TypeChecker.res index b76ba357..18cb804a 100644 --- a/packages/squiggle-lang/src/rescript/Reducer/Reducer_Type/Reducer_Type_TypeChecker.res +++ b/packages/squiggle-lang/src/rescript/Reducer/Reducer_Type/Reducer_Type_TypeChecker.res @@ -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 InternalExpressionValue = ReducerInterface_InternalExpressionValue module T = Reducer_Type_T @@ -42,6 +40,7 @@ let rec isOfResolvedIType = (anIType: T.iType, aValue): result 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) // | ItTypeOr({typeOr: anITypeArray}) => raise(Reducer_Exception.ImpossibleException) // | ItTypeFunction({inputs: anITypeArray, output: anIType}) => @@ -56,6 +55,7 @@ let rec isOfResolvedIType = (anIType: T.iType, aValue): result => aType->T.fromIEvValue->isOfResolvedIType(aValue) +// TODO: Work in progress. Code is commented to make an a release of other features // let checkArguments = ( // evFunctionType: InternalExpressionValue.t, // args: array,