summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/tir.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-12-07Thread cx through normalizationNadrieril1-28/+32
2020-11-03Typecheck `with` using mutationNadrieril1-0/+3
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril1-1/+2
2020-03-31Brutally make all of dhall pubNadrieril1-3/+3
2020-03-31Remove top-level Expr aliasesNadrieril1-4/+3
2020-02-18Borrow relevant Hir from TirNadrieril1-24/+6
2020-02-17Rename Value to NirNadrieril1-13/+13
2020-02-17Rename TyExpr to TirNadrieril1-6/+7
2020-02-16Avoid recomputing universes in tckNadrieril1-24/+25
2020-02-16Start requiring Universe to build a TypeNadrieril1-19/+98
2020-02-15Introduce proper Type structNadrieril1-4/+50
2020-02-15Factor some tck code to avoid needing get_type_tyexprNadrieril1-5/+7
2020-02-14OopsNadrieril1-7/+5
2020-02-13TyExpr always carries a typeNadrieril1-29/+12
2020-02-13Simplify conversions to/from TyExprNadrieril1-3/+8
2020-02-13Only store type at root node in tyexprNadrieril1-25/+18
2020-02-11Remove the Embed variant from ExprKindNadrieril1-2/+1
2020-02-09Remove types from NzEnvNadrieril1-2/+2
2020-02-09Automate conversion between envsNadrieril1-2/+2
2020-02-09Remove all types from ValueNadrieril1-2/+2
2020-02-09Remove most TyExpr from normalizationNadrieril1-8/+3
2020-02-09Add Hir as untyped alternative to TyExprNadrieril1-58/+12
2020-02-02Use Spans consistently by valueNadrieril1-2/+2
2020-01-30Avoid unnecessary allocations of `Value`sNadrieril1-2/+3
2020-01-30Move main API to lib.rsNadrieril1-2/+2
2020-01-30Move normalize under nzeNadrieril1-1/+1
2020-01-30Introduce Thunks and normalize lazilyNadrieril1-9/+13
2020-01-30Make unnormalized Values unobservableNadrieril1-3/+1
2020-01-30Move builtins-related code to its own moduleNadrieril1-2/+1
2020-01-29Cleanup variable handlingNadrieril1-6/+20
2020-01-29Move envs to their own filesNadrieril1-4/+2
2020-01-29Use NameEnv in tyexpr_to_exprNadrieril1-18/+9
2020-01-29Remove dead codeNadrieril1-5/+0
2020-01-29Fix insufficient normalizationNadrieril1-1/+9
2020-01-28Fix all sorts of variable shenanigansNadrieril1-1/+14
2020-01-27Fix a bunch of bugs and more tckNadrieril1-0/+10
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril1-0/+8
2020-01-21Simplify type error typeNadrieril1-2/+1
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril1-7/+9
2020-01-19Restore more types in value_to_tyexprNadrieril1-1/+13
2020-01-18Add Expr visitor and improve tyexpr_to_exprNadrieril1-10/+12
2020-01-18Introduce intermediate representation that stores typed exprNadrieril1-0/+83
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-29 08:38:30 +0000