summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-06Reorganize dhall into a phase structureNadrieril1-1393/+0
2019-05-06Merge TypedInternal and TypedNadrieril1-9/+0
2019-05-05s/DoubleVar/AlphaVar/Nadrieril1-8/+8
2019-05-05Make Value equality be alpha-equivalenceNadrieril1-7/+4
2019-05-05Use alpha-normalization in equivalence checkingNadrieril1-80/+2
2019-05-05Implement alpha-normalizationNadrieril1-9/+11
2019-05-04Clarify match_vars implementationNadrieril1-12/+12
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-34/+31
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-31/+34
2019-05-04Keep Spans through normalization and typecheckingNadrieril1-25/+29
2019-05-04Thread Spans through the ASTNadrieril1-1/+1
2019-05-04Move `Note`s into the spine of the ASTNadrieril1-1/+1
2019-05-04Remove dummy lifetimesNadrieril1-93/+74
2019-05-04rustfmtNadrieril1-1/+1
2019-05-04Rename dhall_generator to dhall_proc_macrosNadrieril1-1/+1
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-14/+14
2019-05-03Remove some deprecated functionsNadrieril1-1/+1
2019-05-03Avoid unnecessary RefCell::borrow_mutNadrieril1-14/+4
2019-05-02Update dhall-lang submoduleNadrieril1-0/+1
2019-05-02Typecheck text interpolationNadrieril1-3/+16
2019-05-02Typecheck missing builtin casesNadrieril1-29/+47
2019-05-02Remove shift0Nadrieril1-14/+5
2019-05-02Instead of possibly nonexistent Type, treat Sort speciallyNadrieril1-156/+117
2019-05-02Store Thunk in NormalizedNadrieril1-21/+5
2019-05-02TweaksNadrieril1-30/+38
2019-04-30Remove now useless TypedOrType typeNadrieril1-86/+34
2019-04-30Avoid some rewrapping of thunksNadrieril1-2/+2
2019-04-30Don't borrow from thunk more than necessaryNadrieril1-37/+58
2019-04-30Pass references when possibleNadrieril1-26/+33
2019-04-30Merge Typed and PartiallyNormalizedNadrieril1-75/+62
2019-04-30Store a Thunk in TypedNadrieril1-6/+11
2019-04-30Store thunks behind Rc<RefCell<_>> to ensure minimal computationNadrieril1-4/+1
2019-04-29Remove NF/WHNF distinction at runtimeNadrieril1-6/+6
2019-04-29Allow representing normal form as a semantic valueNadrieril1-22/+27
2019-04-29Don't need to store original expression in TypeErrorNadrieril1-48/+14
2019-04-29Properly substitute when typing AppNadrieril1-45/+45
2019-04-28Use PartiallyNormalized throughout typecheckingNadrieril1-86/+87
2019-04-27Move Pi to WHNFNadrieril1-36/+41
2019-04-27BuiltinsNadrieril1-15/+11
2019-04-27Replace TypeInternal::UnionType with WHNF::UnionTypeNadrieril1-23/+23
2019-04-27Replace TypeInternal::RecordType with WHNF::RecordTypeNadrieril1-28/+51
2019-04-27Rework TypeInternalNadrieril1-83/+72
2019-04-26Lists and OptionalsNadrieril1-42/+94
2019-04-26ensure_is_const is not that helpfulNadrieril1-59/+35
2019-04-26Union typesNadrieril1-66/+117
2019-04-25Fix shifting againNadrieril1-13/+9
2019-04-25Now I can use TypeInternal::RecordType fullyNadrieril1-11/+10
2019-04-25Revert "Try property testing against reference implementation"Nadrieril1-133/+0
2019-04-25Try property testing against reference implementationNadrieril1-0/+133
2019-04-25Correctly shift values before inserting into contextNadrieril1-4/+7
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 16:27:16 +0000