summaryrefslogtreecommitdiff
path: root/dhall/src/semantics (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-05Implement conservative sanity checkingNadrieril2-56/+76
2020-03-05Cache imports correctlyNadrieril2-19/+19
2020-03-05Implement remote imports and cleanup import chainingNadrieril2-81/+139
2020-03-05Implement remote `as Location` resolutionNadrieril1-1/+12
2020-03-05Implement `as Text` importsNadrieril2-4/+22
2020-03-05Refactor resolve a bitNadrieril1-80/+76
2020-03-05Implement `missing` and `env:VAR` importsNadrieril1-8/+16
2020-03-05Implement `as Location` importsNadrieril2-30/+102
2020-03-05Implement some normalization simplificationsNadrieril1-76/+80
2020-03-02Normalization for ProjectionByExprBasile Henry1-3/+34
2020-02-19Expose fewer pub thingsNadrieril1-2/+5
2020-02-19Avoid re-typechecking after importNadrieril5-14/+23
2020-02-18Discard import headers while we don't use themNadrieril2-11/+8
2020-02-18Remove useless `normalize` option from ToExprOptionsNadrieril2-11/+2
2020-02-18Borrow relevant Hir from TirNadrieril3-33/+32
2020-02-17Remove spans from NirNadrieril1-15/+7
2020-02-17Rename Value to NirNadrieril10-381/+359
2020-02-17Rename TyExpr to TirNadrieril4-27/+27
2020-02-17Factor out desugaring from resolveNadrieril1-22/+31
2020-02-17Extract resolve-relevant envs togetherNadrieril4-112/+118
2020-02-17Move hir and resolve into a moduleNadrieril5-2/+6
2020-02-16Avoid recomputing universes in tckNadrieril3-55/+73
2020-02-16Oops, leftover #![allow(dead_code)]Nadrieril1-17/+1
2020-02-16Start requiring Universe to build a TypeNadrieril3-176/+206
2020-02-15Introduce proper Type structNadrieril4-56/+120
2020-02-15Desugar Completion during resolutionNadrieril4-52/+49
2020-02-15Factor some tck code to avoid needing get_type_tyexprNadrieril5-52/+88
2020-02-14OopsNadrieril2-16/+14
2020-02-13TyExpr always carries a typeNadrieril2-86/+67
2020-02-13Rework annotation and Sort handlingNadrieril2-69/+76
2020-02-13Simplify conversions to/from TyExprNadrieril4-108/+88
2020-02-13Only store type at root node in tyexprNadrieril2-29/+26
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril4-118/+124
2020-02-11Remove the Embed variant from ExprKindNadrieril7-29/+17
2020-02-10Remove need for EmbedNadrieril4-20/+22
2020-02-09Remove types from NzEnvNadrieril7-42/+47
2020-02-09Automate conversion between envsNadrieril3-22/+26
2020-02-09Remove all types from ValueNadrieril5-89/+16
2020-02-09Take Hir for typecheckNadrieril6-54/+51
2020-02-09Resolve variables alongside import resolutionNadrieril3-44/+87
2020-02-09Resolve by ref instead of by mutNadrieril1-59/+77
2020-02-09Introduce environment for import resolutionNadrieril1-31/+56
2020-02-09Remove extra types stored in ValueNadrieril3-47/+20
2020-02-09Remove most TyExpr from normalizationNadrieril7-108/+80
2020-02-09Add Hir as untyped alternative to TyExprNadrieril5-65/+133
2020-02-09Remove move type propagation through ValueNadrieril4-215/+76
2020-02-09Remove most reliance on types stored in ValueNadrieril5-67/+88
2020-02-09Massively deduplicate test harnessNadrieril1-1/+4
2020-02-06Implement some record simplificationsNadrieril1-2/+92
2020-02-05Normalize toMapNadrieril3-15/+55