thu

    1 + if true then 1 else a b + c

    ⟨+ 1 ⟨if␣then␣else␣ true 1 ⟨+ ⟨a b⟩ c⟩⟩⟩

    jonesforth.S:540: Error: illegal operands `addi fp,fp,-8'

    { pkgs ? import <nixpkgs> {} }:
    let
      riscv64-pkgs = import <nixpkgs> {
        crossSystem = (import <nixpkgs/lib>).systems.examples.riscv64;
      };
    in
    {
      riscv64 = riscv64-pkgs.mkShell {
        buildInputs = [
        ];
        nativeBuildInputs = [
          riscv64-pkgs.buildPackages.gdb
        ];
      };
    }