jbwdevries/phasm
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Type fix

Browse Source
This commit is contained in:
Johan B.W. de Vries 2023-04-11 09:52:27 +02:00
parent 959b643542
commit 7ec273a732
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
phasm/type3/types.py
View File

@ -154,7 +154,7 @@ class AppliedType3(Type3):
"""
__slots__ = ('base', 'args', )
base: PrimitiveType3
base: Union[PrimitiveType3, MonadType3]
"""
The base type
"""
@ -164,7 +164,7 @@ class AppliedType3(Type3):
The applied types (or placeholders there for)
"""
def __init__(self, base: PrimitiveType3, args: Iterable[Type3OrPlaceholder]) -> None:
def __init__(self, base: Union[PrimitiveType3, MonadType3], args: Iterable[Type3OrPlaceholder]) -> None:
args = [*args]
assert args, 'Must at least one argument'