tests · newt · Tangled

dunhamsteve.bsky.social / newt

Newt - a dependent typed programming language This is a mirror of the main github repository. newt.cloakedarrow.com

newt tests

1 folder · 92 files

Steve Dunham · update tests for pprint change · 3mo ago

update tests for pprint change

AutoInData.newt

[ fix ] solve autos in data declarations

add some missing files, clean up a little

BadAlt.newt.fail

Change FC end column to be one past the end

Improve error locations

BadImport.newt.fail

continue after import error, fix error order

check erasure when solving metas

Combinatory.newt

check erasure when solving metas

check erasure when solving metas

ConstraintErr.newt

better location on some constraint errors

ConstraintErr.newt.fail

update tests for pprint change

Fix stray skolem issue

check in test from dependent record fix

derive Show and Eq, improvements to LSP

Derive.newt.golden

derive Show and Eq, improvements to LSP

ability to run code and check output in tests

Initial LSP implementation/vscode support

Duplicate.newt.fail

Change FC end column to be one past the end

Check types at quantity 0

update tests for pprint change

Fix error in parser combinator

ErrMsg2.newt.fail

Change FC end column to be one past the end

Improve error locations

ErrorDup.newt.fail

continue after import error, fix error order

ForwardRecord.newt

fixes and changes for porting

ForwardRecord.newt.golden

fixes and changes for porting

Expand lets during typechecking, but keep for inlining.

IfType.newt.golden

Expand lets during typechecking, but keep for inlining.

ImportError.newt

derive Show and Eq, improvements to LSP

ImportError.newt.fail

continue after import error, fix error order

InferenceIssue.newt

try solving autos when a related constraint is added

check erasure when solving metas

fix parse issue for typed lamda arguments

fix issues in lazy support

Lazy.newt.golden

fix issues in lazy support

fix issues in lazy support

Lazy2.newt.fail

update tests for pprint change

ability to run code and check output in tests

LiftWhere didn't handle Force/Delay

LiftDelay.newt.golden

LiftWhere didn't handle Force/Delay

Fixes to parsing of lists vs tuples, dropping tuple sections for now.

ListSugar.newt.golden

LitConCase.newt

Add error when a constructor is used for a primitive argument.

LitConCase.newt.fail

Change FC end column to be one past the end

check in import loop test, remove dead code/comment

check in import loop test, remove dead code/comment

LowerPatVar.newt

Don't allow uppercase pattern variables

LowerPatVar.newt.fail

Don't allow uppercase pattern variables

Teach Enum/Nil/Cons/Succ/Zero magic about quantity

NatLike.newt.golden

Teach Enum/Nil/Cons/Succ/Zero magic about quantity

Teach Enum/Nil/Cons/Succ/Zero magic about quantity

NatMath.newt.golden

Teach Enum/Nil/Cons/Succ/Zero magic about quantity

Check types at quantity 0

NestedUpdate.newt

drop old record syntax

Fix LSP crash and tokenizer issue

Number.newt.golden

Fix LSP crash and tokenizer issue

check erasure when solving metas

minor improvements to pprint Tm in error messages

check impossible clauses

Possible.newt.fail

Change FC end column to be one past the end

Add the dependent printf example (and fix stuff to make it work)

don't postpone bad constructor matches

Postpone2.newt.fail

update tests for pprint change

[ libs ] move prelude file to src

Add the dependent printf example (and fix stuff to make it work)

Printf.newt.golden

Add the dependent printf example (and fix stuff to make it work)

Check types at quantity 0

QTcon.newt.fail

Check types at quantity 0

Surface erasure errors in editor, fix issue checking erasure after inlining

Quantity.newt.fail

checkpoint working newt3 build

[ libs ] add DecEq to Prelude

drop old record syntax

RUTest.newt.golden

operator sections

Section.newt.golden

operator sections

Check types at quantity 0

ability to run code and check output in tests

check erasure when solving metas

TestImport.newt

ability to run code and check output in tests

SortedMap uses any comparator

ability to run code and check output in tests

TrailDollar.newt

operator sections

check erasure when solving metas

[ unify ] unify literals correctly

Check types at quantity 0

derive Show and Eq, improvements to LSP

UnsafeIO.newt.golden

derive Show and Eq, improvements to LSP

no longer need manual solutions for these metas

check erasure when solving metas

Check types at quantity 0

check erasure when solving metas

check erasure when solving metas