Commits

Breadcrumbs

History for

oncore-imp

User selector

All users

All time

Commit History

Commits on Apr 26, 2015

• Remove array type notation and cons binders

  paf31

  committed
  1f94f12

  Copy full SHA for 1f94f12

Commits on Dec 24, 2014

• Merge @garyb's core functional AST changes, fixes #710

  paf31

  committed
  513ded4

  Copy full SHA for 513ded4

Commits on Nov 17, 2014

• Type wildcards are disallowed in type synonyms, data declarations, instances. #287

  paf31

  committed
  2d01405

  Copy full SHA for 2d01405

• Port previous type wildcards implementation

  paf31

  committed
  165a6cb

  Copy full SHA for 165a6cb

Commits on Oct 29, 2014

• Merge branch '618'

  Show description for 40f03bf
  paf31

  committed
  40f03bf

  Copy full SHA for 40f03bf

Commits on Oct 28, 2014

• Simplify replaceAllTypeVars and handle some more edge cases

  paf31

  committed
  d68d1ea

  Copy full SHA for d68d1ea

• First pass at #652

  paf31

  committed
  d410497

  Copy full SHA for d410497

Commits on Oct 27, 2014

• Initial work on #618.

  paf31

  committed
  4b08ade

  Copy full SHA for 4b08ade

Commits on Apr 16, 2014

• Write everythingM' by hand.

  paf31

  committed
  beaef52

  Copy full SHA for beaef52

Commits on Apr 15, 2014

• Write some syb traversals by hand #367

  paf31

  committed
  7d1bbfe

  Copy full SHA for 7d1bbfe

Commits on Apr 12, 2014

• Fix #376 and make types more easily understandable by pushing foralls before constraints in type class members.

  paf31

  committed
  807426a

  Copy full SHA for 807426a

Commits on Apr 6, 2014

• More tests, be explicit about missing type variable in applySubst.

  paf31

  committed
  4974c03

  Copy full SHA for 4974c03

Commits on Mar 25, 2014

• Fix #315 and fix #316

  paf31

  committed
  74c2628

  Copy full SHA for 74c2628

Commits on Mar 7, 2014

• A start on #253

  paf31

  committed
  2e0c57d

  Copy full SHA for 2e0c57d

Commits on Mar 6, 2014

• Reinstate -Wall, fix warnings.

  paf31

  committed
  a178e07

  Copy full SHA for a178e07

Commits on Mar 5, 2014

• Create Prim module

  garyb

  committed
  a36f24f

  Copy full SHA for a36f24f

Commits on Feb 22, 2014

• Removed most lint.

  joneshf

  committed
  79d6d63

  Copy full SHA for 79d6d63

• Multi parameter type classes #125. Also fix #224.

  paf31

  committed
  9420ad3

  Copy full SHA for 9420ad3

Commits on Feb 17, 2014

• Change ModuleName to accept [ProperName]

  garyb

  committed
  d3f368b

  Copy full SHA for d3f368b

Commits on Feb 9, 2014

• Fix #181 - implement capture avoiding type substitution properly

  paf31

  committed
  3fd4ea9

  Copy full SHA for 3fd4ea9

• Free variables calculation, better quantify function.

  paf31

  committed
  7604b66

  Copy full SHA for 7604b66

Commits on Feb 6, 2014

• Fix for #171

  garyb

  committed
  29baa97

  Copy full SHA for 29baa97

• Fix prettyPrintType and update docs #174

  paf31

  committed
  d71ddee

  Copy full SHA for d71ddee

• First work on fixing the skolems bug #147

  

  paf31

  authored and

  garyb

  committed
  97d123e

  Copy full SHA for 97d123e

Commits on Feb 4, 2014

• Use monad-unify 0.2.0

  paf31

  committed
  4cbe6e3

  Copy full SHA for 4cbe6e3

Commits on Feb 2, 2014

• Fix Category bug #158

  paf31

  committed
  e7d219e

  Copy full SHA for e7d219e

• Use `TypeConstructor`s for basic types

  garyb

  committed
  9f939a6

  Copy full SHA for 9f939a6

Commits on Jan 31, 2014

• Remove multiple argument functions, allow type class instances for ->

  paf31

  committed
  b37c730

  Copy full SHA for b37c730

Commits on Jan 30, 2014

• Use monad-unify package

  paf31

  committed
  d59db66

  Copy full SHA for d59db66

Commits on Jan 27, 2014

• Starting work on code comments

  paf31

  committed
  cb57250

  Copy full SHA for cb57250

Commits on Jan 22, 2014

• [] can now be used in type class instances

  paf31

  committed
  67edf7a

  Copy full SHA for 67edf7a

Commits on Jan 13, 2014

• Fix kind checking, code gen for dictionaries

  paf31

  committed
  f0eb3e1

  Copy full SHA for f0eb3e1

Commits on Jan 12, 2014

• More work on desugaring type classes into dictionaries

  paf31

  committed
  e0d0502

  Copy full SHA for e0d0502

Commits on Jan 6, 2014

• Combine Type and Row types to facilitate kind-checking effects later.

  paf31

  committed
  9aa9339

  Copy full SHA for 9aa9339

Commits on Dec 22, 2013

• Allow method calls and other expressions evaluating to {} in statements

  paf31

  committed
  5ff260b

  Copy full SHA for 5ff260b

Pagination

Previous

Next