summaryrefslogtreecommitdiff
path: root/dhall/src/phase/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
|\ \ \ | | |/ | |/|
| * | Add unreachable call for RightBasedRecordMerge caseFintanH2019-07-311-0/+1
| * | Reuse the merge_maps function to implement the right-biased unionFintanH2019-07-311-6/+6
| * | Add case for RightBasedRecordMerge in the typechecking phase.Fintan Halpenny2019-07-311-5/+46
| |/
* / Add typechecking for RecursiveRecordTypeMerge.FintanH2019-08-011-7/+85
|/
* clippyNadrieril2019-05-121-23/+10
* Include success or failure prefix in test filteringNadrieril2019-05-121-4/+4
* Implement binary encodingNadrieril2019-05-121-1/+1
* Merge Type and TypedNadrieril2019-05-091-49/+40
* Make visibilities more consistentNadrieril2019-05-091-9/+6
* Rewrite the StaticType trait and everything around itNadrieril2019-05-091-1/+1
* Reduce the distance between Type and TypedNadrieril2019-05-091-87/+78
* Remove TypeIntermediate in favor of special-purpose functionsNadrieril2019-05-091-214/+183
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 10:18:18 +0000