ocsigen/ocaml-eliom

Name: ocaml-eliom

Owner: Ocsigen

Description: A modified OCaml compiler for eliom programs

Created: 2016-06-24 12:04:57.0

Updated: 2017-12-10 22:41:45.0

Pushed: 2017-01-16 23:11:51.0

Homepage: null

Size: 69442

Language: OCaml

GitHub Committers

User	Most Recent Commit	# Commits

Other Committers

User	Email	Most Recent Commit	# Commits

README

Eliom compiler

This is an extension of the OCaml compiler to typecheck Eliom programs. This is WIP.

On .ml programs, the behavior is the same as the normal compiler.

In eliom programs, several extensions are available which are quickly explained here: http://ocsigen.org/eliom/5.0/manual/ppx-syntax

server x = 3 (* declaration on the server *)

client y = 4 (* declaration on the client *)

server z : int fragment = [%client ~%y + 1 ]
iece of client code that is manipulated on the server *)

client a =
x (* Injections from the server *)
~%z (* Injections from a fragment. *)