summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase/mod.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-30Move parse and resolve up a levelNadrieril1-2/+0
2020-01-30Move main API to lib.rsNadrieril1-242/+0
2020-01-30Move normalize under nzeNadrieril1-1/+0
2020-01-30Introduce Thunks and normalize lazilyNadrieril1-1/+1
2020-01-30Remove old typecheck moduleNadrieril1-14/+3
2020-01-29Fix insufficient normalizationNadrieril1-3/+1
2020-01-29Use TyExpr in TypedNadrieril1-43/+26
2020-01-29Use Normalized in serde_dhallNadrieril1-52/+74
2020-01-27Fix a bunch of bugs and more tckNadrieril1-0/+5
2020-01-18Introduce intermediate representation that stores typed exprNadrieril1-1/+9
2020-01-17Remove Shift/Subst traitsNadrieril1-13/+0
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril1-7/+1
2020-01-17Parameterize ValueKind by its subnodesNadrieril1-1/+1
2019-12-24Ensure inferred type is always in normal formNadrieril1-1/+10
2019-12-20Move ValueKind into value.rsNadrieril1-1/+1
2019-12-20Fix some commentsNadrieril1-9/+2
2019-12-20Move error module to root of crateNadrieril1-1/+1
2019-12-19Move out conversion from value back to ast to its own fileNadrieril1-1/+6
2019-12-19Rename ValueF to ValueKindNadrieril1-7/+7
2019-12-17Move binary encoding/decoding to syntax/Nadrieril1-1/+1
2019-12-15Refer to semantics module properlyNadrieril1-4/+4
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-5/+3
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-09-03No need to change the type of Embed when resolving anymoreNadrieril1-2/+2
2019-08-30Cleanup conversion of `Value` to `Expr`Nadrieril1-9/+22
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril1-11/+11
2019-08-27clippyNadrieril1-3/+2
2019-08-26Tweak tests to avoid double compilationNadrieril1-2/+0
2019-08-20Reduce API surface of dhall crateNadrieril1-3/+3
2019-08-20Move type construction fns from serde_dhall to dhallNadrieril1-1/+34
2019-08-20No need for Cow in return type of get_typeNadrieril1-3/+2
2019-08-20CleanupNadrieril1-1/+1
2019-08-19Merge TypedValue and ValueNadrieril1-8/+8
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril1-41/+10
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril1-6/+9
2019-08-17s/Thunk/Value/Nadrieril1-13/+13
2019-08-16s/Value/ValueF/Nadrieril1-6/+6
2019-08-16Try to minimize untyped TypedThunksNadrieril1-2/+5
2019-08-16Remove dead codeNadrieril1-8/+0
2019-08-16Reduce api surface of dhall crateNadrieril1-23/+18
2019-08-16Use `!` type instead of custom empty typeNadrieril1-3/+3
2019-08-13Implement Hash for ParsedSubExprNadrieril1-0/+16
2019-08-13Store Imports in their own node instead of in EmbedNadrieril1-3/+5
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril1-2/+2
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril1-5/+5
2019-08-13s/TypeThunk/TypedThunk/gNadrieril1-8/+8
2019-08-13Swap Typed and TypeThunkNadrieril1-70/+25
2019-08-10Remove dhall::expr!() macroNadrieril1-3/+0
2019-05-12Implement binary encodingNadrieril1-4/+11
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 06:42:17 +0000