summaryrefslogtreecommitdiff
path: root/dhall/src/traits (unfollow)
Commit message (Collapse)AuthorFilesLines
2019-05-06Move api-related modules into an api moduleNadrieril4-240/+0
2019-05-06Consolidate errors in the error moduleNadrieril1-2/+2
2019-05-06Reorganize dhall into a phase structureNadrieril3-9/+6
2019-05-06Merge TypedInternal and TypedNadrieril1-1/+1
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-7/+7
This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-7/+7
2019-05-04Remove dummy lifetimesNadrieril3-33/+33
2019-05-04rustfmtNadrieril1-1/+1
2019-05-04Rename dhall_generator to dhall_proc_macrosNadrieril1-1/+1
2019-05-04Rename dhall_core to dhall_syntaxNadrieril2-2/+2
2019-05-02Instead of possibly nonexistent Type, treat Sort speciallyNadrieril3-26/+8
2019-05-02Store Thunk in NormalizedNadrieril1-1/+3
2019-05-02TweaksNadrieril1-1/+1
2019-04-29Don't need to store original expression in TypeErrorNadrieril1-11/+0
2019-04-23Silence warningsNadrieril1-0/+2
2019-04-23Avoid duplicating work when matching on Pi typesNadrieril2-1/+2
2019-04-22Temporarily simplify functions depending on TypeInternalNadrieril1-9/+12
2019-04-21Factor out context handlingNadrieril1-5/+6
2019-04-18Remove obsolete dhall_expr!() macroNadrieril1-14/+14
2019-04-18Remove more duplicationNadrieril1-1/+1
2019-04-16Remove higher-kinded type noise in TypeNadrieril1-4/+4
2019-04-16Naming tweaksNadrieril1-2/+2
2019-04-14Namespace deserialization functions in a `de` submoduleNadrieril1-1/+1
Closes #73
2019-04-13Document all of the APINadrieril2-7/+33
Closes #64
2019-04-11Thread lifetimes through other newtypesNadrieril3-36/+37
Closes #55
2019-04-11Add lifetime parameters to Parsed and ResolvedNadrieril1-4/+4
Future-proofing
2019-04-11Remove type parameter from TypeErrorNadrieril1-6/+6
2019-04-11Respect import boundariesNadrieril1-1/+1
Closes #54
2019-04-11Abstract get_type() into a traitNadrieril2-0/+58
2019-04-11Handle untyped case differently from the type of SortNadrieril1-1/+1
Closes #59
2019-04-11Add basic deserialization supportNadrieril2-1/+25
Closes #13
2019-04-10Allow providing type for typechecking in APINadrieril1-2/+5
2019-04-10Cleanup error handlingNadrieril1-3/+3
Closes #41
2019-04-10Split traits module into submodulesNadrieril3-0/+151
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-26 03:37:09 +0000