Merge #57: Update SimplicityHL to latest released version

66e1a6a remove use of deprecated encoding function (Andrew Poelstra)
67720ab SimplicityHl: use released version 0.3 (Andrew Poelstra)
6715eb1 SimplicityHL: use released version 0.2 (Andrew Poelstra)
12c7daf clippy: turn on a bunch of pedantic lints (Andrew Poelstra)
1858e6d clippy: fix a bunch of "trivial" lints (Andrew Poelstra)
ab54fed delete merkle.rs and unused supporting code (Andrew Poelstra)
837cb9c Define a MSRV of 1.78.0 (Andrew Poelstra)

Pull request description:

  Should unblock #56 
  
  After this and #56 we should cut a new release and attempt to update the production site.


ACKs for top commit:
  delta1:
    ACK 66e1a6a; ran cargo test locally 


Tree-SHA512: a978c947e4eeef2a9c341cef0a4d41891ced5c3aabb35ec415ba35d68da30ef5301d520be0da32958bb28e57f16c9888a4101a722d184c6dd9ad5ca775f1e9fe

Author: apoelstra

Cargo.lock

@@ -14,8 +14,7 @@ lib-profile-release = "wasm-release"
 
 [dependencies]
 itertools = "0.13.0"
-#simplicityhl = "0.2.0"
-simplicityhl = { package = "simfony", git = "https://github.com/BlockstreamResearch/simplicityhl", rev = "d5284014e9f67593e50b272f1f676ea8d09f6ec8" }
+simplicityhl = { version = "0.3.0" }
 leptos = { version = "0.6.14", features = ["csr"] }
 leptos_router = { version = "0.6.15", features = ["csr"] }
 console_error_panic_hook = "0.1.7"
@@ -34,3 +33,129 @@ serde_json = "1.0"
 
 [dev-dependencies]
 wasm-bindgen-test = "0.3.50"
+
+[lints.clippy]
+# Exclude lints we don't think are valuable.
+needless_question_mark = "allow" # https://github.com/rust-bitcoin/rust-bitcoin/pull/2134
+manual_range_contains = "allow" # More readable than clippy's format.
+needless_raw_string_hashes = "allow" # No reason not to use raw strings
+uninlined_format_args = "allow" # This is a subjective style choice.
+float_cmp = "allow" # Bitcoin floats are typically limited to 8 decimal places and we want them exact.
+manual_let_else = "allow" # unsure about this one on stylistic grounds
+map_unwrap_or = "allow" # encourages use of `map_or_else` which takes two closures that the reader can't really distinguish
+match_bool = "allow" # Adds extra indentation and LOC.
+match_same_arms = "allow" # Collapses things that are conceptually unrelated to each other.
+must_use_candidate = "allow" # Useful for audit but many false positives.
+similar_names = "allow" # Too many (subjectively) false positives.
+single_match_else = "allow" # bad style; creates long lines and extra lines
+# Exhaustive list of pedantic clippy lints
+assigning_clones = "warn"
+bool_to_int_with_if = "warn"
+borrow_as_ptr = "warn"
+case_sensitive_file_extension_comparisons = "warn"
+cast_lossless = "warn"
+cast_possible_truncation = "allow" # All casts should include a code comment (except test code).
+cast_possible_wrap = "allow" # Same as above re code comment.
+cast_precision_loss = "warn"
+cast_ptr_alignment = "warn"
+cast_sign_loss = "allow" # All casts should include a code comment (except in test code).
+checked_conversions = "warn"
+cloned_instead_of_copied = "warn"
+copy_iterator = "warn"
+default_trait_access = "warn"
+doc_link_with_quotes = "warn"
+doc_markdown = "warn"
+empty_enum = "warn"
+enum_glob_use = "warn"
+expl_impl_clone_on_copy = "warn"
+explicit_deref_methods = "warn"
+explicit_into_iter_loop = "warn"
+explicit_iter_loop = "warn"
+filter_map_next = "warn"
+flat_map_option = "warn"
+fn_params_excessive_bools = "warn"
+from_iter_instead_of_collect = "warn"
+if_not_else = "warn"
+ignored_unit_patterns = "warn"
+implicit_clone = "warn"
+implicit_hasher = "warn"
+inconsistent_struct_constructor = "warn"
+index_refutable_slice = "warn"
+inefficient_to_string = "warn"
+inline_always = "warn"
+into_iter_without_iter = "warn"
+invalid_upcast_comparisons = "warn"
+items_after_statements = "warn"
+iter_filter_is_ok = "warn"
+iter_filter_is_some = "warn"
+iter_not_returning_iterator = "warn"
+iter_without_into_iter = "warn"
+large_digit_groups = "warn"
+large_futures = "warn"
+large_stack_arrays = "warn"
+large_types_passed_by_value = "warn"
+linkedlist = "warn"
+macro_use_imports = "warn"
+manual_assert = "warn"
+manual_instant_elapsed = "warn"
+manual_is_power_of_two = "warn"
+manual_is_variant_and = "warn"
+manual_ok_or = "warn"
+manual_string_new = "warn"
+many_single_char_names = "warn"
+match_wildcard_for_single_variants = "warn"
+maybe_infinite_iter = "warn"
+mismatching_type_param_order = "warn"
+missing_errors_doc = "allow" # FIXME this triggers 184 times; we should fix most
+missing_fields_in_debug = "warn"
+missing_panics_doc = "allow" # FIXME this one has 40 triggers
+mut_mut = "warn"
+naive_bytecount = "warn"
+needless_bitwise_bool = "warn"
+needless_continue = "warn"
+needless_for_each = "warn"
+needless_pass_by_value = "warn"
+no_effect_underscore_binding = "warn"
+no_mangle_with_rust_abi = "warn"
+option_as_ref_cloned = "warn"
+option_option = "warn"
+ptr_as_ptr = "warn"
+ptr_cast_constness = "warn"
+pub_underscore_fields = "warn"
+range_minus_one = "warn"
+range_plus_one = "warn"
+redundant_closure_for_method_calls = "warn"
+redundant_else = "warn"
+ref_as_ptr = "warn"
+ref_binding_to_reference = "warn"
+ref_option = "warn"
+ref_option_ref = "warn"
+return_self_not_must_use = "warn"
+same_functions_in_if_condition = "warn"
+semicolon_if_nothing_returned = "warn"
+should_panic_without_expect = "warn"
+single_char_pattern = "warn"
+stable_sort_primitive = "warn"
+str_split_at_newline = "warn"
+string_add_assign = "warn"
+struct_excessive_bools = "warn"
+struct_field_names = "warn"
+too_many_lines = "allow" # FIXME 14 triggers for this lint; probably most should be fixed
+transmute_ptr_to_ptr = "warn"
+trivially_copy_pass_by_ref = "warn"
+unchecked_duration_subtraction = "warn"
+unicode_not_nfc = "warn"
+unnecessary_box_returns = "warn"
+unnecessary_join = "warn"
+unnecessary_literal_bound = "warn"
+unnecessary_wraps = "warn"
+unnested_or_patterns = "warn"
+unreadable_literal = "warn"
+unsafe_derive_deserialize = "warn"
+unused_async = "warn"
+unused_self = "warn"
+used_underscore_binding = "warn"
+used_underscore_items = "warn"
+verbose_bit_mask = "warn"
+wildcard_imports = "warn"
+zero_sized_map_values = "warn"

Cargo.toml

@@ -6,6 +6,8 @@ SimplicityHL looks and feels like [Rust](https://www.rust-lang.org). Just how Ru
 
 [A live demo is running](https://ide.simplicity-lang.org).
 
+This project should build on Rust **1.78.0**.
+
 ## Develop the project
 
 ### Using Docker

README.md

@@ -0,0 +1 @@
+msrv = "1.78.0"

clippy.toml

@@ -1,4 +1,4 @@
-use leptos::*;
+use leptos::{component, view, IntoView, ReadSignal, Signal, SignalGet};
 use std::str::FromStr;
 use std::sync::Arc;
 

src/components/analysis.rs

@@ -28,7 +28,7 @@ pub fn App() -> impl IntoView {
     provide_context(ActiveRunTab::default());
 
     if program.is_empty() {
-        select_example(examples::get("✍️️ P2PK").expect("P2PK example should exist"))
+        select_example(examples::get("✍️️ P2PK").expect("P2PK example should exist"));
     }
 
     view! {

src/components/app.rs

@@ -1,4 +1,4 @@
-use leptos::{component, create_signal, view, IntoView, SignalGet, SignalSet, *};
+use leptos::{component, create_signal, view, wasm_bindgen, IntoView, SignalGet, SignalSet};
 use wasm_bindgen::JsCast;
 
 #[cfg(target_arch = "wasm32")]
@@ -69,7 +69,7 @@ fn NewsletterForm() -> impl IntoView {
 
         spawn_local(async move {
             match subscribe_to_newsletter(email_value).await {
-                Ok(_) => {
+                Ok(()) => {
                     set_status.set(FormStatus::Success);
                     set_message
                         .set("Thank you for subscribing! We'll keep you updated.".to_string());

src/components/footer.rs

@@ -1,3 +1,5 @@
+#![allow(clippy::needless_pass_by_value)] // leptos has broken lifetime parsing
+
 mod analysis;
 mod app;
 mod copy_to_clipboard;

src/components/merkle.rs

@@ -23,7 +23,7 @@ pub fn Navbar(
         match child {
             TabView::Tab { name, children } => {
                 tabs_content.push((name, children));
-                button_bar.push(view! {<TabButton tab_name=name active_tab=active_tab />})
+                button_bar.push(view! {<TabButton tab_name=name active_tab=active_tab />});
             }
             TabView::Button { children } => button_bar.push(children().into_view()),
         }