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

Cleanup todo

Browse Source
This commit is contained in:
Johan B.W. de Vries 2025-05-21 19:01:15 +02:00
parent b48260ccfa
commit fdaa680572
2 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
TODO.md
View File

@ -22,14 +22,10 @@
- Surely the compiler should build data blocks - Surely the compiler should build data blocks
- Also put the struct.pack constants in TYPE_INFO_MAP - Also put the struct.pack constants in TYPE_INFO_MAP
- Make prelude more an actual thing - Make prelude more an actual thing
- Merge in compiler.INSTANCES
- Make it less build in - have a environment class of some kind - Make it less build in - have a environment class of some kind
- instance_type_class should probably be part of this environment
- Implemented Bounded: https://hackage.haskell.org/package/base-4.21.0.0/docs/Prelude.html#t:Bounded - Implemented Bounded: https://hackage.haskell.org/package/base-4.21.0.0/docs/Prelude.html#t:Bounded
- Try to implement the min and max functions using select - Try to implement the min and max functions using select
- Filter out methods that aren't used; other the other way around (easier?) only add __ methods when needed - Filter out methods that aren't used; other the other way around (easier?) only add __ methods when needed
- Move foldr into type class methods
- Functions don't seem to be a thing on typing level yet?
- Related to the FIXME in phasm_type3?
- Type constuctor should also be able to constuct placeholders - somehow.
- Read https://bytecodealliance.org/articles/multi-value-all-the-wasm - Read https://bytecodealliance.org/articles/multi-value-all-the-wasm

1
phasm/type3/entry.py
View File

@ -112,7 +112,6 @@ def phasm_type3(inp: ourlang.Module, verbose: bool = False) -> None:
if error_list: if error_list:
raise Type3Exception(error_list) raise Type3Exception(error_list)
# FIXME: This doesn't work with e.g. `:: [a] -> a`, as the placeholder is inside a type
for plh, typ in placeholder_substitutes.items(): for plh, typ in placeholder_substitutes.items():
for expr in plh.update_on_substitution: for expr in plh.update_on_substitution:
expr.type3 = typ expr.type3 = typ