summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFintanH2019-08-03 18:50:00 +0100
committerFintanH2019-08-03 18:50:00 +0100
commita390b54b6a55a348b7fc000f9f81d395996a32c1 (patch)
tree17c4f09f97961c2f7e23503548dd50fdebbf5f21
parentfc309bf41dfe53d043766ec9d468389b2b4269ae (diff)
parent9113e15534f57626ae9be662738e1d3d22434e88 (diff)
Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types
Diffstat (limited to '')
-rw-r--r--README.md56
-rw-r--r--dhall/src/error/mod.rs2
-rw-r--r--dhall/src/phase/normalize.rs2
-rw-r--r--dhall/src/phase/typecheck.rs52
4 files changed, 106 insertions, 6 deletions
diff --git a/README.md b/README.md
index 66748dc..1fe59da 100644
--- a/README.md
+++ b/README.md
@@ -20,6 +20,62 @@ This is still quite unstable so use at your own risk. Documentation is severely
You can see what's missing from the commented out tests in `dhall/src/normalize.rs` and `dhall/src/typecheck.rs`.
+# Contributing
+
+This section will cover how we can get started on contributing this project.
+
+## Setting up the repository
+
+To get a copy of this repository we can run:
+
+```bash
+$ git clone https://github.com/Nadrieril/dhall-rust.git
+```
+
+But we also might note that it's better practice to fork the repository to your own workspace.
+There you can make changes and submit pull requests against this repository.
+
+After the repositry has been cloned we need to update the [git submodule](https://git-scm.com/book/en/v2/Git-Tools-Submodules)
+in the project, i.e. `dhall-lang`. We can do this by running:
+
+```bash
+$ git submodule update --init --recursive
+```
+
+## Building and Testing
+
+A preferred method among the Rust community for developing is to use [`rustup`](https://rustup.rs/).
+
+It can be installed by running:
+
+```bash
+$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
+```
+
+or if [nix](https://nixos.org/) is your tool of choice:
+
+```bash
+$ nix-shell -p rustup
+```
+
+Once `rustup` is installed we can get it to manage our toolchain by running:
+
+```bash
+$ rustup toolchain install nightly
+```
+
+Then we can manage our building and testing with the [`cargo`](https://crates.io/) dependency manager:
+
+```bash
+$ cargo build
+```
+
+```bash
+$ cargo test
+```
+
+Now we can have fun and happy contributing!
+
## License
Licensed under the terms of the 2-Clause BSD License ([LICENSE](LICENSE) or
diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs
index 2f65443..aef84a9 100644
--- a/dhall/src/error/mod.rs
+++ b/dhall/src/error/mod.rs
@@ -77,9 +77,11 @@ pub(crate) enum TypeMessage {
MergeAnnotMismatch,
MergeHandlerTypeMismatch,
MergeHandlerReturnTypeMustNotBeDependent,
+ MustCombineRecord(Typed),
ProjectionMustBeRecord,
ProjectionMissingEntry,
Sort,
+ RecordMismatch(Typed, Typed),
RecordTypeDuplicateField,
RecordTypeMergeRequiresRecordType(Type),
RecordTypeMismatch(Type, Type, Type, Type),
diff --git a/dhall/src/phase/normalize.rs b/dhall/src/phase/normalize.rs
index 653f415..4a25ed9 100644
--- a/dhall/src/phase/normalize.rs
+++ b/dhall/src/phase/normalize.rs
@@ -404,7 +404,7 @@ where
kvs
}
-fn merge_maps<K, V>(
+pub(crate) fn merge_maps<K, V>(
map1: &HashMap<K, V>,
map2: &HashMap<K, V>,
mut f: impl FnMut(&V, &V) -> V,
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs
index bd8e1bb..3bff7ca 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -598,6 +598,47 @@ fn type_last_layer(
}
Ok(RetTypeOnly(text_type))
}
+ BinOp(RightBiasedRecordMerge, l, r) => {
+ use crate::phase::normalize::merge_maps;
+
+ let l_type = l.get_type()?;
+ let l_kind = l_type.get_type()?;
+ let r_type = r.get_type()?;
+ let r_kind = r_type.get_type()?;
+
+ // Check the equality of kinds.
+ // This is to disallow expression such as:
+ // "{ x = Text } // { y = 1 }"
+ ensure_equal!(
+ l_kind,
+ r_kind,
+ mkerr(RecordMismatch(l.clone(), r.clone())),
+ );
+
+ // Extract the LHS record type
+ let kts_x = match l_type.to_value() {
+ Value::RecordType(kts) => kts,
+ _ => return Err(mkerr(MustCombineRecord(l.clone()))),
+ };
+
+ // Extract the RHS record type
+ let kts_y = match r_type.to_value() {
+ Value::RecordType(kts) => kts,
+ _ => return Err(mkerr(MustCombineRecord(r.clone()))),
+ };
+
+ // Union the two records, prefering
+ // the values found in the RHS.
+ let kts = merge_maps(&kts_x, &kts_y, |_, r_t| r_t.clone());
+
+ // Construct the final record type from the union
+ Ok(RetTypeOnly(tck_record_type(
+ ctx,
+ kts.iter()
+ .map(|(x, v)| Ok((x.clone(), v.to_type()))),
+ )?
+ .into_type()))
+ }
BinOp(RecursiveRecordTypeMerge, l, r) => {
// A recursive function to dig down into
// records of records when merging.
@@ -699,6 +740,7 @@ fn type_last_layer(
NaturalTimes => Natural,
TextAppend => Text,
ListAppend => unreachable!(),
+ RightBiasedRecordMerge => unreachable!(),
RecursiveRecordTypeMerge => unreachable!(),
_ => return Err(mkerr(Unimplemented)),
})?;
@@ -1213,11 +1255,11 @@ mod spec_tests {
ti_success!(ti_success_unit_RecursiveRecordTypeMergeTwo, "unit/RecursiveRecordTypeMergeTwo");
ti_success!(ti_success_unit_RecursiveRecordTypeMergeTwoKinds, "unit/RecursiveRecordTypeMergeTwoKinds");
ti_success!(ti_success_unit_RecursiveRecordTypeMergeTwoTypes, "unit/RecursiveRecordTypeMergeTwoTypes");
- // ti_success!(ti_success_unit_RightBiasedRecordMergeRhsEmpty, "unit/RightBiasedRecordMergeRhsEmpty");
- // ti_success!(ti_success_unit_RightBiasedRecordMergeTwo, "unit/RightBiasedRecordMergeTwo");
- // ti_success!(ti_success_unit_RightBiasedRecordMergeTwoDifferent, "unit/RightBiasedRecordMergeTwoDifferent");
- // ti_success!(ti_success_unit_RightBiasedRecordMergeTwoKinds, "unit/RightBiasedRecordMergeTwoKinds");
- // ti_success!(ti_success_unit_RightBiasedRecordMergeTwoTypes, "unit/RightBiasedRecordMergeTwoTypes");
+ ti_success!(ti_success_unit_RightBiasedRecordMergeRhsEmpty, "unit/RightBiasedRecordMergeRhsEmpty");
+ ti_success!(ti_success_unit_RightBiasedRecordMergeTwo, "unit/RightBiasedRecordMergeTwo");
+ ti_success!(ti_success_unit_RightBiasedRecordMergeTwoDifferent, "unit/RightBiasedRecordMergeTwoDifferent");
+ ti_success!(ti_success_unit_RightBiasedRecordMergeTwoKinds, "unit/RightBiasedRecordMergeTwoKinds");
+ ti_success!(ti_success_unit_RightBiasedRecordMergeTwoTypes, "unit/RightBiasedRecordMergeTwoTypes");
ti_success!(ti_success_unit_SomeTrue, "unit/SomeTrue");
ti_success!(ti_success_unit_Text, "unit/Text");
ti_success!(ti_success_unit_TextLiteral, "unit/TextLiteral");