dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
main
newt/tests
History
Steve Dunham babbd01975 Fix LSP crash and tokenizer issue
2026-03-27 20:21:57 -07:00
..
aside
Fix LSP slowness, improve error messages
2026-02-23 20:48:25 -08: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 FC end column to be one past the end
2026-02-18 10:39:56 -08:00
BadImport.newt
Improve error locations
2026-02-07 16:55:33 -08:00
BadImport.newt.fail
continue after import error, fix error order
2026-02-24 22:25:16 -08: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
Data
Fix stray skolem issue
2026-01-31 12:49:39 -08:00
DepRecord.newt
check in test from dependent record fix
2026-01-23 08:53:49 -08:00
Derive.newt
derive Show and Eq, improvements to LSP
2026-02-24 20:14:30 -08:00
Derive.newt.golden
derive Show and Eq, improvements to LSP
2026-02-24 20:14:30 -08:00
DupImport.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
Duplicate.newt
Initial LSP implementation/vscode support
2026-02-12 20:26:15 -08:00
Duplicate.newt.fail
Change FC end column to be one past the end
2026-02-18 10:39:56 -08:00
Equality.newt
ability to run code and check output in tests
2024-12-28 13:19:15 -08:00
ErrMsg2.newt
Fix error in parser combinator
2026-01-18 22:03:34 -08:00
ErrMsg2.newt.fail
Change FC end column to be one past the end
2026-02-18 10:39:56 -08:00
ErrorDup.newt
Improve error locations
2026-02-07 16:55:33 -08:00
ErrorDup.newt.fail
continue after import error, fix error order
2026-02-24 22:25:16 -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
ImportError.newt
derive Show and Eq, improvements to LSP
2026-02-24 20:14:30 -08:00
ImportError.newt.fail
continue after import error, fix error order
2026-02-24 22:25:16 -08:00
InferenceIssue.newt
try solving autos when a related constraint is added
2025-01-02 22:44:17 -08:00
LambdaArg.newt
fix parse issue for typed lamda arguments
2026-02-27 20:45:01 -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 FC end column to be one past the end
2026-02-18 10:39:56 -08:00
Loop.newt
check in import loop test, remove dead code/comment
2026-02-11 20:09:12 -08:00
Loop.newt.fail
check in import loop test, remove dead code/comment
2026-02-11 20:09:12 -08:00
LowerPatVar.newt
Don't allow uppercase pattern variables
2026-02-20 18:44:47 -08:00
LowerPatVar.newt.fail
Don't allow uppercase pattern variables
2026-02-20 18:44:47 -08:00
Neighbors.newt
[ libs ] add DecEq to Prelude
2025-07-27 15:02:49 -07:00
NestedUpdate.newt
improvements to type checking of record updates
2026-02-15 21:38:44 -08:00
Number.newt
Fix LSP crash and tokenizer issue
2026-03-27 20:21:57 -07:00
Number.newt.golden
Fix LSP crash and tokenizer issue
2026-03-27 20:21:57 -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 FC end column to be one past the end
2026-02-18 10:39:56 -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
Change FC end column to be one past the end
2026-02-18 10:39:56 -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
Section.newt
operator sections
2026-01-31 13:21:23 -08:00
Section.newt.golden
operator sections
2026-01-31 13:21:23 -08: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
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
TrailDollar.newt
operator sections
2026-01-31 13:21:23 -08:00
Tree.newt
Remove some ambiguities in parsing
2026-03-06 21:41:26 -08:00
UnifyLit.newt
[ unify ] unify literals correctly
2025-07-26 08:07:48 -07:00
UnifyPi.newt
Postpone non-linear solutions
2026-01-23 08:49:30 -08:00
UnsafeIO.newt
derive Show and Eq, improvements to LSP
2026-02-24 20:14:30 -08:00
UnsafeIO.newt.golden
derive Show and Eq, improvements to LSP
2026-02-24 20:14:30 -08:00
WellTyped.newt
Fix stray skolem issue
2026-01-31 12:49:39 -08: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