Code

Inlinable and Logic Optimisations#614

Code

Merged

Gabriella439 merged 15 commits intodhall-lang:gabriel/new_map_2dhall-lang/dhall-haskell:gabriel/new_map_2from FintanH:fintan/new-mapFintanH/dhall-haskell:fintan/new-mapCopy head branch name to clipboardOct 2, 2018

+139-24

Commits

Commits on Sep 28, 2018

• Cleanup

  FintanH

  committed
  52ec15a

  Copy full SHA for 52ec15a

• Merge branch 'master' of github.com:dhall-lang/dhall-haskell

  FintanH

  committed
  f8c06a9

  Copy full SHA for f8c06a9

• Merge branch 'master' of github.com:dhall-lang/dhall-haskell

  FintanH

  committed
  2b1b43a

  Copy full SHA for 2b1b43a

Commits on Sep 30, 2018

• Centralize all Map-related operations

  Gabriella439

  committed
  60c6245

  Copy full SHA for 60c6245

• Use custom Map implementation

  Gabriella439

  committed
  8cbfc92

  Copy full SHA for 8cbfc92

• Merge branch 'master' of github.com:dhall-lang/dhall-haskell

  FintanH

  committed
  4a4154b

  Copy full SHA for 4a4154b

• Merge branch 'gabriel/new_map' of github.com:dhall-lang/dhall-haskell into new-map

  FintanH

  committed
  e702595

  Copy full SHA for e702595

Commits on Oct 1, 2018

• Inline and specialise functions

  FintanH

  committed
  3267730

  Copy full SHA for 3267730

Commits on Oct 2, 2018

• Custom Eq. Use inlinable

  FintanH

  committed
  92ab938

  Copy full SHA for 92ab938

• Merge branch 'gabriel/new_map_2' of github.com:dhall-lang/dhall-haskell into fintan/new-map

  FintanH

  committed
  04fd884

  Copy full SHA for 04fd884

• Mark inlinable

  FintanH

  committed
  25c8bd2

  Copy full SHA for 25c8bd2

• Remove SCC annotations

  FintanH

  committed
  ac8216b

  Copy full SHA for ac8216b

• mappend from Semigroup

  FintanH

  committed
  71c995f

  Copy full SHA for 71c995f

• mappend from Semigroup

  FintanH

  committed
  da736c2

  Copy full SHA for da736c2

• Clean up of Map, Expr Eq, and TypeCheck

  FintanH

  committed
  afdb14d

  Copy full SHA for afdb14d