summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/typecheck.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-17Run clippyNadrieril1-1/+1
2020-02-19Expose fewer pub thingsNadrieril1-2/+5
2020-02-19Avoid re-typechecking after importNadrieril1-0/+1
2020-02-18Borrow relevant Hir from TirNadrieril1-6/+9
2020-02-17Rename Value to NirNadrieril1-47/+43
2020-02-17Rename TyExpr to TirNadrieril1-17/+16
2020-02-16Avoid recomputing universes in tckNadrieril1-28/+45
2020-02-16Start requiring Universe to build a TypeNadrieril1-156/+107
2020-02-15Introduce proper Type structNadrieril1-50/+61
2020-02-15Desugar Completion during resolutionNadrieril1-28/+6
2020-02-15Factor some tck code to avoid needing get_type_tyexprNadrieril1-42/+76
2020-02-14OopsNadrieril1-9/+9
2020-02-13TyExpr always carries a typeNadrieril1-57/+55
2020-02-13Rework annotation and Sort handlingNadrieril1-68/+75
2020-02-13Simplify conversions to/from TyExprNadrieril1-87/+70
2020-02-13Only store type at root node in tyexprNadrieril1-4/+8
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril1-5/+11
2020-02-11Remove the Embed variant from ExprKindNadrieril1-5/+2
2020-02-10Remove need for EmbedNadrieril1-9/+1
2020-02-09Automate conversion between envsNadrieril1-20/+18
2020-02-09Take Hir for typecheckNadrieril1-32/+28
2020-02-09Resolve variables alongside import resolutionNadrieril1-1/+1
2020-02-09Remove most TyExpr from normalizationNadrieril1-10/+3
2020-02-09Remove move type propagation through ValueNadrieril1-30/+12
2020-02-09Remove most reliance on types stored in ValueNadrieril1-25/+31
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 valueNadrieril1-8/+8
2020-02-02Let rustfmt format string literalsNadrieril1-43/+44
2020-02-02More errorsNadrieril1-5/+79
2020-02-02More nice errors plus some refactorNadrieril1-94/+110
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-30Move main API to lib.rsNadrieril1-1/+1
2020-01-30Move normalize under nzeNadrieril1-1/+1
2020-01-30Introduce Thunks and normalize lazilyNadrieril1-16/+15
2020-01-30Increase encapsulation for ClosuresNadrieril1-5/+5
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-30Move builtins-related code to its own moduleNadrieril1-12/+10
2020-01-29Move envs to their own filesNadrieril1-55/+3
2020-01-29s/QuoteEnv/VarEnv/Nadrieril1-18/+16
2020-01-29Remove dead codeNadrieril1-22/+8
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 18:23:11 +0000