summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/core/context.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-30Move Value-related stuff under semantics::nzeNadrieril1-1/+0
2020-01-29Remove dead codeNadrieril1-95/+0
2020-01-24Implement basic typecheck with new approachNadrieril1-3/+2
2020-01-24Fix some variable shifting failuresNadrieril1-2/+15
2020-01-21Prepare Value for reverse variablesNadrieril1-2/+8
2020-01-17SimplifyNadrieril1-5/+7
2020-01-17Replace all bulk shifting by a single shiftNadrieril1-11/+4
2020-01-17Implement bulk shiftingNadrieril1-23/+34
2020-01-17Simplify a bitNadrieril1-25/+8
2020-01-17Remove Shift/Subst traitsNadrieril1-83/+22
2020-01-17Remove binder idsNadrieril1-50/+3
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril1-0/+33
2020-01-17Assign a unique id to each binderNadrieril1-3/+17
2020-01-17Introduce a notion of binderNadrieril1-8/+17
2020-01-17s/TypecheckContext/TyCtx/Nadrieril1-6/+6
2020-01-17Make TypecheckContext a named structNadrieril1-9/+11
2020-01-17TypecheckContext doesn't need RcNadrieril1-14/+18
2020-01-17TypecheckContext doesn't need PartialEqNadrieril1-9/+0
2019-12-20Move ValueKind into value.rsNadrieril1-1/+1
2019-12-20Move error module to root of crateNadrieril1-1/+1
2019-12-19Rename ValueF to ValueKindNadrieril1-2/+2
2019-12-15Refer to semantics module properlyNadrieril1-4/+4
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-2/+1
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-1/+1
2019-08-19Merge TypedValue and ValueNadrieril1-19/+12
2019-08-19Reduce untyped construction of ValuesNadrieril1-21/+13
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril1-13/+16
2019-08-17s/Thunk/Value/Nadrieril1-7/+7
2019-08-16s/Value/ValueF/Nadrieril1-2/+2
2019-08-16fixup! No need for generic Context anymoreNadrieril1-1/+1
2019-08-16No need for generic Context anymoreNadrieril1-75/+38
2019-08-16Remove dead codeNadrieril1-31/+0
2019-08-16Reduce api surface of dhall crateNadrieril1-4/+4
2019-08-15Fix bug in shifting contextsNadrieril1-1/+10
2019-05-09Make visibilities more consistentNadrieril1-19/+15
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-33/+32
2019-05-09Correctly shift free variables in normalizationNadrieril1-10/+10
2019-05-08Fix Context shiftingNadrieril1-15/+24
2019-05-08shift on lookup instead of on insertNadrieril1-25/+52
2019-05-07Replace hashmap-based context with a vec-based oneNadrieril1-14/+37
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-25/+8
2019-05-07Unify typecheck and normalization contextsNadrieril1-65/+101
2019-05-07Promote shift and subst_shift to traitsNadrieril1-39/+45
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril1-1/+2
2019-05-06Move main datatypes into their own modulesNadrieril1-0/+136
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 22:14:10 +0000