summaryrefslogtreecommitdiff
path: root/dhall/src/phase/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* Small utility SubExpr::from_builtinNadrieril2019-05-091-9/+3
* ExprF need not be generic in LabelNadrieril2019-05-091-2/+1
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-2/+11
* Detect duplicate record fields in typecheckNadrieril2019-05-091-30/+33
* Update dhall-lang submoduleNadrieril2019-05-091-2/+14
* Typecheck record projectionNadrieril2019-05-081-7/+30
* Typecheck mergeNadrieril2019-05-081-12/+87
* Don't discard normalization work done by typecheckingNadrieril2019-05-071-52/+93
* Slight improvement to typecheck ergonomicsNadrieril2019-05-071-59/+28
* Unify typecheck and normalization contextsNadrieril2019-05-071-2/+2
* Promote shift and subst_shift to traitsNadrieril2019-05-071-0/+1
* Clean up some of the SubExpr type-changing methodsNadrieril2019-05-071-3/+3
* Unify Type, TypeInternal and TypedNadrieril2019-05-071-21/+7
* Move main datatypes into their own modulesNadrieril2019-05-061-208/+137
* Consolidate errors in the error moduleNadrieril2019-05-061-103/+11
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+1276
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 03:29:05 +0000