front: remove dead code

Author: Nadrieril

Makefile

@@ -10,3 +10,7 @@ wasm:
 .PHONY: web-dev
 web-dev: wasm
 	cd web && pnpm dev
+
+.PHONY: web-lint
+web-lint:
+	cd web && pnpm check

web/package.json

@@ -5,6 +5,7 @@
   "scripts": {
     "dev": "astro dev",
     "start": "astro dev",
+    "check": "astro check",
     "build": "astro check && astro build",
     "preview": "astro preview",
     "astro": "astro"

web/src/components/Solver.jsx

@@ -4,17 +4,14 @@ import init, {
     PredicateStyleJs,
     diff_trace_solver_js,
     display_joint_rules_js,
-    compare_rulesets_js,
 } from "../../typing_rust_patterns/typing_rust_patterns.js";
 import SolverOptions from './SolverOptions.jsx';
 
 import { useEffect, useState, useMemo } from 'react';
 import { useNavigate, useSearchParams } from "react-router-dom";
 import Button from 'react-bootstrap/Button';
 import ButtonGroup from 'react-bootstrap/ButtonGroup';
-import Col from 'react-bootstrap/Col';
 import Container from 'react-bootstrap/Container';
-import Dropdown from 'react-bootstrap/Dropdown';
 import FloatingLabel from 'react-bootstrap/FloatingLabel';
 import Form from 'react-bootstrap/Form';
 import InputGroup from 'react-bootstrap/InputGroup';
@@ -56,10 +53,6 @@ function useStateInParams({searchParams, setSearchParams}, key, def, read = (x)
     return [val, setValAndParams]
 }
 
-function InhRef() {
-    return <span className="inherited-ref" title="inherited reference">&</span>
-}
-
 export function Help({show, setShow, style}) {
     return <>
         <Offcanvas placement="end" scroll show={show} onHide={() => setShow(false)}>

web/src/components/SolverOptions.jsx

@@ -1,24 +1,14 @@
-import init, { RuleSetJs } from "../../typing_rust_patterns/typing_rust_patterns.js";
-
 import { useRef, useState, useEffect } from 'react';
 import Button from 'react-bootstrap/Button';
-import ButtonGroup from 'react-bootstrap/ButtonGroup';
-import Col from 'react-bootstrap/Col';
 import Container from 'react-bootstrap/Container';
-import Dropdown from 'react-bootstrap/Dropdown';
 import Form from 'react-bootstrap/Form';
-import InputGroup from 'react-bootstrap/InputGroup';
 import Navbar from 'react-bootstrap/Navbar';
 import Nav from 'react-bootstrap/Nav';
 import Offcanvas from 'react-bootstrap/Offcanvas';
 import OverlayTrigger from 'react-bootstrap/OverlayTrigger';
-import Row from 'react-bootstrap/Row';
 import Stack from 'react-bootstrap/Stack';
-import Table from 'react-bootstrap/Table';
 import Tooltip from 'react-bootstrap/Tooltip';
 
-await init({});
-
 function InhRef() {
     return <span className="inherited-ref" title="inherited reference">&</span>
 }
@@ -161,7 +151,7 @@ export function OptionElem({ option, options, setOptions, fullWidth }) {
             variant={variant}
             className={"text-nowrap " + (fullWidth ? "w-100" : "")}
             disabled={disabled}
-            onClick={(e) => { setKey(option.name, next_value.name); return false; }}
+            onClick={(_e) => { setKey(option.name, next_value.name); return false; }}
         >
             {hiddenOptionsForWidth}
             <span style={style}>