Commits

Breadcrumbs

History for

onflambda2.0-toplevel_exprs

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 16, 2019

• subst: explicitly rescope signatures (WIP)

  trefis

  committed
  aa0acfb

  Copy full SHA for aa0acfb

Commits on Feb 25, 2019

• enforce that every call to save_desc is necessarily followed by cleanup_types (#2261)

  trefis

  committed
  d29455f

  Copy full SHA for d29455f

Commits on Oct 8, 2018

• Revert "update locations for destructive substitutions"

  Show description for 314a9dd
  trefis

  committed
  314a9dd

  Copy full SHA for 314a9dd

Commits on Sep 21, 2018

• move refresh_signature out of Subst, add Env.enter_signature

  trefis

  committed
  4d4fd52

  Copy full SHA for 4d4fd52

• properly scope idents

  Show description for edf310e
  trefis

  committed
  edf310e

  Copy full SHA for edf310e

Commits on Aug 9, 2018

• more precise extension mismatch error messages

  trefis

  committed
  c00a46e

  Copy full SHA for c00a46e

Commits on May 29, 2018

• update locations for destructive substitutions

  trefis

  committed
  f8a8070

  Copy full SHA for f8a8070

Commits on Sep 15, 2017

• Merge pull request #792 from sliquister/generalize-destr-subst2

  Show description for 5cb27d8
  lpw25

  authored
  5cb27d8

  Copy full SHA for 5cb27d8

Commits on Aug 10, 2017

• Typos and basic grammar error fixing (#1280)

  

  Fourchaux

  authored and

  mshinwell

  committed
  72cfdd5

  Copy full SHA for 72cfdd5

Commits on Aug 1, 2017

• Support syntax: S with module M.N := ..

  v-gb

  committed
  ff05023

  Copy full SHA for ff05023

• Support syntax: S with M.N.t := ...

  v-gb

  committed
  f29cd5a

  Copy full SHA for f29cd5a

Commits on Jul 29, 2017

• Support syntax: S with type t := valid-type-expression

  v-gb

  committed
  44b6bbf

  Copy full SHA for 44b6bbf

Commits on Nov 21, 2016

• Fix PR#7414 by adding Mtype.lower_nongen

  garrigue

  committed
  5352e4b

  Copy full SHA for 5352e4b

Commits on Mar 6, 2016

• Fix PR#7152: lower level of non-generalized variables to binding time of enclosing module

  garrigue

  committed
  05922fa

  Copy full SHA for 05922fa

Commits on Feb 18, 2016

• Update headers for the new license.

  Show description for 5401ce8
  damiendoligez

  committed
  5401ce8

  Copy full SHA for 5401ce8

Commits on Jul 17, 2015

• merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)

  Show description for 860c670
  

  Damien Doligez

  committed
  860c670

  Copy full SHA for 860c670

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 Sep 27, 2013

• Keep attributes on module declarations.

  Show description for cc31694
  alainfrisch

  committed
  cc31694

  Copy full SHA for cc31694

Commits on Oct 15, 2012

• remove all $Id keywords

  Show description for def3174
  

  Damien Doligez

  committed
  def3174

  Copy full SHA for def3174

Commits on May 30, 2012

• merge with branch bin-annot

  Show description for d39d43e
  lefessan

  committed
  d39d43e

  Copy full SHA for d39d43e

Commits on Jul 27, 2011

• renaming of Objective Caml to OCaml and cleanup of copyright headers

  Show description for 3b507dd
  

  Damien Doligez

  committed
  3b507dd

  Copy full SHA for 3b507dd

Commits on Jan 22, 2010

• clean up spaces and tabs

  Show description for 04b1656
  

  Damien Doligez

  committed
  04b1656

  Copy full SHA for 04b1656

Commits on May 20, 2009

• merge changes from ocaml3110 to ocaml3111rc0

  Show description for ed32f56
  

  Damien Doligez

  committed
  ed32f56

  Copy full SHA for ed32f56

Commits on Jan 11, 2008

• merge changes 3.10.0 -> 3.10.1

  Show description for 9ea5eda
  

  Damien Doligez

  committed
  9ea5eda

  Copy full SHA for 9ea5eda

Commits on Apr 4, 2002

• normalize for multiple files and trim cmi size

  Show description for c5a2036
  

  Jacques Garrigue

  committed
  c5a2036

  Copy full SHA for c5a2036

• normalize signatures before saving

  Show description for cc80242
  

  Jacques Garrigue

  committed
  cc80242

  Copy full SHA for cc80242

Commits on Nov 17, 1999

• Changement de la licence

  Show description for cc0f32b
  xavierleroy

  committed
  cc0f32b

  Copy full SHA for cc0f32b

Commits on Jun 24, 1998

• Nouvelle syntaxe des classes

  Show description for 87b1730
  vouillon

  committed
  87b1730

  Copy full SHA for 87b1730

Commits on Mar 24, 1997

• Pas besoin de Env.level et Subst.limit_level finalement...

  Show description for 08cc364
  vouillon

  committed
  08cc364

  Copy full SHA for 08cc364

Commits on Mar 14, 1997

• Limitation du niveau des variables non generiques

  Show description for a08f9b1
  vouillon

  committed
  a08f9b1

  Copy full SHA for a08f9b1

Commits on Sep 23, 1996

• Decoupage du module Typedtree en deux: Types et Typedtree.

  Show description for 033ec5b
  xavierleroy

  committed
  033ec5b

  Copy full SHA for 033ec5b

Commits on Apr 30, 1996

• Renommage en Objective Caml

  Show description for 2301d77
  xavierleroy

  committed
  2301d77

  Copy full SHA for 2301d77

Commits on Apr 22, 1996

• Extension objets.

  Show description for 7974a9d
  vouillon

  committed
  7974a9d

  Copy full SHA for 7974a9d

Commits on Aug 9, 1995

• Ajout des notices de copyright

  Show description for e406635
  xavierleroy

  committed
  e406635

  Copy full SHA for e406635

Commits on May 4, 1995

• Passage a la version bootstrappee (franchissement du Rubicon)

  Show description for 61bd8ac
  xavierleroy

  committed
  61bd8ac

  Copy full SHA for 61bd8ac

Loading