Permalink
Commits on Nov 25, 2012
  1. Added some classes

    committed Nov 25, 2012
  2. wibble

    committed Nov 25, 2012
  3. Formatting cleanup

    committed Nov 25, 2012
  4. Major Changes! (see below)

    I've changed the argument representation based on a recommendation from
    Chung-chieh Shan to encode the constraint that external arguments should
    follow internal arguments. I've also added a notion of saturated vs.
    unsaturated arguments to avoid conflating conflating the idea of an
    argument not existing with its having been saturated.
    
    I've also pulled apart some of the merging constraints into
    `can_merge_at` and `selects`. Could still be cleaner, but it seems like
    an improvement.
    
    I've reorganized the file into some cleaner modules as well.
    
    Finally, I've provided some shorthands for typing out argument
    structures.
    committed Nov 25, 2012
  5. Combine cmerge and smerge into single constructor: merge

    As a result, we can clean some stuff up and get rid of the gen_merge
    auxiliary.
    committed Nov 25, 2012
  6. Reflowed comment

    committed Nov 25, 2012
  7. Fixpoint => Definition

    committed Nov 25, 2012
  8. Add comments

    committed Nov 25, 2012
  9. Cleanup

    committed Nov 25, 2012
  10. Fixpoint => Definition

    committed Nov 25, 2012
  11. Fixed bug that allowed bad merge

    Needs cleanup
    committed Nov 25, 2012
  12. Reflow comments

    committed Nov 25, 2012
  13. first commit

    committed Nov 25, 2012