summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-07Slight improvement to typecheck ergonomicsNadrieril1-59/+28
2019-05-07Unify typecheck and normalization contextsNadrieril5-76/+115
2019-05-07Promote shift and subst_shift to traitsNadrieril7-115/+161
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril6-106/+112
2019-05-07Small mistakeNadrieril2-2/+4
2019-05-07Document Value and ThunkNadrieril2-8/+21
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril3-6/+6
2019-05-07Unify Type, TypeInternal and TypedNadrieril3-117/+43
2019-05-07Fix deriveNadrieril2-1/+3
2019-05-06Move main datatypes into their own modulesNadrieril10-1199/+1217
2019-05-06Move api-related modules into an api moduleNadrieril7-38/+41
2019-05-06Consolidate errors in the error moduleNadrieril42-188/+196
2019-05-06Reorganize dhall into a phase structureNadrieril15-477/+499
2019-05-06Merge TypedInternal and TypedNadrieril4-75/+34
2019-05-05Remove mainNadrieril1-93/+0
2019-05-05s/DoubleVar/AlphaVar/Nadrieril3-44/+44
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"Nadrieril7-102/+85
2019-05-04Make SubExpr generic in the variable labels typeNadrieril7-85/+102
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 lifetimesNadrieril8-268/+203
2019-05-04rustfmtNadrieril4-4/+4
2019-05-04Rename dhall_generator to dhall_proc_macrosNadrieril6-13/+13
2019-05-04Rename dhall_core to dhall_syntaxNadrieril11-33/+33
2019-05-03No need for extra stack in tests anymoreNadrieril2-13/+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