issues
search
ocsigen
/
eliomlang
Runtime and tools for the eliom language
ISC License
9
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Various modules related bugs
#18
Drup
opened
7 years ago
0
Compilation of mixed functors
#17
Drup
opened
8 years ago
2
Lift module types when lifting ground modules.
#16
Drup
closed
7 years ago
4
Runtime for converters with one-page application
#15
Drup
opened
8 years ago
0
Better implementation of side-switch for type expressions
#14
Drup
opened
8 years ago
2
Forbid wrong form of injections
#13
Drup
opened
8 years ago
0
Implement cmi splitting tool
#12
Drup
opened
8 years ago
0
Annotate crcs with side
#11
Drup
opened
8 years ago
1
Erase irrelevant crcs when moving from cmi to cmo.
#10
Drup
closed
7 years ago
1
Give a correct side/Ident when loading a persistent module.
#9
Drup
closed
8 years ago
1
Check module inclusion
#8
Drup
closed
8 years ago
1
type name check doesn't account for sides
#7
Drup
closed
8 years ago
1
Implement an eliom-powered toplevel
#6
Drup
opened
8 years ago
1
Implement sections inside modules.
#5
Drup
closed
7 years ago
2
Handle functors with types
#4
Drup
closed
8 years ago
1
Module paths are not properly handled
#3
Drup
closed
8 years ago
1
Mix-side exported interfaces are unsound
#2
Drup
closed
8 years ago
1
Instalation is buggy
#1
Drup
closed
7 years ago
2