summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
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-equivalenceNadrieril3-21/+99
2019-05-05Use alpha-normalization in equivalence checkingNadrieril1-80/+2
2019-05-05Implement alpha-normalizationNadrieril4-69/+194
2019-05-04Clarify match_vars implementationNadrieril1-12/+12
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"Nadrieril6-100/+83
2019-05-04Make SubExpr generic in the variable labels typeNadrieril6-83/+100
2019-05-04Keep Spans through normalization and typecheckingNadrieril3-36/+39
2019-05-04Thread Spans through the ASTNadrieril1-1/+1
2019-05-04Move `Note`s into the spine of the ASTNadrieril2-9/+5
2019-05-04Remove dummy lifetimesNadrieril7-267/+202
2019-05-04rustfmtNadrieril3-3/+3
2019-05-04Rename dhall_generator to dhall_proc_macrosNadrieril4-4/+4
2019-05-04Rename dhall_core to dhall_syntaxNadrieril9-31/+31
2019-05-03No need for extra stack in tests anymoreNadrieril1-12/+6
2019-05-03Remove some deprecated functionsNadrieril3-124/+30
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_mutNadrieril2-20/+37
2019-05-02Update dhall-lang submoduleNadrieril1-0/+1
2019-05-02Update normalization testsNadrieril1-11/+12
2019-05-02Update dhall-lang submoduleNadrieril1-16/+25
2019-05-02Update dhall-lang submoduleNadrieril1-1/+1
2019-05-02Typecheck text interpolationNadrieril1-3/+16
2019-05-02Typecheck missing builtin casesNadrieril1-29/+47
2019-05-02Remove shift0Nadrieril2-32/+26
2019-05-02Instead of possibly nonexistent Type, treat Sort speciallyNadrieril7-242/+282
2019-05-02Store Thunk in NormalizedNadrieril5-41/+44
2019-05-02TweaksNadrieril3-76/+78
2019-04-30Remove now useless TypedOrType typeNadrieril1-86/+34
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 thunksNadrieril2-36/+51
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 necessaryNadrieril2-37/+62
2019-04-30Pass references when possibleNadrieril3-90/+121
2019-04-30Merge Typed and PartiallyNormalizedNadrieril3-124/+94
2019-04-30Store a Thunk in TypedNadrieril4-40/+22
2019-04-30Store thunks in the normalization contextNadrieril1-12/+13
2019-04-30Store thunks behind Rc<RefCell<_>> to ensure minimal computationNadrieril2-81/+160
2019-04-29Remove NF/WHNF distinction at runtimeNadrieril3-100/+79
2019-04-29Make NF and WHNF custom types instead of aliasesNadrieril1-3/+5
2019-04-29Don't shift by mutable refNadrieril1-93/+106
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 23:33:12 +0000