summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Move spec tests into the relevant filesNadrieril2019-04-081-0/+303
|
* TweaksNadrieril2019-04-071-1/+2
|
* Restrict public APINadrieril2019-04-071-3/+6
| | | | Closes #20
* Use macros in typecheck; much cleanerNadrieril2019-04-071-132/+125
|
* Universe hierarchy is overkillNadrieril2019-04-071-73/+59
|
* More typecheckNadrieril2019-04-071-66/+89
|
* Avoid constructing exprs manually when possibleNadrieril2019-04-071-18/+20
|
* Store Normalized in type errorNadrieril2019-04-071-46/+66
|
* Augment stack size for typecheck testsNadrieril2019-04-071-0/+12
|
* Handle universe error properlyNadrieril2019-04-071-35/+49
|
* Put a Cow in TypeNadrieril2019-04-071-70/+78
|
* More typecheckNadrieril2019-04-071-78/+86
|
* More improvements to typecheckNadrieril2019-04-061-133/+114
|
* Store the whole type hierarchy in a TypeNadrieril2019-04-061-101/+159
|
* Add Sort type universeNadrieril2019-04-061-3/+6
|
* Start taking Typed seriouslyNadrieril2019-04-061-106/+133
|
* Thread Typed through type_withNadrieril2019-04-061-41/+48
|
* Factor out type equality checkingNadrieril2019-04-061-46/+50
|
* Move more cases after recursionNadrieril2019-04-061-34/+34
|
* Loop through args when typechecking AppNadrieril2019-04-061-17/+24
|
* Factor out the recursion when possible in typecheckNadrieril2019-04-061-125/+131
|
* Normalize only as needed while typecheckingNadrieril2019-04-061-17/+17
|
* type_with always normalizesNadrieril2019-04-061-49/+35
|
* Avoid early returns in type_withNadrieril2019-04-061-41/+38
|
* Normalize output of type inferenceNadrieril2019-04-061-4/+4
|
* Ensure all type errors carry normalized typesNadrieril2019-04-061-7/+4
|
* Remove an unnecessary normalizationNadrieril2019-04-061-2/+1
|
* Factor out shift/subst/shift danceNadrieril2019-04-061-4/+1
|
* Give up on laziness and greatly simplify normalizationNadrieril2019-04-061-3/+3
|
* Make Expr generic in LabelNadrieril2019-03-311-1/+1
|
* Move recursion out of ExprNadrieril2019-03-311-3/+3
|
* Make SubExpr a newtypeNadrieril2019-03-311-55/+48
|
* Correctly namespace interpolations in dhall_expr!()Nadrieril2019-03-241-2/+0
|
* Represent Optional literals more faithfullyNadrieril2019-03-211-20/+8
|
* Rename Record/Union to RecordType/UnionTypeNadrieril2019-03-211-5/+5
|
* Implement a few more primitivesNadrieril2019-03-181-1/+0
|
* Split List literal between empty and non-emptyNadrieril2019-03-181-8/+9
|
* Improve ergonomics of typecheckingNadrieril2019-03-181-354/+248
|
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-219/+78
|
* Clean up some mess relating to Clone boundsNadrieril2019-03-171-2/+2
|
* Use Rc consistently everywhereNadrieril2019-03-171-246/+302
|
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-161-6/+7
| | | | Closes #29
* Use Box more uniformly in ASTNadrieril2019-03-161-12/+14
| | | | Closes #28
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-161-7/+3
| | | | Closes #21
* Store a vec in AppNadrieril2019-03-151-6/+11
| | | | Closes #26
* rustfmtNadrieril2019-03-121-2/+10
|
* Considerably simplify typecheck using dhall_expr!()Nadrieril2019-03-091-96/+50
| | | | Closes #17
* Obey clippy lintsNadrieril2019-03-091-1/+1
| | | | Closes #14
* Remove the pervasive Label type parameterNadrieril2019-03-091-80/+56
| | | | Closes #1
* Use new Label type everywhereNadrieril2019-03-091-65/+45
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-14 19:34:18 +0000