dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
main
newt/tests
History
Steve Dunham 9bbc7208d7 Surface erasure errors in editor, fix issue checking erasure after inlining
2025-12-26 13:01:30 -08:00
..
aside
Surface erasure errors in editor, fix issue checking erasure after inlining
2025-12-26 13:01:30 -08:00
Data
SortedMap uses any comparator
2025-09-01 15:48:20 -07:00
AutoInData.newt
[ fix ] solve autos in data declarations
2025-07-26 08:09:46 -07:00
BadAlt.newt
add some missing files, clean up a little
2025-11-10 22:28:32 -08:00
BadAlt.newt.fail
Change Show FC format to match vscode's expectation
2025-10-11 21:47:34 -07:00
CaseEval.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
Combinatory.newt
Update Combinatory.newt, fix parse error
2025-11-15 14:18:12 -08:00
Concat.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
DupImport.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
Duplicate.newt
add some missing files, clean up a little
2025-11-10 22:28:32 -08:00
Duplicate.newt.fail
add some missing files, clean up a little
2025-11-10 22:28:32 -08:00
Equality.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
ForwardRecord.newt
fixes and changes for porting
2025-01-01 20:21:07 -08:00
ForwardRecord.newt.golden
fixes and changes for porting
2025-01-01 20:21:07 -08:00
InferenceIssue.newt
try solving autos when a related constraint is added
2025-01-02 22:44:17 -08:00
Let.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
LitConCase.newt
Add error when a constructor is used for a primitive argument.
2025-10-06 15:21:54 -07:00
LitConCase.newt.fail
Change Show FC format to match vscode's expectation
2025-10-11 21:47:34 -07:00
Neighbors.newt
[ libs ] add DecEq to Prelude
2025-07-27 15:02:49 -07:00
Oper.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
Possible.newt
check impossible clauses
2025-11-14 21:45:19 -08:00
Possible.newt.fail
Change Show for List to include brackets
2025-12-08 08:25:01 -08:00
Prelude.newt
[ libs ] move prelude file to src
2025-07-27 15:02:53 -07:00
Quantity.newt
Surface erasure errors in editor, fix issue checking erasure after inlining
2025-12-26 13:01:30 -08:00
Quantity.newt.fail
Surface erasure errors in editor, fix issue checking erasure after inlining
2025-12-26 13:01:30 -08:00
RunLength.newt
[ libs ] add DecEq to Prelude
2025-07-27 15:02:49 -07:00
RUTest.newt
record update syntax
2025-04-19 20:11:07 -07:00
RUTest.newt.golden
misc cleanup
2025-04-22 20:30:29 -07:00
TestCase2.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
TestCase3.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
TestCase4.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
TestCase5.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
TestCase.newt
misc cleanup
2025-04-22 20:30:29 -07:00
TestImport.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
TestMap.newt
SortedMap uses any comparator
2025-09-01 15:48:20 -07:00
TestPrim.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
Tree.newt
Updates to highlighting in playground
2025-11-05 09:02:32 -08:00
TypeClass.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
UnifyLit.newt
[ unify ] unify literals correctly
2025-07-26 08:07:48 -07:00
Zoo1.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
Zoo2eg.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
Zoo3eg.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
Zoo4eg.newt
remove a Text.Parser dependency (about 10%), and alternate tokenizer
2024-12-28 21:51:55 -08:00