Fixwd #455. Replaced Binds with Input's in Evaluate to prevent invalid bind metadata in evaluations.

Author: amyjko

CHANGELOG.md

@@ -17,6 +17,7 @@ Dates are in `YYYY-MM-DD` format and versions are in [semantic versioning](http:
 -   [#504](https://github.com/wordplaydev/wordplay/issues/504). Account for non-fixed-width characters in caret positioning.
 -   [#488](https://github.com/wordplaydev/wordplay/issues/488). Added animations off indicator on stage.
 -   [#500](https://github.com/wordplaydev/wordplay/issues/500). Improved explanation when there's a space between an evaluation's name and inputs.
+-   [#455](https://github.com/wordplaydev/wordplay/issues/455). Replaced `Bind`s with `Input`'s in `Evaluate` to prevent invalid bind metadata in evaluations.
 
 ### Maintenance
 

src/basis/Basis.test.ts

@@ -9,6 +9,7 @@ import Project from '../models/Project';
 import Example from '../nodes/Example';
 import { Basis } from './Basis';
 import DefaultLocale, { DefaultLocales } from '../locale/DefaultLocale';
+import Templates from '@concepts/Templates';
 
 const basis = Basis.getLocalizedBasis(DefaultLocales);
 
@@ -43,7 +44,9 @@ function checkBasisNodes(node: Node) {
             !(conflict instanceof UnusedBind) &&
             !context
                 .getRoot(node)
-                ?.getAncestors(conflict.getConflictingNodes().primary.node)
+                ?.getAncestors(
+                    conflict.getConflictingNodes(Templates).primary.node,
+                )
                 .some((n) => n instanceof Example),
     );
 
@@ -52,7 +55,7 @@ function checkBasisNodes(node: Node) {
         conflicts
             .map((c) =>
                 c
-                    .getConflictingNodes()
+                    .getConflictingNodes(Templates)
                     .primary.explanation(DefaultLocales, context)
                     .toText(),
             )

src/components/annotations/Annotations.svelte

@@ -41,6 +41,7 @@
     import Context from '@nodes/Context';
     import CommandButton from '@components/widgets/CommandButton.svelte';
     import Expander from '@components/widgets/Expander.svelte';
+    import Templates from '@concepts/Templates';
 
     /** The project for which annotations should be shown */
     export let project: Project;
@@ -138,7 +139,7 @@
             // Conflict all of the active conflicts to a list of annotations.
             annotations = conflicts
                 .map((conflict: Conflict) => {
-                    const nodes = conflict.getConflictingNodes();
+                    const nodes = conflict.getConflictingNodes(Templates);
                     const primary = nodes.primary;
                     const secondary = nodes.secondary;
                     // Based on the primary and secondary nodes given, decide what to show.

src/components/editor/InputView.svelte

@@ -0,0 +1,12 @@
+<svelte:options immutable={true} />
+
+<script lang="ts">
+    import type Input from '@nodes/Input';
+    import NodeView from './NodeView.svelte';
+
+    export let node: Input;
+</script>
+
+<NodeView node={node.name} /><NodeView node={node.bind} /><NodeView
+    node={node.value}
+/>

src/components/editor/Menu.svelte

@@ -13,6 +13,7 @@
     import Token from '../../nodes/Token';
     import Bind from '../../nodes/Bind';
     import Evaluate from '../../nodes/Evaluate';
+    import Input from '@nodes/Input';
 
     export let menu: Menu;
     /* What to run when hiding the menu */
@@ -48,13 +49,13 @@
     let evaluateBind: Bind | undefined;
     $: if (
         selectedRevision instanceof Revision &&
-        newNode instanceof Bind &&
+        newNode instanceof Input &&
         newParent instanceof Evaluate
     ) {
         const fun = newParent.getFunction(selectedRevision.context);
         evaluateBind = fun?.inputs.find(
             (input) =>
-                newNode instanceof Bind && input.hasName(newNode.getNames()[0])
+                newNode instanceof Input && input.hasName(newNode.getName()),
         );
     }
     $: selectedConcept =
@@ -108,11 +109,11 @@
                           .some(
                               (node) =>
                                   node instanceof Token &&
-                                  node.getText().startsWith(event.key)
+                                  node.getText().startsWith(event.key),
                           )
                     : $locales
                           .get((l) => l.term[revision.purpose])
-                          .startsWith(event.key)
+                          .startsWith(event.key),
             );
             if (match)
                 menu = menu.inSubmenu()
@@ -194,8 +195,8 @@
                             `/${$locales.get((l) =>
                                 entry instanceof RevisionSet
                                     ? l.term[entry.purpose]
-                                    : ''
-                            )}…/`
+                                    : '',
+                            )}…/`,
                         )}
                     />
                 {/if}

src/components/editor/util/nodeToView.ts

@@ -84,6 +84,7 @@ import FormattedTranslationView from '../FormattedTranslationView.svelte';
 import IsLocaleView from '../IsLocaleView.svelte';
 import SpreadView from '../SpreadView.svelte';
 import MatchView from '../MatchView.svelte';
+import InputView from '../InputView.svelte';
 
 import type Node from '@nodes/Node';
 import Program from '@nodes/Program';
@@ -172,6 +173,7 @@ import Spread from '@nodes/Spread';
 import NoneOrView from '../OtherwiseView.svelte';
 import Otherwise from '@nodes/Otherwise';
 import Match from '@nodes/Match';
+import Input from '@nodes/Input';
 
 const nodeToView = new Map<Function, ComponentType<SvelteComponent>>();
 
@@ -217,6 +219,7 @@ nodeToView.set(TextType, TextTypeView);
 nodeToView.set(FunctionDefinition, FunctionDefinitionView);
 nodeToView.set(FunctionType, FunctionTypeView);
 nodeToView.set(Evaluate, EvaluateView);
+nodeToView.set(Input, InputView);
 
 nodeToView.set(ExpressionPlaceholder, ExpressionPlaceholderView);
 nodeToView.set(BinaryEvaluate, BinaryEvaluateView);

src/components/palette/editOutput.ts

@@ -22,12 +22,13 @@ import { toExpression } from '../../parser/parseExpression';
 import { getPlaceExpression } from '../../output/getOrCreatePlace';
 import type Spread from '../../nodes/Spread';
 import type Locales from '../../locale/Locales';
+import Input from '@nodes/Input';
 
 export function getNumber(given: Expression): number | undefined {
     const measurement =
         given instanceof NumberLiteral
             ? given
-            : given instanceof Bind && given.value instanceof NumberLiteral
+            : given instanceof Input && given.value instanceof NumberLiteral
               ? given.value
               : given instanceof UnaryEvaluate &&
                   given.isNegation() &&

src/components/project/SourceTileToggle.svelte

@@ -6,6 +6,7 @@
     import Toggle from '../widgets/Toggle.svelte';
     import { locales } from '../../db/Database';
     import Emoji from '@components/app/Emoji.svelte';
+    import Templates from '@concepts/Templates';
 
     export let source: Source;
     export let expanded: boolean;
@@ -22,7 +23,7 @@
         secondaryCount = 0;
         if ($conflicts) {
             for (const conflict of $conflicts) {
-                const nodes = conflict.getConflictingNodes();
+                const nodes = conflict.getConflictingNodes(Templates);
                 if (source.has(nodes.primary.node)) {
                     if (!conflict.isMinor()) primaryCount++;
                     else secondaryCount++;

src/concepts/Templates.ts

@@ -76,11 +76,14 @@ import Borrow from '../nodes/Borrow';
 import Otherwise from '@nodes/Otherwise';
 import Match from '@nodes/Match';
 import Spread from '@nodes/Spread';
+import Input from '@nodes/Input';
 
 /** These are ordered by appearance in the docs. */
 const Templates: Node[] = [
     // Evaluation
     Evaluate.make(ExpressionPlaceholder.make(), []),
+    Input.make('_', ExpressionPlaceholder.make()),
+
     FunctionDefinition.make(
         undefined,
         Names.make(['_']),

src/conflicts/Conflict.ts

@@ -28,7 +28,7 @@ export default abstract class Conflict {
      * and "secondary" ones, which are involved. We use this distiction in the editor to decide what to highlight,
      * but also how to position the various parties involved in the visual portrayal of the conflict.
      */
-    abstract getConflictingNodes(): {
+    abstract getConflictingNodes(concepts: Node[]): {
         primary: ConflictingNode;
         secondary?: ConflictingNode;
         resolutions?: Resolution[];