summaryrefslogtreecommitdiff
path: root/dhall/src/phase/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-815/+0
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-151-12/+12
* typoNadrieril2019-11-111-2/+2
* Parse projection by expressionNadrieril2019-11-111-0/+1
* Propagate more spansNadrieril2019-11-111-3/+3
* Display first pretty type errorNadrieril2019-11-111-1/+1
* Store a `Span` in `Value`Nadrieril2019-11-111-4/+10
* Capture absence of span in Span itselfNadrieril2019-11-111-1/+5
* Run `cargo fmt`Nadrieril2019-11-111-2/+6
* Upgrade rust toolchainNadrieril2019-09-031-6/+2
* Implement parsing of `toMap` keywordNadrieril2019-08-311-0/+1
* Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-8/+8
* clippyNadrieril2019-08-271-1/+1
* Enforce type information almost everywhereNadrieril2019-08-251-13/+8
* Keep type information through normalizationNadrieril2019-08-251-10/+11
* Clarify which syntax elements are completely handled in the tck phaseNadrieril2019-08-231-3/+6
* Keep type information after RecursiveRecordTypeMergeNadrieril2019-08-231-27/+10
* Propagate type information in Value::app()Nadrieril2019-08-201-8/+2
* No need for Cow in return type of get_typeNadrieril2019-08-201-20/+19
* Introduce a new enum to store either a Value or a ValueFNadrieril2019-08-201-8/+9
* Naming tweaksNadrieril2019-08-201-3/+2
* Clarify conversion of Const/Builtin to ValueNadrieril2019-08-201-16/+27
* CleanupNadrieril2019-08-201-3/+3
* Standardize records of mixed kindsNadrieril2019-08-201-51/+17
* Reuse work to avoid complicated recursion in record mergingNadrieril2019-08-201-96/+25
* Tweak Ok/Err handling in typecheckNadrieril2019-08-201-157/+128
* Merge TypedValue and ValueNadrieril2019-08-191-96/+81
* Reduce untyped construction of ValuesNadrieril2019-08-191-17/+16
* Use TypedValue instead of Typed in normalize and typecheckNadrieril2019-08-191-218/+174
* s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril2019-08-191-104/+94
* s/Thunk/Value/Nadrieril2019-08-171-34/+34
* s/Value/ValueF/Nadrieril2019-08-161-54/+56
* Remove dead codeNadrieril2019-08-161-5/+5
* Typecheck before normalizing in testsNadrieril2019-08-161-4/+1
* Avoid capture when typechecking union constructorNadrieril2019-08-161-2/+1
* Reduce api surface of dhall crateNadrieril2019-08-161-6/+6
* Disable some unused unstable featuresNadrieril2019-08-151-1/+1
* Store Imports in their own node instead of in EmbedNadrieril2019-08-131-0/+3
* Considerably simplify Embed handlingNadrieril2019-08-131-2/+1
* Stop tracking the absence of Embed values at the type levelNadrieril2019-08-131-7/+4
* No need to track the absence of `Span`s at the type levelNadrieril2019-08-131-8/+8
* s/TypeThunk/TypedThunk/gNadrieril2019-08-131-16/+24
* Remove ensure_... macros in typecheckNadrieril2019-08-121-115/+89
* Remove dhall::expr!() macroNadrieril2019-08-101-26/+81
* Add support for dependent typesNadrieril2019-08-081-20/+40
* Add truncated Natural subtractionNadrieril2019-08-071-0/+1
* Remove union literals from the languageNadrieril2019-08-071-9/+0
* Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-35/+40
* Auto-generate typechecking tests listNadrieril2019-08-061-395/+0
* Change some testsNadrieril2019-08-061-0/+5
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 02:12:29 +0000