History log of /seL4-l4v-10.1.1/HOL4/src/parse/PrecAnalysis.sml
Revision Date Author Comments
# ba84673c 10-Aug-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Parse normal list-forms, including GSPEC, but fail to print them


# 4ed22e30 10-Aug-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Parsing of lets (even with ;'s) works; absyn post-processing doesn't


# ede4d6e9 09-Aug-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

src/parse compiles but parser broken.

Completed change to remove LISTRULE form from grammar. Instead, all
list syntax is handled with embedded ListForms within normal rules.


# 7944f9bc 09-Aug-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Write a function to find possible "list" reductions within a phrase

Will need lots of test-cases as it's painfully complicated


# e8895bc2 08-Aug-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

WIP for change to list syntax handling.

Very broken at the moment