Skip to content
Permalink
Branch: master
Commits on May 25, 2019
  1. implement quoted labels

    philandstuff committed May 25, 2019
Commits on May 19, 2019
  1. refactor func (Field) TypeWith()

    philandstuff committed May 19, 2019
    remove some unneeded checks
  2. parse record operators

    philandstuff committed May 19, 2019
  3. fix another multiline bug

    philandstuff committed May 19, 2019
    If a multiline string contained CRLF line endings, it wasn't handled
    properly.  This fixes that.
    
    I raised dhall-lang/dhall-lang#554 to capture a test case for this.
Commits on May 18, 2019
  1. fix remoteSystemsA.dhall

    philandstuff committed May 18, 2019
    This highlighted a multiline bug, which I missed before but have now
    added test cases for.
  2. fix unionOfTypes

    philandstuff committed May 18, 2019
  3. fix some more spec tests

    philandstuff committed May 18, 2019
  4. last few builtins

    philandstuff committed May 18, 2019
  5. use more switchtype

    philandstuff committed May 18, 2019
  6. do direct switchtype on App.normalize

    philandstuff committed May 18, 2019
    Rather than try to pretend an App has an arbitrary number of
    arguments (via BaseFn, NumArgs, GetArg), it's simpler to directly do a
    switch-type on the arguments.
  7. pull in latest dhall-lang master

    philandstuff committed May 18, 2019
    lots more tests passing \o/
  8. More spec tests passing

    philandstuff committed May 17, 2019
    This fixed a whole bunch of minor bugs.
    
    As part of this, I reverted Apps back to containing two Exprs instead of
    an array of Exprs.
Commits on May 13, 2019
  1. Implement Text/show

    philandstuff committed May 13, 2019
Commits on May 12, 2019
  1. implement Natural/fold

    philandstuff committed May 12, 2019
  2. refactor: App now stores a list of Exprs

    philandstuff committed May 12, 2019
    instead of a single Expr
  3. implement Natural/even

    philandstuff committed May 12, 2019
Older
You can’t perform that action at this time.