summaryrefslogtreecommitdiff
path: root/dhall/src/operations/typecheck.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2021-01-22chore: fix clippy warningsNadrieril1-4/+2
2020-12-07Thread cx through normalizationNadrieril1-32/+40
2020-12-07Thread cx through typecheckNadrieril1-4/+4
2020-11-27If can return a typeBasile Henry1-2/+2
2020-11-03Typecheck `with` using mutationNadrieril1-43/+20
2020-11-02Handle record type properlyBasile Henry1-1/+1
2020-11-02Inline helper functionBasile Henry1-8/+4
2020-11-02Refactor following PR reviewBasile Henry1-14/+10
2020-11-01Implement type checking for With opBasile Henry1-1/+50
2020-09-14spec: Enable `with` optimizationsNadrieril1-1/+1
2020-04-10Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril1-3/+3
2020-04-07Split operations module into submodulesNadrieril1-397/+5
2020-04-07Implement remaining record simplificationNadrieril1-9/+22
2020-04-07Move duplicate field checking to parserNadrieril1-10/+3
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril1-3/+34
2020-04-06Extract operation-related code to a new moduleNadrieril1-290/+337
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-03-31Move Value, SimpleValue and SimpleType to serdeNadrieril1-4/+1
2020-03-31Brutally make all of dhall pubNadrieril1-5/+5
2020-03-31Improve handling of builtin types in NirNadrieril1-22/+6
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 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 11:39:23 +0000