summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck (unfollow)
Commit message (Expand)AuthorFilesLines
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
2020-02-09Add Hir as untyped alternative to TyExprNadrieril1-58/+12
2020-02-09Remove move type propagation through ValueNadrieril1-30/+12
2020-02-09Remove most reliance on types stored in ValueNadrieril2-29/+35
2020-02-09Massively deduplicate test harnessNadrieril1-1/+4
2020-02-05Typecheck record completionNadrieril1-25/+51
2020-02-05Typecheck projection by typeNadrieril1-2/+25
2020-02-04Implement typechecking of toMapNadrieril1-1/+79
2020-02-04Add basic pretty type errors to all errorsNadrieril1-46/+66
2020-02-02Add local test files on top of dhall-lang testsNadrieril1-0/+1
2020-02-02Tweak errorsNadrieril1-44/+43
2020-02-02Use Spans consistently by valueNadrieril2-10/+10
2020-02-02Let rustfmt format string literalsNadrieril1-43/+44
2020-02-02More errorsNadrieril1-5/+79
2020-02-02More nice errors plus some refactorNadrieril2-97/+113
2020-02-01Implement once nice error using annotate_snippetsNadrieril1-22/+32
2020-01-30Tweak ConstantClosureNadrieril1-12/+14
2020-01-30Get rid of all the manual Ref borrowsNadrieril1-34/+20
2020-01-30Avoid unnecessary allocations of `Value`sNadrieril2-3/+4
2020-01-30Move main API to lib.rsNadrieril2-3/+3
2020-01-30Move normalize under nzeNadrieril2-2/+2
2020-01-30Introduce Thunks and normalize lazilyNadrieril2-25/+28
2020-01-30Increase encapsulation for ClosuresNadrieril1-5/+5
2020-01-30Make unnormalized Values unobservableNadrieril1-3/+1
2020-01-30s/as_whnf/kind/Nadrieril1-17/+15
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril1-11/+15
2020-01-30Remove debug output in type errorsNadrieril1-12/+3
2020-01-30No need for the current env to tck Foo/build closuresNadrieril1-13/+0
2020-01-30Move builtins-related code to its own moduleNadrieril3-15/+12
2020-01-29Cleanup variable handlingNadrieril2-11/+25
2020-01-29Move envs to their own filesNadrieril4-59/+144
2020-01-29s/QuoteEnv/VarEnv/Nadrieril1-18/+16
2020-01-29Use NameEnv in tyexpr_to_exprNadrieril1-18/+9
2020-01-29Remove dead codeNadrieril2-27/+8
2020-01-29Fix insufficient normalizationNadrieril2-7/+15
2020-01-29Use TyExpr in TypedNadrieril1-1/+8
2020-01-29Fix more bugsNadrieril1-33/+36
2020-01-28Implement assert & merge and fix more bugsNadrieril1-90/+118
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril1-3/+11
2020-01-28Fix all sorts of variable shenanigansNadrieril1-1/+14
2020-01-27Fix a bunch of bugs and more tckNadrieril2-29/+45