summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck (unfollow)
Commit message (Expand)AuthorFilesLines
2020-12-07Resolve imports and alternatives outside of the ast traversalNadrieril1-0/+8
2020-12-07Defer name errors to typecheckingNadrieril1-0/+5
2020-12-07Unify `skip_resolve_expr` with normal resolutionNadrieril1-2/+2
2020-12-07Pass import results via the global contextNadrieril1-1/+4
2020-12-07Thread cx through normalizationNadrieril3-63/+73
2020-12-07Thread cx through typecheckNadrieril2-11/+24
2020-11-03Typecheck `with` using mutationNadrieril2-2/+5
2020-06-25spec: allow unions with mixed kindsNadrieril1-15/+5
2020-04-07ClippyNadrieril1-3/+3
2020-04-07Move duplicate field checking to parserNadrieril1-39/+22
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril2-5/+4
2020-04-06Move builtins module up a levelNadrieril1-3/+2
2020-04-06Extract operation-related code to a new moduleNadrieril1-511/+4
2020-04-06oopsNadrieril1-1/+1
2020-04-06Factor out operations in typecheckNadrieril1-415/+436
2020-04-06Split off operations from main expr enumNadrieril1-17/+18
2020-04-05Fix clippy warningsNadrieril1-2/+2
2020-03-31Move Value, SimpleValue and SimpleType to serdeNadrieril1-4/+1
2020-03-31Brutally make all of dhall pubNadrieril4-13/+13
2020-03-31Improve handling of builtin types in NirNadrieril1-22/+6
2020-03-31Remove top-level Expr aliasesNadrieril1-4/+3
2020-03-31Rename LitKind to NumKindNadrieril1-5/+5
2020-03-31Add new Value type in APINadrieril1-2/+2
2020-03-17Remove never_type featureNadrieril1-3/+1
2020-03-17Run clippyNadrieril2-7/+7
2020-02-19Expose fewer pub thingsNadrieril1-2/+5
2020-02-19Avoid re-typechecking after importNadrieril1-0/+1
2020-02-18Borrow relevant Hir from TirNadrieril2-30/+15
2020-02-17Rename Value to NirNadrieril3-62/+58
2020-02-17Rename TyExpr to TirNadrieril3-25/+25
2020-02-17Extract resolve-relevant envs togetherNadrieril1-54/+5
2020-02-16Avoid recomputing universes in tckNadrieril2-52/+70
2020-02-16Start requiring Universe to build a TypeNadrieril2-175/+205
2020-02-15Introduce proper Type structNadrieril2-54/+111
2020-02-15Desugar Completion during resolutionNadrieril1-28/+6
2020-02-15Factor some tck code to avoid needing get_type_tyexprNadrieril2-47/+83
2020-02-14OopsNadrieril2-16/+14
2020-02-13TyExpr always carries a typeNadrieril2-86/+67
2020-02-13Rework annotation and Sort handlingNadrieril1-68/+75
2020-02-13Simplify conversions to/from TyExprNadrieril2-90/+78
2020-02-13Only store type at root node in tyexprNadrieril2-29/+26
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril1-5/+11
2020-02-11Remove the Embed variant from ExprKindNadrieril2-7/+3
2020-02-10Remove need for EmbedNadrieril1-9/+1
2020-02-09Remove types from NzEnvNadrieril2-9/+9
2020-02-09Automate conversion between envsNadrieril3-22/+26
2020-02-09Remove all types from ValueNadrieril1-2/+2
2020-02-09Take Hir for typecheckNadrieril2-39/+33
2020-02-09Resolve variables alongside import resolutionNadrieril1-1/+1
2020-02-09Remove most TyExpr from normalizationNadrieril3-21/+9