1. David Lazar
  2. haskell-semantics

Commits

Show all
Author Commit Message Date Builds
David Lazar
Remove generic-k since it now has its own repository: https://github.com/davidlazar/generic-k
David Lazar
Add a README.
David Lazar
Desugar tuples.
David Lazar
Desugar list patterns.
David Lazar
Desugar patterns with infix data constructors.
David Lazar
Desugar (pat) to pat.
David Lazar
Rename variable Q to QOp.
David Lazar
Rename variable QN to QName.
David Lazar
Fix earlier fix: missing underscore in KLabel used in side condition.
David Lazar
Add some test cases and a test harness.
David Lazar
Use an environment variable ($HASKELL_SEMANTICS) to specify the location of compiled K definitions.
David Lazar
Remove unnecessary space.
David Lazar
Add a missing side condition (causing equation (d) to not be applied) to the catch-all case equation.
David Lazar
Remove extra space in comment.
David Lazar
Switch from the "<_/k>" syntax to the "...</k>" for open cells.
David Lazar
Update the semantics to use the new hash builtins (e.g., Int -> #Int).
David Lazar
Fix bug in case semantics causing where clauses to be discarded.
David Lazar
Handle operators/symbols when desugaring function bindings.
David Lazar
Rename the variable Type to MaybeType wherever the sort Maybe Type is expected.
David Lazar
Skip over data declarations (for now).
David Lazar
Make the abstract tuple syntax strict and hybrid.
David Lazar
Attempt to improve pretty-printing using a custom style and mode.
David Lazar
Use parseFileContents, which handles LANGUAGE pragmas, instead of parseModule in hs2k.
David Lazar
Fix incorrect side condition in equation (b) of the formal semantics of case expressions.
David Lazar
Fix bug due to typo in the equation for desugaring lambda abstractions.
David Lazar
Desugar lambda abstractions.
David Lazar
Desugar floating point literals.
David Lazar
Implement equation (d).
David Lazar
Desugar list literals.
David Lazar
Add import to FromK.hs so it compiles with earlier versions of GHC/base.
  1. Prev
  2. Next