836-no-path-exists1.yaml

version: 1
name: Builtin pathfinding, unreachable goal, enclosed robot
description: |
  There is finite area to explore, so
  this will terminate quickly.
creative: false
objectives:
  - goal:
      - Flower must not be reachable.
    condition: |
      as base {
        nextDir <- path (inL ()) (inR "flower");
        pure $ case nextDir (\_. true) (\_. false);
      };
solution: |
  noop;
entities:
  - name: wayfinder
    display:
      char: 'w'
    description:
      - Enables `path` command
    properties: [known, pickable]
    capabilities: [path]
robots:
  - name: base
    dir: east
    devices:
      - treads
      - logger
      - ADT calculator
      - dictionary
      - wayfinder
known: [mountain, flower, tree]
world:
  palette:
    'B': [grass, null, base]
    '.': [grass]
    'x': [stone, mountain]
    'f': [grass, flower]
  upperleft: [0, 0]
  map: |
    xxxxx......
    x...x......
    x.B.x...f..
    x...x......
    xxxxx......