summaryrefslogtreecommitdiff
path: root/dhall/src/phase/normalize.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-09Make visibilities more consistentNadrieril1-10/+7
2019-05-09ExprF need not be generic in LabelNadrieril1-5/+4
2019-05-09Detect duplicate record fields in typecheckNadrieril1-9/+9
2019-05-09Generate normalization tests automaticallyNadrieril1-361/+0
2019-05-09Correctly shift free variables in normalizationNadrieril1-1/+1
2019-05-09Update dhall-lang submoduleNadrieril1-13/+23
2019-05-08Move binop normalization into a separate functionNadrieril1-165/+153
2019-05-08Implement normalization for record merging operatorsNadrieril1-21/+110
2019-05-08Implement normalization of missing builtinsNadrieril1-21/+68
2019-05-07Promote shift and subst_shift to traitsNadrieril1-0/+1
2019-05-07Small mistakeNadrieril1-1/+3
2019-05-06Move main datatypes into their own modulesNadrieril1-984/+15
2019-05-06Reorganize dhall into a phase structureNadrieril1-29/+8
2019-05-06Merge TypedInternal and TypedNadrieril1-21/+5
2019-05-05s/DoubleVar/AlphaVar/Nadrieril1-33/+33
2019-05-05Implement normalization simplificationsNadrieril1-10/+15
2019-05-05Preserve text WHNF on concatenationNadrieril1-9/+9
2019-05-05WHNF for TextLit means no interpolations of text and strict alternationNadrieril1-41/+63
2019-05-05Fix Integer equalityNadrieril1-4/+5
2019-05-05Make Value equality be alpha-equivalenceNadrieril1-13/+86
2019-05-05Implement alpha-normalizationNadrieril1-51/+163
2019-05-04subst_shift now correctly preserves WHNFNadrieril1-26/+24
2019-05-04We actually don't need SubExpr::shift anymoreNadrieril1-4/+5
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-26/+22
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-22/+26
2019-05-04Keep Spans through normalization and typecheckingNadrieril1-7/+7
2019-05-04Move `Note`s into the spine of the ASTNadrieril1-8/+4
2019-05-04Remove dummy lifetimesNadrieril1-35/+15
2019-05-04rustfmtNadrieril1-1/+1
2019-05-04Rename dhall_generator to dhall_proc_macrosNadrieril1-1/+1
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-4/+4
2019-05-03Remove some deprecated functionsNadrieril1-120/+26
2019-05-03Rework normalization to reduce expensive Value copyingNadrieril1-457/+494
2019-05-03Apply builtin arguments lazilyNadrieril1-143/+165
2019-05-03Avoid unnecessary RefCell::borrow_mutNadrieril1-6/+33
2019-05-02Update normalization testsNadrieril1-11/+12
2019-05-02Update dhall-lang submoduleNadrieril1-16/+25
2019-05-02Remove shift0Nadrieril1-18/+21
2019-05-02Instead of possibly nonexistent Type, treat Sort speciallyNadrieril1-25/+25
2019-05-02Store Thunk in NormalizedNadrieril1-5/+10
2019-05-02TweaksNadrieril1-45/+39
2019-04-30Fix NF tracking errorNadrieril1-2/+3
2019-04-30Fix shifting. This completely destroys sharing so performance is dead.Nadrieril1-3/+7
2019-04-30Lazily process unnormalizable expressionNadrieril1-9/+36
2019-04-30Avoid some rewrapping of thunksNadrieril1-34/+49
2019-04-30Mutate thunk contents directly if sole ownerNadrieril1-2/+8
2019-04-30Normalize mutablyNadrieril1-30/+120
2019-04-30Don't borrow from thunk more than necessaryNadrieril1-0/+4
2019-04-30Pass references when possibleNadrieril1-64/+87
2019-04-30Merge Typed and PartiallyNormalizedNadrieril1-42/+32
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 21:45:50 +0000