summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/tyexpr.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Rename TyExpr to TirNadrieril2020-02-171-192/+0
* Avoid recomputing universes in tckNadrieril2020-02-161-24/+25
* Start requiring Universe to build a TypeNadrieril2020-02-161-19/+98
* Introduce proper Type structNadrieril2020-02-151-4/+50
* Factor some tck code to avoid needing get_type_tyexprNadrieril2020-02-151-5/+7
* OopsNadrieril2020-02-141-7/+5
* TyExpr always carries a typeNadrieril2020-02-131-29/+12
* Simplify conversions to/from TyExprNadrieril2020-02-131-3/+8
* Only store type at root node in tyexprNadrieril2020-02-131-25/+18
* Remove the Embed variant from ExprKindNadrieril2020-02-111-2/+1
* Remove types from NzEnvNadrieril2020-02-091-2/+2
* Automate conversion between envsNadrieril2020-02-091-2/+2
* Remove all types from ValueNadrieril2020-02-091-2/+2
* Remove most TyExpr from normalizationNadrieril2020-02-091-8/+3
* Add Hir as untyped alternative to TyExprNadrieril2020-02-091-58/+12
* Use Spans consistently by valueNadrieril2020-02-021-2/+2
* Avoid unnecessary allocations of `Value`sNadrieril2020-01-301-2/+3
* Move main API to lib.rsNadrieril2020-01-301-2/+2
* Move normalize under nzeNadrieril2020-01-301-1/+1
* Introduce Thunks and normalize lazilyNadrieril2020-01-301-9/+13
* Make unnormalized Values unobservableNadrieril2020-01-301-3/+1
* Move builtins-related code to its own moduleNadrieril2020-01-301-2/+1
* Cleanup variable handlingNadrieril2020-01-291-6/+20
* Move envs to their own filesNadrieril2020-01-291-4/+2
* Use NameEnv in tyexpr_to_exprNadrieril2020-01-291-18/+9
* Remove dead codeNadrieril2020-01-291-5/+0
* Fix insufficient normalizationNadrieril2020-01-291-1/+9
* Fix all sorts of variable shenanigansNadrieril2020-01-281-1/+14
* Fix a bunch of bugs and more tckNadrieril2020-01-271-0/+10
* Implement basic env-based normalization for Value-based TyExprNadrieril2020-01-231-0/+8
* Simplify type error typeNadrieril2020-01-211-2/+1
* Reimplement basic tck/nze with proper environmentsNadrieril2020-01-201-7/+9
* Restore more types in value_to_tyexprNadrieril2020-01-191-1/+13
* Add Expr visitor and improve tyexpr_to_exprNadrieril2020-01-181-10/+12
* Introduce intermediate representation that stores typed exprNadrieril2020-01-181-0/+83
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 18:16:03 +0000