Debugging this sucks.

Even with the RISC emu GUI.

Redesign vm?  Add more tooling?  Use MetaII?

Happy Thanksgiving!

Emit a sort of symbol table.

4 is already an offset

Definitions.

"swap" word.

"new" word.

Refactor sub_base_merge_and_store.

dup cons i

Forgot to "return" from i combinator.

Even "nicer".

Charming.

dexpr//1

The i combinator.

head_addr

Simple push of empty list.

Dup.

ANd portray_clause to stablize output logical variable names.

halt.

word works with negative numbers now.

symbols moved to head of machine code.

merge_and_store, chain_link

Minor refactor.

It doesn't save space (but if I reuse it once it will.)

Pass through label.

if_literal and lookup

incr stack

Really decr, but I'm abstracting.

Refactoring and cleanup.

load

Bleah.

Base address in unpack_pair.

unpack_pair

Minor refactor.

Refactoring, with oddball quoting "symbols".

That works nicely, again.

Convert to ? DCG and it's macro-time!

I think that does it for cons.

Offsets in pair records can be negative.

That's the mainloop converted to permit negative offsets.

Minor cleanup, bug fixes.

Minor bugfix.

asr not ror.

Cons

Just do it in asm.

hmm...

WIth push2 finished that's the mainloop converted.

lookup

if_literal

A start on converting the mainloop.

Take two on the compiler.

Minor cleanup.

Modify error reporting a lil; words word.

Definition of ii combinator.

    ii == [dip] dupdip i

         a [F] ii
      --------------
          F a F

Call for_serial/2

Using partial deduction to inline literals, functions, and combinators.

minor cleanup

small func recognizes [] and [X].

Rename bar to korf and some docs.

minor cleanup

reintroduce definition of fork; it doesn't shadow func(fork, ...).

read child output after local thun/3

truly fork, sort of

minor cleanup

Minor cleanup.

Move DCG stuff to own file.

Parse ints; move line/{1,2} to main.pl.

Parse floating point numbers.

minor cleanup

minor cleanup

Numbers can be followed by space or [.

Parse negative numbers.

swapd function

assert_defs/1 got upset about not finding combo/5

Minor cleanup of the parser.

rework parser DCGs

Oops! Regression.

minor cleanup

swoncat and fiddling with parser.

Experiment with putting logic vars on the stack.

Remove a cut that sucked.

unstack, least_fraction

Copyright notices.

The sqrt/1 predicate wasn't working.

Multifile func/3.

Build math & comparision functions.

Clean up REPL formatting.

Don't shadow funcs and combos.

Don't shadow funcs & combos.

Extract mainloop to own file.

Use double-quoted string for codes.

cleanup old files

Build defs.pl from defs.txt.

build defs.pl

build defs.pl

Move parser to own file.

map combo

Bring in funcs and combos.

Omit Prolog toplevel.

Do not need thses files.

Fold in parser, main loop, and support.

Rename foo to thun.

Make a version for GNU Prolog compiler.

Also don't shadow combinators.

(I realized that the way defs are parsed now means that each def
(but the last) is first asserted with the wrong definition expression
(it includes the symbol of the following definition at the end) and
then the parser figures out that there's another defintion following
and re-asserts the correct expression.  It would be nice to fix that
but it's kind of a PITA.  I used to build a list of definitions and
then assert them all at the end.  For now there aren't enough defs to
justify the extra work.

Prevent definitions from shadowing functions.

Demo grow/shrink.

Some trailing whitespace or something.