summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase/typecheck.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-24Extend merge to work on OptionalsNadrieril1-2/+14
2019-12-23Add two new Integer builtinsNadrieril1-0/+3
2019-12-22Implement parsing for record completionNadrieril1-0/+1
2019-12-22Update dhall-lang submoduleNadrieril1-1/+9
2019-12-20Move ValueKind into value.rsNadrieril1-1/+1
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril1-3/+3
2019-12-20s/ExprF/ExprKind/Nadrieril1-22/+23
2019-12-20Move error module to root of crateNadrieril1-1/+1
2019-12-19Rename ValueF to ValueKindNadrieril1-36/+36
2019-12-15Refer to semantics module properlyNadrieril1-7/+7
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-27/+20
2019-12-15fixup! Reexport dhall_syntax as a module in dhallNadrieril1-1/+3
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-12/+12
2019-11-11typoNadrieril1-2/+2
2019-11-11Parse projection by expressionNadrieril1-0/+1
2019-11-11Propagate more spansNadrieril1-3/+3
2019-11-11Display first pretty type errorNadrieril1-1/+1
2019-11-11Store a `Span` in `Value`Nadrieril1-4/+10
2019-11-11Capture absence of span in Span itselfNadrieril1-1/+5
2019-11-11Run `cargo fmt`Nadrieril1-2/+6
2019-09-03Upgrade rust toolchainNadrieril1-6/+2
2019-08-31Implement parsing of `toMap` keywordNadrieril1-0/+1
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril1-8/+8
2019-08-27clippyNadrieril1-1/+1
2019-08-25Enforce type information almost everywhereNadrieril1-13/+8
2019-08-25Keep type information through normalizationNadrieril1-10/+11
2019-08-23Clarify which syntax elements are completely handled in the tck phaseNadrieril1-3/+6
2019-08-23Keep type information after RecursiveRecordTypeMergeNadrieril1-27/+10
2019-08-20Propagate type information in Value::app()Nadrieril1-8/+2
2019-08-20No need for Cow in return type of get_typeNadrieril1-20/+19
2019-08-20Introduce a new enum to store either a Value or a ValueFNadrieril1-8/+9
2019-08-20Naming tweaksNadrieril1-3/+2
2019-08-20Clarify conversion of Const/Builtin to ValueNadrieril1-16/+27
2019-08-20CleanupNadrieril1-3/+3
2019-08-20Standardize records of mixed kindsNadrieril1-51/+17
2019-08-20Reuse work to avoid complicated recursion in record mergingNadrieril1-96/+25
2019-08-20Tweak Ok/Err handling in typecheckNadrieril1-157/+128
2019-08-19Merge TypedValue and ValueNadrieril1-96/+81
2019-08-19Reduce untyped construction of ValuesNadrieril1-17/+16
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril1-218/+174
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril1-104/+94
2019-08-17s/Thunk/Value/Nadrieril1-34/+34
2019-08-16s/Value/ValueF/Nadrieril1-54/+56
2019-08-16Remove dead codeNadrieril1-5/+5
2019-08-16Typecheck before normalizing in testsNadrieril1-4/+1
2019-08-16Avoid capture when typechecking union constructorNadrieril1-2/+1
2019-08-16Reduce api surface of dhall crateNadrieril1-6/+6
2019-08-15Disable some unused unstable featuresNadrieril1-1/+1
2019-08-13Store Imports in their own node instead of in EmbedNadrieril1-0/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 23:46:37 +0000