summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/normalize.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-28Implement assert & merge and fix more bugsNadrieril1-3/+17
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril1-25/+45
2020-01-27Fix a bunch of bugs and more tckNadrieril1-1/+4
2020-01-25More typecheckNadrieril1-2/+17
2020-01-25Enable comparing Closures for equalityNadrieril1-4/+7
2020-01-25Typecheck more casesNadrieril1-3/+10
2020-01-24Implement basic typecheck with new approachNadrieril1-0/+1
2020-01-24Fix some variable shifting failuresNadrieril1-5/+19
2020-01-24Normalize more expressionsNadrieril1-8/+5
2020-01-24Restore all types in Value::to_tyexprNadrieril1-5/+13
2020-01-24Reuse normalize_one_layer in new eval flowNadrieril1-27/+41
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril1-1/+84
2020-01-19Restore more types in value_to_tyexprNadrieril1-8/+15
2020-01-17SimplifyNadrieril1-5/+4
2020-01-17Tweak: handle empty lists in typeckNadrieril1-16/+4
2020-01-17Remove Shift/Subst traitsNadrieril1-1/+0
2020-01-17Parameterize ValueKind by its subnodesNadrieril1-6/+9
2020-01-17Construct T/Build closures in Expr spaceNadrieril1-56/+57
2019-12-24Ensure normalization respects var names on the noseNadrieril1-8/+8
2019-12-24Extend merge to work on OptionalsNadrieril1-2/+22
2019-12-23Add two new Integer builtinsNadrieril1-0/+11
2019-12-22Update dhall-lang submoduleNadrieril1-77/+42
2019-12-22Implement parsing for record completionNadrieril1-0/+1
2019-12-20Move ValueKind into value.rsNadrieril1-1/+1
2019-12-20s/ExprF/ExprKind/Nadrieril1-38/+38
2019-12-19Rename ValueF to ValueKindNadrieril1-108/+108
2019-12-15Refer to semantics module properlyNadrieril1-4/+4
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril1-9/+9
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+0
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-5/+5
2019-11-11rustfmtNadrieril1-1/+3
2019-11-11Parse projection by expressionNadrieril1-0/+1
2019-09-03Upgrade rust toolchainNadrieril1-3/+4
2019-08-31Implement parsing of `toMap` keywordNadrieril1-0/+1
2019-08-25Remove now unnecessary VoVF enumNadrieril1-22/+24
2019-08-25Rework apply_builtin to enforce preservation of type informationNadrieril1-183/+156
2019-08-25Enforce type information almost everywhereNadrieril1-16/+9
2019-08-25Check consistency of type informationNadrieril1-2/+2
2019-08-25Keep type information through normalizationNadrieril1-69/+131
2019-08-23Clarify which syntax elements are completely handled in the tck phaseNadrieril1-22/+18
2019-08-23Keep type information after RecursiveRecordTypeMergeNadrieril1-62/+13
2019-08-20Use Ret in apply_builtinNadrieril1-90/+101
2019-08-20Propagate type information in Value::app()Nadrieril1-19/+16
2019-08-20Track evaluation status alongside ValueF in VoVFNadrieril1-32/+40
2019-08-20Introduce a new enum to store either a Value or a ValueFNadrieril1-60/+81
2019-08-20Naming tweaksNadrieril1-29/+23
2019-08-20Add Value::from_builtinNadrieril1-25/+19
2019-08-20CleanupNadrieril1-32/+55
2019-08-20Reuse work to avoid complicated recursion in record mergingNadrieril1-54/+0
2019-08-19Merge TypedValue and ValueNadrieril1-62/+28
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 22:33:48 +0000