Commits

Breadcrumbs

History for

one3ff00b

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 1, 2016

• Fix PR#7113: -safe-string can break GADT compatibility check

  garrigue

  committed
  df23448

  Copy full SHA for df23448

Commits on Feb 5, 2016

• Fix PR#7135: only warn about ground coercions in -principal mode

  garrigue

  committed
  b12e708

  Copy full SHA for b12e708

Commits on Dec 22, 2015

• new test typing-missing-cmi

  Show description for 79a4e2f
  hhugo

  committed
  79a4e2f

  Copy full SHA for 79a4e2f

Commits on Oct 2, 2014

• Fix PR#6593: Functor application in tests/basic-modules fails

  Show description for 67f3768
  

  Jacques Garrigue

  committed
  67f3768

  Copy full SHA for 67f3768

Commits on May 4, 2014

• PR#5584: merge open extensible types, extension-patch-4.0.2

  Show description for b56dc4b
  

  Jacques Garrigue

  committed
  b56dc4b

  Copy full SHA for b56dc4b

Commits on Jan 23, 2014

• Fix PR#6303

  Show description for eaa8a78
  

  Jacques Garrigue

  committed
  eaa8a78

  Copy full SHA for eaa8a78

Commits on Jun 22, 2013

• fix PR#5914

  Show description for f4d0232
  

  Jacques Garrigue

  committed
  f4d0232

  Copy full SHA for f4d0232

Loading