aboutsummaryrefslogtreecommitdiff
path: root/kernel/names.ml
AgeCommit message (Expand)Author
2018-07-24Projections use index representationGaëtan Gilbert
2018-06-18Remove Canary.whitequark
2018-06-12[api] Misctypes removal: miscellaneous aliases.Emilio Jesus Gallego Arias
2018-05-30[api] Remove deprecated aliases from `Names`.Emilio Jesus Gallego Arias
2018-05-30[api] Reintroduce `Names.global_reference` aliasEmilio Jesus Gallego Arias
2018-05-04[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.Emilio Jesus Gallego Arias
2018-03-09Allow using cumulativity without forcing strict constraints.Gaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2017-11-21[api] Miscellaneous consolidation + moves to engine.Emilio Jesus Gallego Arias
2017-10-16Use type nonrec in some functor arguments.Gaëtan Gilbert
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-04A few typos.Hugo Herbelin
2017-05-31Creating a module Nameops.Name extending module Names.Name.Hugo Herbelin
2017-05-27[cleanup] Unify all calls to the error function.Emilio Jesus Gallego Arias
2017-05-20Revised behavior on ill-formed identifiers.Hugo Herbelin
2017-04-27Remove some unused values and typesGaetan Gilbert
2017-04-20refactoring "Names.DirPath.is_empty" functionMatej Kosik
2017-04-20refactoring "Names.DirPath.compare" functionMatej Kosik
2017-04-20refactoring "Names.DirPath.equal" functionMatej Kosik
2017-04-10Revert "refactoring: Names.DirPath.equal"Matej Košík
2017-04-10Revert "refactoring: Names.DirPath.compare"Matej Košík
2017-04-10Revert "refactoring: Names.DirPath.is_empty"Matej Košík
2017-04-10refactoring: Names.DirPath.is_emptyMatej Kosik
2017-04-10refactoring: Names.DirPath.compareMatej Kosik
2017-04-10refactoring: Names.DirPath.equalMatej Kosik
2017-03-14[safe-string] Enable -safe-string !Emilio Jesus Gallego Arias
2017-03-14[safe_string] library/nameopsEmilio Jesus Gallego Arias
2016-12-07Merge branch 'v8.6'Pierre-Marie Pédrot
2016-12-02Fix #5242 - Dubious unsilenceable warning on invalid identifierMaxime Dénès
2016-10-26COMMENT: Names.Cmap and Names.Cmap_envMatej Kosik
2016-08-30CLEANUP: switching from "right-to-left" to "left-to-right" function compositi...Matej Kosik
2016-08-24Changing the definition of the "Lib.variable.info" type to enable us to do mo...Matej Kosik
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-03-30Merge branch 'v8.5'Pierre-Marie Pédrot
2016-03-22A patch renaming equal into eq in the module dealing withHugo Herbelin
2016-03-22Adding eq/compare/hash for syntactic view atHugo Herbelin
2016-02-18ADD: Names.Name.is_{anonymous,name}Matej Kosik
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-11COMMENTS: added to the "Names.inductive" and "Names.constructor" types.Matej Kosik
2015-12-18COMMENTS: added to the "Names" module.Matej Kosik
2015-09-20Better debug printers for module paths.Maxime Dénès
2015-08-02Reverting 16 last commits, committed mistakenly using the wrong push command.Hugo Herbelin
2015-08-02A patch renaming equal into eq in the module dealing withHugo Herbelin
2015-08-02Adding eq/compare/hash for syntactic view atHugo Herbelin
2015-07-30Followup of 9f81b58551.Pierre-Marie Pédrot
2015-07-30Fixing bug #4289 (hash-consing only user part of constant notHugo Herbelin
2015-07-02Display functions for primitive projections.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:45:51 +0000