Commits

Branch selector

 main

User selector

garrigue

Datepicker

All time

Commit History

Commits on Dec 19, 2023

• show non-generalizable type parameters in type definitions (#12837)

  garrigue

  authored
  8b96c53

  Copy full SHA for 8b96c53

Commits on Nov 9, 2023

• Fix label evaluation order (#12720)

  Show description for efd7322
  garrigue

  authored
  efd7322

  Copy full SHA for efd7322

Commits on Jul 25, 2023

• Merge branch 'trunk' into abstract_env_for_regularity

  garrigue

  authored
  fac0816

  Copy full SHA for fac0816

Commits on Jul 24, 2023

• add more explanations to typedecl

  garrigue

  committed
  7a2b8cf

  Copy full SHA for 7a2b8cf

Commits on Jul 21, 2023

• bootstrap

  garrigue

  committed
  78bf6fa

  Copy full SHA for 78bf6fa

• tests

  garrigue

  committed
  76c85c1

  Copy full SHA for 76c85c1

• add reason to Type_abstract

  garrigue

  committed
  c09dc89

  Copy full SHA for c09dc89

• fix typo

  garrigue

  committed
  868677a

  Copy full SHA for 868677a

• Build an explicit abstract environment for check_regularity (fix #12334)

  garrigue

  committed
  1752a84

  Copy full SHA for 1752a84

Commits on Jul 7, 2023

• Make Pattern_env.t private (#12361)

  garrigue

  authored
  fff8f84

  Copy full SHA for fff8f84

Commits on Jun 22, 2023

• Do not re-build type for or-pattern if a ground type annotation is given (#12313)

  garrigue

  authored
  5c6584f

  Copy full SHA for 5c6584f

Commits on Jun 6, 2023

• Fix #12145: Loopy constraints cause ocamlc to loop (#12180)

  garrigue

  authored
  a84586d

  Copy full SHA for a84586d

Commits on May 30, 2023

• split unify_pat_types and unify_pat_types_refine

  

  garrigue

  authored and

  t6s

  committed
  03df9df

  Copy full SHA for 03df9df

Commits on Feb 23, 2023

• move Typetexp.TyVarEnv.reset inside with_local_level etc. (#12012)

  Show description for 7e5e712
  

  garrigue

  and

  t6s

  authored
  7e5e712

  Copy full SHA for 7e5e712

Commits on Jan 17, 2023

• bootstrap

  garrigue

  committed
  a1f2768

  Copy full SHA for a1f2768

• Fix #11150: avoid recomputation in Typedecl.check_wellfounded

  garrigue

  committed
  ad82f36

  Copy full SHA for ad82f36

Commits on Jan 14, 2023

• move Ctype.create_scope inside let

  garrigue

  committed
  fcaf274

  Copy full SHA for fcaf274

Commits on Jan 7, 2023

• Fix #11869: weak variance for package types (#11874)

  garrigue

  authored
  b59091f

  Copy full SHA for b59091f

Commits on Jan 6, 2023

• put back with_local_level_if_principal in type_cases

  garrigue

  committed
  d67ffd3

  Copy full SHA for d67ffd3

• enforce_current_level

  garrigue

  committed
  6e4084e

  Copy full SHA for 6e4084e

Commits on Jan 5, 2023

• Pexp_letmodule

  garrigue

  committed
  dbd4b2c

  Copy full SHA for dbd4b2c

Commits on Dec 28, 2022

• remove description of old API

  garrigue

  committed
  59a776d

  Copy full SHA for 59a776d

• with_local_type_variable_scope

  garrigue

  committed
  2214d99

  Copy full SHA for 2214d99

• move comment about old API inside ctype.ml

  garrigue

  committed
  c7dcbdb

  Copy full SHA for c7dcbdb

• update as suggested by @gasche

  garrigue

  committed
  45cbf1a

  Copy full SHA for 45cbf1a

Commits on Dec 27, 2022

• fix comment

  

  garrigue

  authored and

  t6s

  committed
  3a70586

  Copy full SHA for 3a70586

• wrappers revert to original level in case of exception too

  

  garrigue

  authored and

  t6s

  committed
  4cefa2a

  Copy full SHA for 4cefa2a

• remove unnecessary condition

  

  garrigue

  authored and

  t6s

  committed
  928bf62

  Copy full SHA for 928bf62

• properly wrap post-processing in Typetexp.transl_simple_type_delayed

  

  garrigue

  authored and

  t6s

  committed
  529c92f

  Copy full SHA for 529c92f

• separate the detection of unused let-declarations into a wrapper

  

  garrigue

  authored and

  t6s

  committed
  93f3bc1

  Copy full SHA for 93f3bc1

• Use one recursion rather than two [List.fold_left]s in [type_unpacks]

  

  garrigue

  authored and

  t6s

  committed
  849366a

  Copy full SHA for 849366a

Commits on Dec 13, 2022

• Protect Parmatch.pats_of_type from missing cmis (#11809)

  garrigue

  authored
  bfbdefc

  Copy full SHA for bfbdefc

Commits on Nov 23, 2022

• Fix #10768

  Show description for 4d47036
  

  garrigue

  authored and

  Octachron

  committed
  4d47036

  Copy full SHA for 4d47036

Commits on Nov 9, 2022

• simplify further

  garrigue

  committed
  f669914

  Copy full SHA for f669914

• use copy_sep for Tunivar too

  garrigue

  committed
  eef0ce3

  Copy full SHA for eef0ce3

Pagination

Previous

Next