Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 4, 2015

• More reformatting

  Show description for ea9b32f
  cdparks

  committed
  ea9b32f

  Copy full SHA for ea9b32f

• Making mini-core build with stack lts-3.5

  cdparks

  committed
  20ac00c

  Copy full SHA for 20ac00c

Commits on Jan 8, 2015

• Increse max heap size after GC

  cdparks

  committed
  2ebf2ab

  Copy full SHA for 2ebf2ab

• Get rid of GCState

  cdparks

  committed
  55f118e

  Copy full SHA for 55f118e

• Turning garbage collection back on

  cdparks

  committed
  e76e564

  Copy full SHA for e76e564

Commits on Jan 7, 2015

• Remove DoIfThenElse extension

  cdparks

  committed
  577f484

  Copy full SHA for 577f484

• Just making some formatting changes

  Show description for 1599928
  cdparks

  committed
  1599928

  Copy full SHA for 1599928

Commits on May 22, 2014

• Updating cabal file and renaming join in Format.hs to avoid clashing with AMP join

  cdparks

  committed
  2c21bb5

  Copy full SHA for 2c21bb5

Commits on Jan 15, 2014

• Add test for last commit

  cdparks

  committed
  2d2c787

  Copy full SHA for 2d2c787

• Fix bug where a lambda-bound argument was not monomorphic in the body of the lambda

  Show description for 4555f44
  cdparks

  committed
  4555f44

  Copy full SHA for 4555f44

Commits on Dec 8, 2013

• Update README with new --interactive flag

  cdparks

  committed
  ce04e29

  Copy full SHA for ce04e29

Commits on Dec 7, 2013

• Adding --interactive flag for printing machine states one at a time

  cdparks

  committed
  f6eaf92

  Copy full SHA for f6eaf92

Commits on Nov 21, 2013

• Update example program in README

  cdparks

  committed
  2432afc

  Copy full SHA for 2432afc

Commits on Nov 10, 2013

• Fix a bug in type-inference for cases that wasn't propagating the substitution

  Show description for 847fd09
  cdparks

  committed
  847fd09

  Copy full SHA for 847fd09

Commits on Oct 20, 2013

• Add test cases for previous two commits

  Show description for 2a07bd4
  cdparks

  committed
  2a07bd4

  Copy full SHA for 2a07bd4

• Fix type-inference bug that allowed untyped scrutinees in case expressions

  Show description for 38447c5
  cdparks

  committed
  38447c5

  Copy full SHA for 38447c5

• Fix type-inference bug that allowed ill-typed case-expressions

  Show description for e2438db
  cdparks

  committed
  e2438db

  Copy full SHA for e2438db

Commits on Oct 5, 2013

• Show constructor when there is no match for scrutinee in case expression

  cdparks

  committed
  5a1830d

  Copy full SHA for 5a1830d

Commits on Oct 3, 2013

• Adding low-precedence application ($) and function composition (.)

  cdparks

  committed
  7054272

  Copy full SHA for 7054272

Commits on Sep 27, 2013

• Better pretty-printing for Cond and Casejump instructions

  cdparks

  committed
  eef8cba

  Copy full SHA for eef8cba

Commits on Sep 12, 2013

• Add references section to README with links to helpful books/papers

  cdparks

  committed
  ebce94f

  Copy full SHA for ebce94f

• Fix parser so that one can only use capitalized names for data types and constructors

  cdparks

  committed
  da6a5db

  Copy full SHA for da6a5db

Commits on Sep 11, 2013

• Make duplicate bindings in the same scope a type error

  cdparks

  committed
  7de17b2

  Copy full SHA for 7de17b2

• Make renaming transform less extreme - only rename the generated names for lifted lambdas or variables that clash in the current scope

  cdparks

  committed
  d325d8e

  Copy full SHA for d325d8e

Commits on Sep 10, 2013

• Fix indentation in README

  cdparks

  committed
  f0acaf6

  Copy full SHA for f0acaf6

• Updating README. Need to add References section once I have internet access

  cdparks

  committed
  0afa62c

  Copy full SHA for 0afa62c

• Add testcase with some polymorphic functions (used polymorphically!)

  Show description for 0551c5f
  cdparks

  committed
  0551c5f

  Copy full SHA for 0551c5f

• Updating examples and test output for data types. Fixing flags in Makefile.

  cdparks

  committed
  996ac6f

  Copy full SHA for 996ac6f

• Add extension in cabal file for sane if-then-else indentation in do-blocks

  cdparks

  committed
  c04b4d1

  Copy full SHA for c04b4d1

• Rewrite driver code for compiler

  Show description for ec38368
  cdparks

  committed
  ec38368

  Copy full SHA for ec38368

• Make type inference return list of top-level types instead of printing them inline

  cdparks

  committed
  de662fe

  Copy full SHA for de662fe

• Move more of the type-inference types in Types.hs

  cdparks

  committed
  8489c00

  Copy full SHA for 8489c00

• Make GMachine capable of printing state as it executes

  cdparks

  committed
  5aa5e04

  Copy full SHA for 5aa5e04

• Move type pretty-printing into Format.hs and remove some old stuff

  cdparks

  committed
  48dc84f

  Copy full SHA for 48dc84f

Commits on Sep 9, 2013

• Fix bug in Transforms/Constructors.hs where cases inside lambdas weren't being transformed

  cdparks

  committed
  4d8ac0c

  Copy full SHA for 4d8ac0c

Pagination

Previous

Next