summaryrefslogtreecommitdiff
path: root/dhall/src/phase/typecheck.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-09ExprF need not be generic in LabelNadrieril1-2/+1
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-2/+11
2019-05-09Detect duplicate record fields in typecheckNadrieril1-30/+33
2019-05-09Update dhall-lang submoduleNadrieril1-2/+14
2019-05-08Typecheck record projectionNadrieril1-7/+30
2019-05-08Typecheck mergeNadrieril1-12/+87
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-52/+93
2019-05-07Slight improvement to typecheck ergonomicsNadrieril1-59/+28
2019-05-07Unify typecheck and normalization contextsNadrieril1-2/+2
2019-05-07Promote shift and subst_shift to traitsNadrieril1-0/+1
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril1-3/+3
2019-05-07Unify Type, TypeInternal and TypedNadrieril1-21/+7
2019-05-06Move main datatypes into their own modulesNadrieril1-208/+137
2019-05-06Consolidate errors in the error moduleNadrieril1-103/+11
2019-05-06Reorganize dhall into a phase structureNadrieril1-137/+20
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-09 00:56:46 +0000