summaryrefslogtreecommitdiff
path: root/dhall/src/phase/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add some new tests and implement import alternativesNadrieril2019-08-061-1/+1
* Remove old-style optional literalsNadrieril2019-08-061-23/+4
* Inline headersNadrieril2019-08-061-0/+1
* rustfmtNadrieril2019-08-031-25/+61
* Merge pull request #93 from Nadrieril/catchup-specNadrieril Feneanar2019-08-031-2/+2
|\
| * Update dhall-lang submoduleNadrieril2019-08-031-2/+2
* | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-typesFintanH2019-08-031-8/+74
|\|
| * Merge remote-tracking branch 'origin/master' into fintan/typecheck-combineFintanH2019-08-031-5/+47
| |\
| * | Mark RecursiveRecordMerge as unreachableFintanH2019-08-011-0/+1
| * | Add the typechecking of RecursiveRecordMerge.FintanH2019-08-011-8/+73
* | | Simplify Const checking logicFintanH2019-08-031-11/+7
* | | Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-typesFintanH2019-08-031-5/+47
|\ \ \ | | |/ | |/|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 00:30:07 +0000