profile
viewpoint

mmottl/postgresql-ocaml 124

OCaml-bindings for the PostgreSQL database

mmottl/pure-fun 115

Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"

mmottl/lacaml 107

OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)

mmottl/sqlite3-ocaml 89

OCaml bindings to the SQLite3 database

mmottl/ocaml-makefile 67

Easy to use Makefile for small to medium-sized OCaml-projects

mmottl/ocaml-prog-pats 48

OCaml Programming Patterns - random tricks, "design patterns", etc.

mmottl/gpr 46

Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.

mmottl/gsl-ocaml 29

OCaml bindings to the GSL (GNU Scientific Library).

mmottl/aifad 27

AIFAD - Automated Induction of Functions over Algebraic Data Types

mmottl/res 25

OCaml library for resizable arrays and strings

pull request commentmmottl/vim-files

Improve SML syntax highlighting

Thanks, I'll trust that you have tested this.

dkearns

comment created time in 13 days

push eventmmottl/vim-files

Doug Kearns

commit sha 2178b44df810146ed112bd59082fc3afc2dde553

Improve SML number highlighting - ~ is the negation operator - match word constants

view details

Doug Kearns

commit sha 05f2c23ec03e96ed878886d07e04e75dd8f7b1ff

Highlight SML escape sequences

view details

Doug Kearns

commit sha 246da1253508f51f9cee65c02e7656de141b71ae

Add syntax method folding to SML comments This can be disabled by setting the sml_no_comment_fold global variable.

view details

Doug Kearns

commit sha b984bad259900fce566f460dd707948aed76a232

Add support for Successor ML lexical extensions This is enabled via the sml_successor_ml global variable. Support line comments, binary integers and words, and underscore separators in number literals.

view details

Markus Mottl

commit sha f8938ddc2e65dcfd582d0fa04773e29a9be33282

Merge pull request #4 from dkearns/sml-syntax-fix-numbers Improve SML syntax highlighting

view details

push time in 13 days

PR merged mmottl/vim-files

Improve SML syntax highlighting
  • ~ is the negation operator
  • match word constants
  • match escape sequences in strings and characters
  • syntax method folding for block comments
  • Successor ML lexical extensions including line comments, underscore number separators, and binary integer literals
+54 -10

0 comment

1 changed file

dkearns

pr closed time in 13 days

pull request commentocaml/opam-repository

gsl: Make unavailable on arm32

@mseri I'm afraid, but I don't have access to any 32 bit platform and don't know the current status of GSL wrt. double alignment on different architectures. If that's a problem for you and you find a fix for the bindings, please feel free to submit a PR to https://github.com/mmottl/gsl-ocaml.

kit-ty-kate

comment created time in 13 days

push eventmmottl/ocaml

David Allsopp

commit sha 8a3dee3cf00f9e9be345008be52a3977cdf895a3

check-typo: prune directories in .gitignore Saves the need to have directories in both .gitignore and .gitattributes

view details

David Allsopp

commit sha 8d3c2e0a18922cad8a53b8832c8e724fe601a264

check-typo: check for executable after pruning The check for the executable bit was carried out _before_ the prune operation for files not tracked which creates noise for utility scripts

view details

David Allsopp

commit sha aa8100ae2e9eb71c38987e93b85e78163895e88a

Merge pull request #10656 from dra27/check-typo-fixes Two minor fixes to check-typo

view details

Florian Angeletti

commit sha ab0c892cfaf16c8ddc81de7b80ea859d670b5925

Merge pull request #10662 from gasche/pr10661 Fix Btype.is_row_name (cherry picked from commit c6b0f4fb5cf478be9217d896ef91d32d5b588296)

view details

Jacques Garrigue

commit sha adc906e67e17458ab7f36bc4a6d09482b8050013

remove comments about repr-ing (#10665)

view details

Florian Angeletti

commit sha 537a707540167bcd4a426726066e002548822334

Release howto: enumerate all opam packages

view details

Weng Shiwei

commit sha 64023f55c659c8574d6a53ec3daf43b1ccd97972

Ignore `_opam` in git and check-typo. (#10649)

view details

Nicolás Ojeda Bär

commit sha 07dfba8594dd134438d1a01ffb68be3e6519ac45

Add {In,Out}_channel.with_open_{bin,text,gen} and In_channel.input_all (#10596)

view details

Nicolás Ojeda Bär

commit sha 3eb0ab091f83b6d769ba6463a718b6935b011bc5

Install Changes, LICENSE, and READMEs (#10669)

view details

Xavier Leroy

commit sha 082341c298d0d33c3d784540332f5a259fcd38f0

Do not use obsolete macro 'Modify'

view details

Xavier Leroy

commit sha 6e053e0dbba91a7c6ca1aad98f1b46557d319493

Str library: avoid global state in RE engine (#10670) This will work better with Multicore OCaml. The initial backtrack stack block and the array of registers are now local variables of `re_match`, and therefore reside in the C stack. Backtrack stack blocks were reduced from 500 to 200 entries, so that the C stack frame for `re_match` doesn't get too big (under 4 Kb).

view details

Sébastien Hinderer

commit sha 8f713c59f7732d1547e06eea5775b42c9ea56da7

Fix script for Inria's other-configs CI job This commit contains two fixes: 1. Remove a superfluous occurence of "-conf --disable-native-compiler" (passed twice) 2. Remove the "-no-native" option which is no longer necessary.

view details

Sébastien Hinderer

commit sha 667a9eb8cb29f02ca244256a1e686eb80fd1712e

Also test --with-pic in Inria's other-configs CI job

view details

David Allsopp

commit sha f4d6410448b43fa223b5acc5ddf474584780065c

Allow for gcc with prefixes in configure When detecting if CC is gcc, `*gcc*` used in some places and `gcc*` in others. Use `*gcc*` everywhere.

view details

David Allsopp

commit sha f1be534e3d6798c6174960f99625bf64b901bdc7

Use $cc_basename in configure for detection libtool's initialisation provide $cc_basename which allows better handling when CC is a path rather than just the name of the C compiler.

view details

Leo White

commit sha f23e9745addecd922df989092561cde91fd979a4

Expose descriptions in Warnings module

view details

Leo White

commit sha fc543aa54adeb8c9a0b8bada4eeacf30f3a781b2

Add Changes entry

view details

Leo White

commit sha 1ab49ceb5809ad67b668ec7c08d2d99c6d54fdc0

Merge pull request #10678 from lpw25/expose-warnings-description Expose descriptions in Warnings module

view details

Leo White

commit sha 10074989bbedd35ddb08994517b1bb79b3386171

Fix freshening of identifiers

view details

Leo White

commit sha 134a55dfee9449005413e3b8c9b95c05bb0f39b1

Bootstrap

view details

push time in 13 days

pull request commentocaml/vim-ocaml

Support the quoted string with extension point shortcut.

Thanks!

paurkedal

comment created time in a month

push eventocaml/vim-ocaml

Petter A. Urkedal

commit sha b947ba7e61de0d827c94f99d174e2841c8023ff6

Support the quoted string with extension point shortcut.

view details

Markus Mottl

commit sha 2ebddd0ef575193e2aac31172f8f3a5f543f530f

Merge pull request #70 from paurkedal/extension-quote Support the quoted string with extension point shortcut.

view details

push time in a month

PR merged ocaml/vim-ocaml

Support the quoted string with extension point shortcut.

(This could be merged with the above line, but I think it would make the regex rather complex due to the mandatory space when both the extension and tag are present.)

+1 -0

0 comment

1 changed file

paurkedal

pr closed time in a month

Pull request review commentvim/vim

Updated SML syntax file

 " Filenames:    *.sml *.sig " Maintainers:  Markus Mottl            <markus.mottl@gmail.com> "               Fabrizio Zeno Cornelli  <zeno@filibusta.crema.unimi.it>-" URL:          http://www.ocaml.info/vim/syntax/sml.vim-" Last Change:  2006 Oct 23 - Fixed character highlighting bug (MM)-"               2002 Jun 02 - Fixed small typo  (MM)-"               2001 Nov 20 - Fixed small highlighting bug with modules (MM)+" Last Change:  2019 Oct 01 - Only spell check strings & comments (Chuan Wei Foo)+"               2015 Aug 31 - Fixed opening of modules (Ramana Kumar)+"               2006 Oct 23 - Fixed character highlighting bug (MM)  " quit when a syntax file was already loaded if exists("b:current_syntax")++" Disable spell checking of syntax.+syn spell notoplevel

Thanks, I've updated my version of the SML syntax file.

mmottl

comment created time in a month

PullRequestReviewEvent

push eventmmottl/vim-files

Markus Mottl

commit sha 43c1c61b761e042eea851c280c16b9b473728f45

Synced SML syntax file with upstream

view details

push time in a month

push eventmmottl/vim

Bram Moolenaar

commit sha ec1b0968aa90d408a79b5b5dca465f65e69753a1

patch 8.2.3405: cannot have a comment line in a {} block of a user command Problem: Cannot have a comment line in a {} block of a user command. Solution: Continue after the line break. (closes #8837)

view details

Bram Moolenaar

commit sha 3ae5fc9a6a881e0be381e4cc70080ac5908d7520

patch 8.2.3406: on some systems tests fail without _REENTRANT Problem: On some systems tests fail without _REENTRANT. (Elimar Riesebieter) Solution: Add -D_REENTRANT in configure. (closes #7402)

view details

Bram Moolenaar

commit sha 3b318513561b5862944769188ae4af6b70311838

patch 8.2.3407: using uninitialized memory with "let g:['bar'] = 2" Problem: Using uninitialized memory with "let g:['bar'] = 2". Solution: Initialize v_type of a new dict item.

view details

Bram Moolenaar

commit sha ddfc05100a29263a682dd96bb924dfde4354a654

patch 8.2.3408: can delete a numbered function Problem: Can delete a numbered function. (Naohiro Ono) Solution: Disallow deleting a numbered function. (closes #8760)

view details

Bram Moolenaar

commit sha 65b605665997fad54ef39a93199e305af2fe4d7f

patch 8.2.3409: reading beyond end of line with invalid utf-8 character Problem: Reading beyond end of line with invalid utf-8 character. Solution: Check for NUL when advancing.

view details

Bram Moolenaar

commit sha 89a54b413a8c96206ce7e038dde81a6eff6cd6b8

patch 8.2.3410: crash with linebreak, listchars and large tabstop Problem: Crash with linebreak, listchars and large tabstop. Solution: Account for different size listchars for a tab. (closes #8841)

view details

Bram Moolenaar

commit sha 6853c38b78fe5333f95470e1ff3ca6741247e600

patch 8.2.3411: Vim9: crash when using base name of import Problem: Vim9: crash when using base name of import. (Naohiro Ono) Solution: Check the import flags. (closes #8843)

view details

Bram Moolenaar

commit sha af2d5d2ce26029a47547c05be964e749bb0310d0

patch 8.2.3412: Vim9: importing the wrong file Problem: Vim9: importing the wrong file. Solution: Correct the file name. Delete the file afterwards.

view details

Bram Moolenaar

commit sha a9e3d560877489acf751f99e045ab1d78e13249c

patch 8.2.3413: Vim9: too many characters are allowed in import name Problem: Vim9: too many characters are allowed in import name. Solution: Disallow ':' and '#', check for white space. (closes #8845)

view details

Bram Moolenaar

commit sha 80c88eac5a81dd9f1a96fc80cb8aab6c84fe7b86

patch 8.2.3414: fullcommand() gives wrong name with buffer-local user command Problem: fullcommand() gives the wrong name if there is a buffer-local user command. (Naohiro Ono) Solution: Use a separate function to get the user command name. (closes #8840)

view details

Yegappan Lakshmanan

commit sha fc3b775055c2361e507a1a44008d5a7d37eecf14

patch 8.2.3415: Vim9: not all function argument types are properly checked Problem: Vim9: Not all function argument types are properly checked. Solution: Add and improve argument type checks. (Yegappan Lakshmanan, closes #8839)

view details

Bram Moolenaar

commit sha 36f691f5f1d0676f080cc97d697d742ed5cc8251

patch 8.2.3416: second error is reported while exception is being thrown Problem: Second error is reported while exception is being thrown. Solution: Do not check for trailing characters when already aborting. (closes #8842)

view details

Bram Moolenaar

commit sha 072f1c68884a1e2d468a0f39e27fc28168fb4b03

patch 8.2.3417: Vim9: a failing debug expression aborts script sourcing Problem: Vim9: a failing debug expression aborts script sourcing. Solution: Do not let expression failure abort script sourcing. (closes #8848)

view details

Christian Brabandt

commit sha 070ac3433b0ebefd6dc6cd49707fcfa1421b9e67

patch 8.2.3418: garbage collection while evaluating may cause trouble Problem: Garbage collection while evaluating may cause trouble. Solution: Disable garbage collection while evaluating an expression. (Christian Brabandt, issue #8848)

view details

Bram Moolenaar

commit sha 0325d3967ce7d0fd35bc1472fd476b911b895b76

patch 8.2.3419: a failing debug expression may make Vim unusable Problem: A failing debug expression may make Vim unusable. Solution: Suppress error messages. (closes #8848)

view details

Christian Brabandt

commit sha 6b9efdde7828b3317b64f38bd90fb5a784a654c0

patch 8.2.3420: _REENTRANT defined more than once Problem: _REENTRANT defined more than once. Solution: Fix configure script. (Christian Brabandt, closes #8852)

view details

Dominique Pelle

commit sha d176ca3dde47c11aae0376c31b7e1ba0939c8c6c

patch 8.2.3421: a bit of code is not covered by tests Problem: A bit of code is not covered by tests. Solution: Add a few more test cases. (Dominique Pellé, closes #8857)

view details

Bram Moolenaar

commit sha 6c391a74fe90190796ca0b0c010112948a6e75d7

Update runtime files

view details

Bram Moolenaar

commit sha efc084e3353d6854b6dac8b240f70cb0abb838ad

patch 8.2.3422: Vim9: no failure if return type differs from returned var Problem: Vim9: no failure if return type differs from returned variable. Solution: Copy type when copying a list. (closes #8847)

view details

Bram Moolenaar

commit sha 07802044b90b2cbcc64b2dfe235f019d7c37589c

patch 8.2.3423: Vim9: list += list creates a new list in :def function Problem: Vim9: list += list creates a new list in :def function. Solution: Append to the existing list.

view details

push time in a month

pull request commentocaml/vim-ocaml

Set b:undo_indent

Thanks!

dkearns

comment created time in 2 months

push eventmmottl/vim-files

Markus Mottl

commit sha 29d78515de3faef80dcfc069612de2409a9e3c5a

Merged more undo_indent changes

view details

push time in 2 months

push eventocaml/vim-ocaml

Doug Kearns

commit sha 87b0a7a6c18a4a0f42bc61e3ad3ece3c66a840a3

Set b:undo_indent See :help undo_indent for details.

view details

Markus Mottl

commit sha 71a92858d614e1682db36fc414ca54c7d7199a24

Merge pull request #69 from dkearns/set-undo_indent Set b:undo_indent

view details

push time in 2 months

PR merged ocaml/vim-ocaml

Set b:undo_indent

See :help undo_indent for details.

+5 -0

0 comment

2 changed files

dkearns

pr closed time in 2 months

pull request commentocaml/ocaml

Added some missing C99 float operations

The only reliable way to establish cross-platform consistency would be to provide our own implementation everywhere. I don't think this is necessary or even preferable. Implementations do not just differ in space (platform) but also over time. Sometimes there may not be a clear winner, with some implementations approximating better in some regions than others. Or some may sacrifice a little precision for significant speedups. As a matter of fact, it is extremely difficult to come up with fast implementations with provable guarantees. Distasteful as the Windows behavior for asinh(0) may seem, it is likely not a problem for typical applications.

Here is a short discussion concerning precision requirements in the C standard: https://stackoverflow.com/questions/20945815/math-precision-requirements-of-c-and-c-standard

You may also want to check out CRlibm and the newer MetaLibm to see what we would be getting into if we were striving for perfection. Btw., @Chris00 has kindly provided bindings for CRlibm: OCaml-CRlibm

mmottl

comment created time in 2 months

pull request commentocaml/ocaml

Added some missing C99 float operations

It definitely seems peculiar that the Windows C99 implementation would behave that way, but I agree that this should not be a concern for OCaml. Developers using other languages on Windows platforms would probably prefer seeing consistent results when trying out such functions in OCaml, even if these results go against good numerical taste.

mmottl

comment created time in 2 months

push eventmmottl/ocaml

David Allsopp

commit sha 88676f6db6b458cb77d3525c07b175c25dfc4f88

Use build_config.h instead of -DOCAML_STDLIB_DIR Cygwin no longer provides the iconv command by default, which means the translation of LIBDIR into OCAML_STDLIB_DIR cannot be guaranteed to succeed. Technically, an unusual PREFIX could also result in an invalid C constant in the Unix build. Introduce a (relatively) small C program to carry out the function of iconv and also translate the constant on the Unix side as well.

view details

Valentin Gatien-Baron

commit sha f9066346fd6be2615d246c103790cf96c397bfa7

improve documentation of live_words field of gc stats

view details

David Allsopp

commit sha 7a529fbafaede7f39e51ec52803133961bfc5848

Abstract wmain/main difference with main_os Introduce main_os in misc.h to allow: #ifdef _WIN32 int wmain(int argc, wchar_t **argv) #else int main(int argc, char **argv) #endif to be written: int main_os(int argc, char_os **argv)

view details

David Allsopp

commit sha 1c7e469f21b60043700c3ba5ce54155607f6f95f

Compute STDLIB_MODULES with a C auxiliary Eliminates the dependency on many invocations of `tr` and `cut` to a single invocation of a C auxiliary. On Windows, the C auxiliary is considerably faster than the large number of calls to tr and cut which were necessary in stdlib/StdlibModules.

view details

David Allsopp

commit sha 91058bd6f38dcc0fbc373a522ac3dbb00a35dc36

Disable systhreads if unix isn't built

view details

sliquister

commit sha 986e8329c58885b1056c08b6f7610d07ea66de9f

gc.mli: tweak phrasing Co-authored-by: Damien Doligez <damien.doligez@gmail.com>

view details

Armaël Guéneau

commit sha c7aa1a90091f5c33b5167891435c66f18e8fbfd0

Add a test for error highlighting in presence of tabs

view details

Armaël Guéneau

commit sha ef16261ae444b1472cc8524a67d1801577d8bad7

Error source highlighting: align using tabs to match tabs in the source Fixes #9116

view details

Armaël Guéneau

commit sha 6711b12463af3ce7e4ee001b80b7a5746167eea6

check-typo: highlight_tabs.ml contains tabs

view details

Armaël Guéneau

commit sha 97d57dedffbc9a2cfcf149a1e00c6bb2521ad2be

Add a Changes entry

view details

David Allsopp

commit sha d12ddb5a125f28ddcf7f74e852a23ac391be342a

Fix manpages build when libraries are disabled

view details

David Allsopp

commit sha e517c653c91ceac4b5b4fb7ceef357ce42465f25

Remove no longer used SRC from ocamldoc/Makefile

view details

David Allsopp

commit sha e6d42ce95a547d2b494c121231e48c34deea6234

Use ROOTDIR not SRC in manual build system The build system is vast enough without two names for the same thing!

view details

David Allsopp

commit sha ffee03bb71c6cfa2845db565c4302e8eb3ad9702

curl quietly

view details

David Allsopp

commit sha a9e71bd7605033cfffe4c9a8da2ea028d959dd3a

Fix incorrect pattern rule

view details

David Allsopp

commit sha 1951ae0fbbc3924e24ececea51f848621f46e70a

Eliminate need for abspath

view details

David Allsopp

commit sha a4ac8615d9ef49cb696d36f54300ad3b691b5d04

Remove unnecessary COMPFLAGS in manual

view details

David Allsopp

commit sha fa2e1ccf142acf1961678054d813efdc3e343486

Remove unnecessary CAML_LD_LIBRARY_PATH

view details

David Allsopp

commit sha 6905c8986d2267b047bd1a3a76718469458135cb

Clarify: it doesn't need to be that complicated

view details

David Allsopp

commit sha 2c7c86adce617b3d91b4bbaba4b76dfec772763d

Merge pull request #10586 from dra27/fix-manpages-partial Fix manpages build when libraries are disabled

view details

push time in 2 months

issue commentmmottl/sqlite3-ocaml

Extended error codes

Sorry, I must have missed this issue for a while, probably because GitHub only sent the initially empty email.

It might make sense to support easy matching on error categories. There may be users who are not well-acquainted with matching on polymorphic variant types so option 2 may be easier for them than option 3. Option 1 would seem awkward to use.

Please feel free to submit a PR with extended error codes.

paurkedal

comment created time in 2 months

delete branch mmottl/sqlite3-ocaml

delete branch : improved-testing

delete time in 2 months

create barnchmmottl/opam-repository

branch : release-sqlite3-5.1.0

created branch time in 2 months

PR merged mmottl/sqlite3-ocaml

Add let-operator to safely close DB

This can be used as a convenience, instead of having to manually call db_close or remember to set up the close in some other way.

+13 -0

0 comment

2 changed files

yawaramin

pr closed time in 2 months

push eventmmottl/sqlite3-ocaml

Yawar Amin

commit sha a4a1a95374f70729d1a6bfc397a9bafa8eb9e011

Add let-operator to safely close DB This can be used as a convenience, instead of having to manually call `db_close` or remember to set up the close in some other way.

view details

Yawar Amin

commit sha ce647de22820d146e6224547cb9207f73432db77

Correct the exception type raised by the finally block

view details

Markus Mottl

commit sha ace33fad3be799a8cbbf9d26ba77a1f7bb171e21

Improved let& close error message

view details

Markus Mottl

commit sha 1662b5189a24093fbed69aa90339adf0801c9e7b

Improved comment formatting

view details

Markus Mottl

commit sha 0cb790fd06dff82856ab107bbfe5d1728c474053

Updated changelog

view details

push time in 2 months

PR opened ocaml/opam-repository

[new release] sqlite3 (5.1.0)

SQLite3 bindings for OCaml

  • Project page: <a href="https://mmottl.github.io/sqlite3-ocaml">https://mmottl.github.io/sqlite3-ocaml</a>
  • Documentation: <a href="https://mmottl.github.io/sqlite3-ocaml/api">https://mmottl.github.io/sqlite3-ocaml/api</a>
CHANGES:
  • Added let&-operator for implicit closing of an opened database.

    Thanks to Yawar Amin yawar.amin@gmail.com for this contribution!

+48 -0

0 comment

1 changed file

pr created time in 2 months

release mmottl/sqlite3-ocaml

5.1.0

released time in 2 months

created tagmmottl/sqlite3-ocaml

tag5.1.0

OCaml bindings to the SQLite3 database

created time in 2 months

push eventmmottl/sqlite3-ocaml

Markus Mottl

commit sha 04736fa6716ccafc1832d861fc962660b6353fc2

Update sqlite3 doc to 5.1.0.

view details

push time in 2 months

push eventmmottl/vim-files

Markus Mottl

commit sha 5895c56c5f8c4c18e40f733eff136c0ce79de9e7

More undo_ftplugin improvements

view details

push time in 2 months

pull request commentocaml/vim-ocaml

Set undo_ftplugin for remaining filetypes

Thanks for the contributions!

dkearns

comment created time in 2 months

more