Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 27, 2021

• Run ocamlformat

  clarus

  committed
  6b42918

Commits on Feb 1, 2021

• Remove existential types from the modules

  clarus

  committed
  4049275

Commits on Jan 4, 2021

• Try to import documentation comments from OCaml

  clarus

  committed
  aeb31c2

Commits on May 12, 2020

• Remove warning messages

  clarus

  committed
  6965148

Commits on Apr 29, 2020

• Add configuration for the requires from long ident

  clarus

  committed
  b738746

Commits on Apr 25, 2020

• Put the name conversion function in the monad + introduce the let* operator

  clarus

  committed
  6767f3b

Commits on Apr 24, 2020

• Add optional import mechanism for required files

  clarus

  committed
  81b7ef1

• Add import_as configuration to list imported files

  clarus

  committed
  fa3a9f4

Commits on Apr 23, 2020

• Add a configuration mechanism to disable guard or positivity checking

  clarus

  committed
  dd54abf

Commits on Mar 19, 2020

• Add sandwitch of environment levels to allow for arbitrary embedding of modules and first-class modules

  clarus

  committed
  4dab039

Commits on Feb 4, 2020

• Add double scoping environment to handle the case of functors inside a signature

  clarus

  committed
  0e96770

Commits on Jan 17, 2020

• Use lets to define elements of the value of a first-class module

  clarus

  committed
  e16bed6

Commits on Jan 16, 2020

• Add include of modules represented as a record

  clarus

  committed
  398bd56

Commits on Jan 13, 2020

• Improve the detection of local modules

  clarus

  committed
  079dc08

Commits on Jan 9, 2020

• Track the local modules to filter-out first class modules

  clarus

  committed
  2460d87

Commits on Nov 13, 2019

• Add errors from Merlin

  clarus

  committed
  6270bd9

Commits on Sep 18, 2019

• Never return a fatal error, always produce something

  clarus

  committed
  7e386b4

Commits on Sep 2, 2019

• Add category to the error messages

  clarus

  committed
  f2be15b

Commits on Sep 1, 2019

• Use a monad to handle multiple errors

  clarus

  committed
  2868cd6

Commits on Aug 30, 2019

• Define a monad

  clarus

  committed
  a2fd6c4

Loading