front: add "Expression" style as secret option

Author: Nadrieril

src/wasm.rs

@@ -193,10 +193,14 @@ impl PredicateStyleJs {
         left: &RuleSetJs,
         right: &RuleSetJs,
     ) -> Option<PredicateStyleJs> {
-        let ty = TypeOfInterest::from_str(name).ok()?;
-        let left = left.as_ruleset();
-        let right = right.as_ruleset();
-        let style = PredicateStyle::sequent_with_minimal_state(ty, left, right);
+        let style = if name == "Expression" {
+            PredicateStyle::Expression
+        } else {
+            let ty = TypeOfInterest::from_str(name).ok()?;
+            let left = left.as_ruleset();
+            let right = right.as_ruleset();
+            PredicateStyle::sequent_with_minimal_state(ty, left, right)
+        };
         Some(PredicateStyleJs(style))
     }
 
@@ -208,7 +212,10 @@ impl PredicateStyleJs {
         let mut out = String::new();
         match self.0 {
             PredicateStyle::Expression => {
-                todo!("explain expression style")
+                let _ = write!(
+                    &mut out,
+                    "Track the user-observable type along with the expression being matched on"
+                );
             }
             PredicateStyle::Sequent {
                 ty: type_of_interest,

web/src/components/Solver.jsx

@@ -98,7 +98,7 @@ export function Help({show, setShow, style}) {
     </>
 }
 
-const availableStyles = ['UserVisible', 'InMemory'];
+const availableStyles = ['UserVisible', 'InMemory', 'Expression'];
 
 export function MainNavBar({compare, setCompare, style, setStyleName, styleMap}) {
     const navigate = useNavigate()
@@ -408,7 +408,7 @@ export default function Solver() {
     const [optionsRight, setOptionsRight] = useStateInParams(sp, 'opts2', RuleSetJs.from_bundle_name('rfc3627', 'rfc3627'), RuleSetJs.decode, (o) => o.encode());
     const [inputQuery, setInputQuery] = useStateInParams(sp, 'q', "[&x]: &mut [&T]");
     const [mode, setMode] = useStateInParams(sp, 'mode', 'typechecker', validateIn(['typechecker', 'rules', 'compare']));
-    const [styleName, setStyleName] = useStateInParams(sp, 'style', 'UserVisible',  validateIn(['UserVisible', 'InMemory', 'Sequent', 'SequentBindingMode']));
+    const [styleName, setStyleName] = useStateInParams(sp, 'style', 'UserVisible',  validateIn(['UserVisible', 'InMemory', 'Expression', 'Sequent', 'SequentBindingMode']));
 
     // Map from style name to predicate style. Takes into account the selected
     // options to hide parts of the predicate we don't care about.