summaryrefslogtreecommitdiff
path: root/dhall/src/semantics (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-09Remove most reliance on types stored in ValueNadrieril5-67/+88
2020-02-09Massively deduplicate test harnessNadrieril1-1/+4
2020-02-06Implement some record simplificationsNadrieril1-2/+92
2020-02-05Normalize toMapNadrieril3-15/+55
2020-02-05Typecheck record completionNadrieril1-25/+51
2020-02-05Typecheck projection by typeNadrieril1-2/+25
2020-02-04Implement typechecking of toMapNadrieril1-1/+79
2020-02-04Add basic pretty type errors to all errorsNadrieril1-46/+66
2020-02-02Add local test files on top of dhall-lang testsNadrieril1-0/+1
2020-02-02Tweak errorsNadrieril1-44/+43
2020-02-02Use Spans consistently by valueNadrieril3-13/+13
2020-02-02Let rustfmt format string literalsNadrieril1-43/+44
2020-02-02More errorsNadrieril2-5/+82
2020-02-02More nice errors plus some refactorNadrieril3-100/+113
2020-02-01Implement once nice error using annotate_snippetsNadrieril2-22/+36
2020-01-31Factor out custom Lazy structNadrieril3-35/+83
2020-01-30Use Rc equality to shortcut Value equalityNadrieril1-2/+1
2020-01-30Tweak ConstantClosureNadrieril2-25/+21
2020-01-30Eval Thunk by moveNadrieril1-4/+3
2020-01-30Get rid of all the manual Ref borrowsNadrieril2-149/+75
2020-01-30Use OnceCell to enable returning &ValKindNadrieril2-71/+56
2020-01-30Replace Form with a pair of RefCells, in preparation for OnceCellNadrieril1-88/+71
2020-01-30Move Form::PartialExpr into ThunkNadrieril1-36/+46
2020-01-30Only the Form must be in a RefCellNadrieril1-61/+67
2020-01-30Avoid unnecessary allocations of `Value`sNadrieril5-25/+25
2020-01-30Clarify normalization to ensure we only nze onceNadrieril4-58/+55
2020-01-30Move Thunk value into ValueInternalNadrieril2-35/+32
2020-01-30Prepare ValueInternal with new `Form`sNadrieril1-53/+50
2020-01-30Factor out text literals in ValueNadrieril3-83/+110
2020-01-30Remove type parameter from ValueKindNadrieril3-31/+20
2020-01-30Remove Value visitorNadrieril3-309/+87
2020-01-30Move parse and resolve up a levelNadrieril4-4/+3
2020-01-30Move main API to lib.rsNadrieril8-250/+8
2020-01-30Move normalize under nzeNadrieril6-6/+5
2020-01-30Move Value-related stuff under semantics::nzeNadrieril7-11/+7
2020-01-30Introduce Thunks and normalize lazilyNadrieril7-45/+95
2020-01-30Remove NF marker; it was premature optimizationNadrieril1-22/+11
2020-01-30Increase encapsulation for ClosuresNadrieril2-12/+32
2020-01-30Make unnormalized Values unobservableNadrieril2-10/+3
2020-01-30s/as_whnf/kind/Nadrieril4-55/+53
2020-01-30TweakNadrieril1-9/+4
2020-01-30Remove use of take_mutNadrieril1-25/+22
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril6-74/+120
2020-01-30Remove debug output in type errorsNadrieril1-12/+3
2020-01-30No need for the current env to tck Foo/build closuresNadrieril3-27/+3
2020-01-30Clean importsNadrieril1-7/+8
2020-01-30Actually, no need for keeping extra args in apply_builtinNadrieril1-25/+10
2020-01-30Remove old typecheck moduleNadrieril3-21/+5
2020-01-30Move builtins-related code to its own moduleNadrieril8-568/+553
2020-01-29Cleanup variable handlingNadrieril6-50/+32