Cannot deduce type for from b in [SOME true, NONE]
#203
Comments
julianhyde
added a commit
to julianhyde/morel
that referenced
this issue
Nov 4, 2023
Type should be 'bool option list', but we get a type inconsistency during translation. To fix it, we needed to improve how type variables are substituted into type schemes like "'a option" and "'a list". Remove class AppliedDataType, class ApplyType, class DataTypeDef (merging its functionality into Keys.DataTypeKey), remove interface Transaction and class TemporaryType (and simplify the process of creating datatype instances); remove field DataTypeKey.parameterCount. Fix typo: 'short-hand' should be 'shorthand' Convert Type.Key into an abstract class, and replace Key.moniker() with Key.toString(). Fixes hydromatic#203
julianhyde
added a commit
to julianhyde/morel
that referenced
this issue
Nov 4, 2023
Type should be 'bool option list', but we get a type inconsistency during translation. To fix it, we needed to improve how type variables are substituted into type schemes like "'a option" and "'a list". Remove class AppliedDataType, class ApplyType, class DataTypeDef (merging its functionality into Keys.DataTypeKey), remove interface Transaction and class TemporaryType (and simplify the process of creating datatype instances); remove field DataTypeKey.parameterCount. Fix typo: 'short-hand' should be 'shorthand' Add shortcut method, 'String Static.str(StringBuilder)', to get the contents of a StringBuilder and clear it. Convert Type.Key into an abstract class, and replace Key.moniker() with Key.toString(). Fixes hydromatic#203
julianhyde
added a commit
to julianhyde/morel
that referenced
this issue
Nov 7, 2023
Type should be 'bool option list', but we get a type inconsistency during translation. To fix it, we needed to improve how type variables are substituted into type schemes like "'a option" and "'a list". Remove class AppliedDataType, class ApplyType, class DataTypeDef (merging its functionality into Keys.DataTypeKey), remove interface Transaction and class TemporaryType (and simplify the process of creating datatype instances); remove field DataTypeKey.parameterCount. Fix typo: 'short-hand' should be 'shorthand' Add shortcut method, 'String Static.str(StringBuilder)', to get the contents of a StringBuilder and clear it. Convert Type.Key into an abstract class, and replace Key.moniker() with Key.toString(). Fixes hydromatic#203
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Cannot deduce type for the following expression:
The expression should have type
bool option list, but Morel has trouble applying a parameterized type (list) to a parameterized type (option).The text was updated successfully, but these errors were encountered: