Skip to main content

more on precise date on ocaml

Dealing with "Precise" Dates

I already posted an article on (begining) playing with Dates on OCaml.

Preparing the Toplevel

As usual, we have to load and use several modules:

 #use "topfind";; #require "calendar";; 

Creating a Second

To create a second, the top reachable precision:

 CalendarLib.Time.Second.from_int 5;; 

Creating a Precise Date

To create a precise date, let's use the "make" function:

 CalendarLib.Fcalendar.Precise.make 2011 08 12 05 32 (float_of_int (CalendarLib.Time.Second.from_int 5));; CalendarLib.Fcalendar.Precise.make 2011 08 12 05 32 5.;; 

Create a Precise Period

When wanting to add 2 days to a date, we must use "The Date + 2 days Period". To create that "Period":

 CalendarLib.Fcalendar.Precise.Period.make 2011 08 12 05 32 (float_of_int (CalendarLib.Time.Second.from_int 5));; CalendarLib.Fcalendar.Precise.Period.make 2011 08 12 05 32 5.;; 

Make an operation (add)

Let's create a Date, and calculate the "two days later" Date:

 let d2 = CalendarLib.Fcalendar.Precise.add (CalendarLib.Fcalendar.Precise.make 2011 08 12 05 32 (float_of_int (CalendarLib.Time.Second.from_int 5))) (CalendarLib.Fcalendar.Precise.Period.make 0 0 2 0 0 (float_of_int (CalendarLib.Time.Second.from_int 0))) ;; let d2 = CalendarLib.Fcalendar.Precise.add (CalendarLib.Fcalendar.Precise.make 2011 08 12 05 32 5.) (CalendarLib.Fcalendar.Precise.Period.make 0 0 2 0 0 0.) ;; 
Then display it:
 CalendarLib.Printer.Precise_Fcalendar.to_string d2;; 

If the Date was from a string

I mostly intend to take the Date from an external source: A "date" field from a SQLite3 database, which is formatted "2011-08-16 16:00:01". To use it:

 let initiale = CalendarLib.Printer.Precise_Fcalendar.from_fstring "%F %T" "2011-08-16 16:00:01";; 
Then to add 2 days to it:
 let initiale_2 = CalendarLib.Fcalendar.Precise.add initiale (CalendarLib.Fcalendar.Precise.Period.make 0 0 2 0 0 (float_of_int (CalendarLib.Time.Second.from_int 0))) ;; 
Finally print it:
 CalendarLib.Printer.Precise_Fcalendar.to_string initiale_2;; 

Popular posts from this blog

npm run build base-href

Using NPM to specify base-href When building an Angular application, people usually use "ng" and pass arguments to that invocation. Typically, when wanting to hard code "base-href" in "index.html", one will issue: ng build --base-href='https://ngx.rktmb.org/foo' I used to build my angular apps through Bamboo or Jenkins and they have a "npm" plugin. I got the habit to build the application with "npm run build" before deploying it. But the development team once asked me to set the "--base-href='https://ngx.rktmb.org/foo'" parameter. npm run build --base-href='https://ngx.rktmb.org/foo did not set the base href in indext.html After looking for a while, I found https://github.com/angular/angular-cli/issues/13560 where it says: You need to use −− to pass arguments to npm scripts. This did the job! The command to issue is then: npm run build -- --base-href='https://ngx.rktmb.org/foo&

emacs29 intelephense

Emacs 29 and PHP Intelephense I use to use Emacs and PHP Intelephense for PHP development. I recently upgraded to Emacs 29 and PHP Intelephense stopped working. I found a solution on Reddit Based on that, I rewrote my .emacs file to use eglot instead of lsp-mode, and this is the result. (use-package eglot :ensure t) (add-hook 'php-mode-hook 'eglot-ensure) (use-package php-mode :ensure t :mode ("\\.php\\'" . php-mode)) (add-to-list 'auto-mode-alist '("\\.php$" . php-mode)) (provide 'lang-php) (use-package company :ensure t :config (setq company-idle-delay 0.3) (global-company-mode 1) (global-set-key (kbd "M- ") 'company-complete)) (require 'eglot) (add-to-list 'eglot-server-programs '((php-mode :language-id "php") . ("intelephense" "--stdio" :initializationOptions (:licenseKey "98989898989898989898"

Jenkins invalid privatekey

Publish over SSH, Message "invalid privatekey:" With quite recent (June-July 2020) installations of Jenkins and OpenSSH, I have the following error message when using the "Deploy overs SSH" Jenkins plug-in and publishing artifacts to the target overs SSH: jenkins.plugins.publish_over.BapPublisherException: Failed to add SSH key. Message [invalid privatekey: [B@d8d395a] This problem seems to be referenced here: https://issues.jenkins-ci.org/browse/JENKINS-57495 Just regenerate a key with the right parameters To solve it: ssh-keygen -t rsa -b 4096 Or ssh-keygen -t rsa -b 4096 -m PEM