chalk-derive

22 November 2020

• Fix boats' coherence talk link in the book #654
• Introduce Visitor::BreakTy #651
• Hyperlink protocol changed: HTTP -> HTTPS (#1) #652
• Hyperlink protocol changed: HTTP -> HTTPS #1

15 November 2020

• Bump version to 0.39.0-dev.0 #653
• Clauses cleanup #638
• Variance #609
• Fix "var_universe invoked on bound variable" crash #649
• Add empty and erased regions #650
• Use ControlFlow in Visitor #645
• Remove TargetInterner #648
• Make max goal size for recursive solver configurable #647

1 November 2020

• Program printer: Use Debug to print concrete consts #641

29 October 2020

• Replace bound lifetime variables with inference variables in AntiUnifier #640

25 October 2020

• Fix glossary links #635
• rewrite parts concerning typename, fix links #634
• Document notation #630
• Format parse errors better #632
• Remove TypeName and merge into TyKind #629
• Rename TyData to TyKind #628

18 October 2020

• Handle cached answers correctly in any_future_answer #626
• Don't add wf clauses for function args #625

11 October 2020

7 October 2020

• Don't panic on unimplemented types for auto traits #622
• Update book and add coherence chapter #623
• Fix mdbook links after chalk-engine changes #620
• Parse opaque types without bounds #619

4 October 2020

• Add static lifetime #617
• Support fundamental types with multiple type parameters #616
• Remove Context trait from chalk-engine #611
• Implement generators #593

28 September 2020

• Fix assertion failure during recursive solving #613

27 September 2020

20 September 2020

• Add CoerceUnsized builtin rules #607
• Extend push_auto_trait_impl to built-in types #612
• fix debug print of pointer types #608

13 September 2020

• More lowering improvements #606
• Extend well-known traits by Unpin #603
• Simplify lowering #602

6 September 2020

• Extern types #601
• Check well-formedness of opaque type declarations #579
• Refactor FnPointer and FnDef #599
• document opaque types #559
• Fix links in chalk book #600
• Properly unify consts with vars #598

30 August 2020

• Guard against infinite loop in recursive solver #569

23 August 2020

16 August 2020

• Update dependencies #594

9 August 2020

• Turn a few generics into dynamic dispatch. #592

4 August 2020

• Handle well known traits for more types #591
• .chalk syntax writer: Fix name de-duplication bug #585

2 August 2020

• Don't ever consider cycles until we've started accepting ambiguous answers #588
• Upgrade salsa #581
• Add default RustIrDatabase::*_name impls #575

26 July 2020

• Fix clippy warnings #577
• Refactor and flesh out Fn pointers #573
• Create single Github actions job to gate bors on #582
• Remove force_impl_for from RustIrDatabase #583
• Don't fail CI if only nightly fails #580
• Add workflow_dispatch for manual publish #578
• Support where clauses on opaque types #563
• Upgrade everything except Salsa #576

19 July 2020

• Only generate clauses requiring Compatible when it is in the environment #566
• Cleanup & comment .chalk file writer tests #570

12 July 2020

• Add readme for chalk-recursive #572
• Don't flounder on int/float vars #555
• Fix associated type bindings in dyn types #567
• Remove unit fields from enum variants #565
• Fix links in chalk book #564
• Separate recursive solver #546
• Upgrade dependencies (incl. Salsa) #553

5 July 2020

• Cleanup comments in syntax writer #558
• Further reduce interned type boilerplate #554
• Allow printing lifetime placeholders #557
• Support for ADTs #524
• Add type outlives goal #551
• Incorporate region constraints into program clauses #543
• Feature gate heavy tracing dependencies #549
• Cleanup function names in chalk-ir #545
• Use tracing-tree for logging / clean up debug output #544
• Fix coherence issue with associated types in generic bound #538
• .chalk file syntax writer #430

28 June 2020

• Fix built-in Fn impls when generics are involved #541
• Add method to get repr data of an ADT to ChalkDatabase #523
• Add more Copy implementations #539
• Refactor LifetimeOutlives goals to produce AddRegionConstraint subgoals #527
• Document all public items in chalk-ir #536
• Typo in book #537
• Support logs in lowering tests #535

21 June 2020

• Change README to be more clear #534
• Ignore auto traits order #531
• Add closures #519
• Introduce Tracing into Chalk (Third Time's the Charm) #525
• Ucanonicalization fix #529
• Fix recursive solver completeness example to correctly fail #528

14 June 2020

• Refactor ProgramClauseData to remove Implies variant #514
• new version: 0.13.0-dev.0 #522
• Recursive solver factoring and privacy #513
• complete wf checks for Copy impls #503
• Model function ABI in the Rust IR #481
• add Unsize trait implementation #427
• add phantom_data adt flag #502
• Add FnOnce trait, and provide impl for Function type #494
• remove IntoIterator impl for &Binders #501
• Use pretty_assertions crate when comparing expected and actual output #495
• Fix typo in Implied Bounds book chapter #497
• rename WellKnownTrait::<TraitName>Trait to WellKnownTrait::<TraitName> #500
• Fix link to Minimums in recursive solver documentation #493
• Refactor the recursive solver a bit #487
• Add binders around inputs/outputs for FnDefDatum #489
• add lifetimes to trait objects #492
• update example trait name #490
• words #491
• document recursive solver #488

2 June 2020

• Update publish.yml #485
• Update publish.yml #484
• Get ready for the first publish #483
• Correct mistake in publishing #482
• Add lifetime outlives goal #451
• Added scheduled release workflow #461
• Actually fix tests #480
• Remove chalk-base #479
• Add function def clauses #477
• Include more guidance in ambiguous results #433
• Request hidden opaque types lazily #478
• Integer and float variable kinds #470
• Fix solving <impl Trait as Trait>::AssocType #473
• Generate auto trait clauses for opaque type goals #468
• Remove unused StackIndex from chalk-engine. #474
• Use chain and filter instead of extending a vec in program_clauses_fo… #476
• Make chalk-engine depend on chalk-ir #472
• Add array types to TypeName #467
• Fix references to chalk_rust_ir #471
• Cleanup crate structure and add features for SLG/recursive solvers #459
• Check for trivial cycles in persue_answer #469
• Add never type to TypeName #466
• Opaque Type Generics #464
• Issue260 #462
• Handle bound vars in builtin trait impls #463
• Fix broken link #465
• const generics support #393
• Add FnDef to TypeName #449
• Rename struct types to ADT types and introduce new interned ADT ID #454
• refactor Parameter into GenericArg #455
• Bump most dependency crate version. #458
• Make lowering failure tests less fragile #448
• Fix overeager cycle detection in dyn impl clause generation #446
• Upgrade book linkcheck warnings to errors #450
• Add the str type #441
• Mutable references should not be Copy/Clone #447
• Add ObjectSafe goal and flag #445
• Add slice type to TypeName #443
• Add reference types to TypeName #444
• Add raw pointers to TypeName #442
• Fix outdated dev guide links #436
• add WellKnownTraits chapter to the book #428
• Add publishing steps to book #422
• Replace lalrpop-intern with string_cache #432
• Make dyn Trait implement its super traits as well #415
• convert from lifetime equality constraints to outlives constraints #419
• Fix broken links in "What is Chalk?" and "Walkthrough" #426
• Fix mdBook plugins not loading in CI #424
• Release 0.10.0 #421

<!-- auto-changelog-above -->

30 April 2020

• Too many changes to list