• POTTIER Francois's avatar
    Added the generation of the function [symbol], which has type · dd0ba5fa
    POTTIER Francois authored
    ['a lr1state -> 'a symbol] and maps a state (an abstract datum)
    to (a code for) its incoming symbol. This allows inspecting the
    semantic values stored in the stack.
    Updated the demo [calc-incremental] to display the contents of
    the stack at every token. It seems to work!
    dd0ba5fa
codePieces.ml 6.07 KB