-
Notifications
You must be signed in to change notification settings - Fork 5
Summaries
Using obi to find broken packages following the 4.06 release:
All packages that work on 4.06.0 but fail on 4.06.0+default-unsafe-string
CamlGI 0.6
FrontC 3.4
KaSim 3.5.150925
acme 0.1
acpc 1.0 - 1.2.2
agrep 1.0
alphaCaml 20061214
amqp-client 1.0.1
annexlib 0.13.5
apalogetreieve 0.9.6-4
argon2 0.1, 0.2
atdj 20101001.01, 20151001.01.2
aws 1.0.0 - 1.0.2
aws-autoscaling 0.1.0
aws-cloudformation 0.1.0
aws-cloudtrail 0.1.0
aws-ec2 0.1.0
aws-elasticloadbalancing 0.1.0
aws-sdb 0.1.0
aws-ssm 0.1.0
aws-sts 0.1.0
bddapron 2.2.3 - 2.3.1
benchmark 1.3.1
bencode 0.2
bencode_rpc 0.1, 0.2.1
bes 0.9.3, 0.9.4.2
bibtex2html 1.97, 1.98
bigbro 2.0.4-rev3
bin_prot 113.24.00
biocaml 0.6.0
bitmasks 1.0.0
bitv 1.0 - 1.2
blahcaml 2.1
bolt 1.4
bson 0.89.0 - 0.89.3
cairo 0.4.2
camllib 1.3.1
camlpdf 2.1.1, 2.2.1
camltc 0.9.3 - 0.9.4
camltemplate 1.0.2
camlzip 1.05
caradoc 0.3
cbor 0.1
cconv 0.1
ccss 1.4, 1.5
cfg 2.0.1 - 2.0.4
cgi 0.8
charrua-unix 0.6, 0.9
cil 1.7.3
combine 0.55
containers 0.3.3 - 0.11
coq 8.5.0camlp4 - 8.6.1
coqide 8.5.0 - 8.6.1
cpdf 2.2.1
crc 0.9.0
crunch 1.0.1 - 1.3.0
cry 0.2.2 - 0.5.0
crypt 1.0, 1.1
cryptgps 0.2.1
csv 1.2.4 - 1.3.4
cubicle 1.0.2
datakit 0.10.0, 0.10.1
datakit-bridge-local-git 0.10.0 - 0.12.0
datalog 0.5, 0.5.1
devkit 0.4, 0.5
dlist 0.0.1. 0.0.2
dockerfile 1.3.0 - 1.7.1
dolog 0.1 - 1.0
dose 3.12, 3.2.2+opam
dose3 4.3, 5.0
duppy 0.5.0 - 0.6.1
dypgen 20120619
earley 1.0.0
edn 0.1.1 - 0.1.5
elasticsearch-clo 0.1, 0.2
elf2json 1.0.0
erm_xml 0.3
erm_xmpp 0.2
estring 1.3
exenum 0.6, 0.82.0
expect 0.0.3
extprot 1.3.0, 1.4.0
ezjsonm-lwt 0.5.0
ezxmlm 1.0.0, 1.0.1
fat-filesystem 0.12.0 - 0.12.2
fd-send-recv 1.0.0 - 1.0.4
flow_parser 0.32.0 - 0.44.0
flowcaml 1.07
flowtype 0.49.1 - 0.58.0
fluent-logger 1.0.1, 1.0.2
forkwork 0.3.1, 0.3.2
frag 0.1.0
fstar 0.9.0 - 0.9.3.0-beta1
ftp 0.1.0
functory 0.5
fury-puyo 0.5
gapi-ocaml 0.2 - 0.3.4
gdal 0.3.0 - 0.6.1
gdbprofiler 0.1
gen 0.2, 0.2.1, 0.2.3, 0.2.4, 0.3, 0.4
genspir 0.1
geoip 0.0.2
gg 0.9.0, 0.9.1
git 1.6.0 - 1.6.2
github 1.0.0, 1.1.0
glical 0.0.1, 0.0.2
glsurf 3.3, 3.3.1
google-drive-ocamlfuse 0.3 - 0.5.5, 0.5.25 - 0.6.21
gperftools 0.2
graphicspdf 1.1, 2.2.1
grenier 0.5
gtktop 2.0
hardcaml-affirm 0.1.0
hardcaml-examples 0.3.0
hardcaml-framework 0.3.0
hardcaml-waveterm 0.2.0
hdf5 0.1.2, 0.1.3
heptagon 1.01.00 - 1.03.02
hevea 2.01
higlo 0.3
hmap 0.8.0
humane-re 0.0.3
hvsock 0.4, 0.5
i3ipc 0.1, 0.1.1
imagelib 20160413, 20170118
indexmap 0.0.3
inotify 1.4, 1.5, 2.0
integration1d 0.4, 0.4.1
irc-client 0.1.1 - 0.3.2
irmin 1.0.0 - 1.1.0
irmin-git 1.0.0
irmin-http 1.0.0, 1.2.0, 1.3.0
irmin-unix 1.0.1, 1.0.2, 1.2.0, 1.3.0
itv-tree 0.1, 2.0
javalib 2.3.3
jekyll-format 0.1.0
jingoo 1.2.9 - 1.2.15
json-pointer 0.1.1-0
json-predicate 0.1.0-0, 0.2.0-0
kaputt 1.2
lablgtk 2.18.5
lacc 0.1, 0.2
lastfm 0.3.0 - 0.3.1
lazy-trie 1.0.0
lbfgs 0.8.6 - 0.8.8
ledit 2.03
leveldb 1.0.3 - 1.1.2
libvhd 0.9.0
lilis 0.2.1
liquidsoap 1.2.0 - 1.3.3
liquidsoap-daemon 0.3.0, 0.3.1
logtk 0.8.1
lpd 1.2, 1.2.1
lutils 1.8, 1.9
lwt-binio 0.2.1
lymp 0.1 - 0.2.3
lzo 0.0.1
macaque 0.7, 0.7.1
macaque_lwt 0.1
merlin-acme 0.1
mezzo 0.0.m8
mikmatch 1.0.8
missinglib 0.4.1
mldonkey 3.1.6
mlgmp 20120224
mm 0.3.0
mongo 0.67.0 - 0.67.2
monomorphic 1.0, 1.1
mparser 1.0 - 1.1
mpp 0.1.0 - 0.3.1
mpris 0.1.0
mqtt 0.0.2
mqtt_client 0.0.1
msgpack 1.0.0 - 1.2.1
nlopt-ocaml 0.4 - 0.5.1
nocrypto 0.5.3
npy 0.0.5
nsq 0.1
oasis2debian 0.1.3
oasis2opam 0.4.4 - 0.6.0
obus 1.1.7
ocaml-arg 0.1, 0.2, 0.3
ocaml-data-notation 0.0.10, 0.0.11
ocaml-http 0.1.5
ocaml-r 0.0.1
ocaml-top 1.1.4
ocaml-xdg-basedir 0.0.2
ocaml9p 0.4
ocamldap 2.2
ocamldbi 0.9.11
ocamldiff 1.0
ocamldot 1.0
ocamlgraph 1.8.1, 1.8.2, 1.8.5, 1.8.6, 1.8.7
ocamlmod 0.0.3, 0.0.4, 0.0.7
ocamlviz 1.01
ocamlweb 1.38, 1.39
ocephes 0.8.1
ocp-indent 0.1.0 - 1.5.1, 1.6.0
ocp-ocamlres 0.3
ocplib-concur 0.1
ocplib-endian 0.8
ocs 1.0.3
odate 0.5
odb-server 0.1
odepack 0.6.5, 0.6.6
odiff-gtk 1.0
odisco 0.1.2, 0.1.3
odoc-depgraph 1.0
omd 0.2 - 1.3.0
oml 0.0.1 - 0.0.5
opam-bundle 0.1 - 0.2
opam-client 2.0.0beta - 2.0.0beta3.1
opam-devel 2.0.0beta - 2.0.0beta3.1
opam-lib 0.9.4, 0.9.6, 1.3.1
opam-package-upgrade 0.1
opam-query 1.3
opam-solver 2.0alpha5 - 2.0.0beta3.1
opam-sync-github-prs 1.1.0
opasswd 0.9.1
operf-micro 0.1 - 1.1
oplay 1.0.0
optimization1d 0.5.1
orakuda 1.0.1 - 1.2.2
osbx 1.0.0 - 1.2.3
osc 0.1.0, 0.1.1
osdp 0.5.4
ospec 0.3.1, 0.3.2
owebl 0.1
owl 0.1.0
pa_ovisitor 1.0.0
pareto 0.2
parmap 0.9.1 - 1.0-rc8
pci 0.2.0, 1.0.0
pci-db 0.3.0
pcre 7.0.2 - 7.1.2
pgocaml 1.7, 1.7.1, 2.0, 2.1
pipebang 109.09.00 - 109.11.00, 109.13.00 - 110.01.00
plist 1.0.0
podge 0.4, 0.5, 0.7.0, 0.8.0
portia 0.1, 1.0
ppx_orakuda 3.1.1, 3.2.0
procord 0.1.0, 0.2.0
promela 0.4.2
proverif 1.96pl1, 0.197, 1.97pl1
qcheck 0.1, 0.1.1, 0.1.2, 0.1.3, 0.2, 0.5, 0.5.1
qrencode 0.1
radare2 0.0.1
ranger 0.0.1
rer 2.0.1
redis 0.3.0 - 0.3.5
redis-lwt 0.3.4, 0.3.5
redis-sync 0.3.4, 0.3.5
regstab 2.0.0
res 4.0.6
rfc6287 1.0.2
rml 1.09.04
root1d 0.3
rpc 1.5.1, 1.5.3, 1.5.4
rtime 0.9.3
safepass 1.0, 1.2, 1.3
sawja 1.5.2
session-redis-lwt 0.4.0
shared-block-ring 2.3.0, 2.4.0
shcaml 0.2.0
should 0.1.0
simple-bmc 0.0.1
skkserv-lite 2.0, 2.0.1
slacko 0.9.0, 0.9.1, 0.10.0
snappy 0.1.0
socketcan 0.8.7-0 - 0.8.11-0
sonet 0.1.1, 0.1.2
sosa 0.0.1, 0.1.0
space-search 0.9, 0.9.1
spelll 0.1
spf 1.0.1
spotify-cli 0.2.0, 0.3.0
spotinstall 1.0.0 - 1.2.1
spotlib 2.0.1 - 4.0.0
sqlexpr 0.5.5, 0.6.1
sqlite3EZ 0.1.0
stemming 0.2.0
stog-writing 0.11.0
stringext 0.0.1, 1.0.0, 1.1.0
swdogen 0.1.0
syndic 1.0, 1.1
syslog 1.4
tdk 0.1.0
tensorflow 0.0.10
testsimple 0.3.1
textwrap 0.1
tgls 0.8.3
thrift 0.9.0
topology 0.1.0
tptp 0.2.0, 0.3.0, 0.3.1
travis-senv 1.0.0
tsdl 0.8.1, 0.8.1, 0.9.0
tsdl-image 0.1.1
ucorelib 0.0.1, 0.0.2
udunits 0.1.1, 0.2.0
unmagic 0.9.0, 1.0.0, 1.0.1
usb 1.3.0
usbmux 1.3.2
vector3 0.2
vg 0.8.0. 0.8.1, 0.8.2
vhd-format 0.8.0
vpnkit 0.1.1
wasm 0.13
weberizer 0.7.2, 0.7.7
webidl 0.1
wget 0.1.0
why3 0.83, 0.84, 0.85, 0.86.3, 0.87.0, 0.87.1, 0.87.2, 0.87.3
why3-base 0.85, 0.86.3, 0.87.0, 0.87.1, 0.87.2, 0.87.3
wyrd 1.4.6
xen-api-client 0.9.8, 0.9.10, 0.9.14
xen-gnt-unix 3.0.0
xenctrl 0.9.32, 0.10.0
xstr 0.2.1
xstrp4 1.8
yajl-extra 0.7.3
yojson 1.2.0
yurt 0.1, 0.3
zbar 0.9
zed 1.2, 1.3, 1.4, 1.5, 1.6
zenon 0.7.1, 0.8.0
A few topics to hack on this evening are:
-
"Junior jobs" in Mantis for the core OCaml compiler; https://caml.inria.fr/mantis/view_all_bug_page.php -- suitable for beginners.
-
Using MirageOS 3 from the development tree and reporting bugs https://github.com/mirage/mirage-dev. The MirageOS3 release is in full swing, and we would like to port libraries to topkg and get them up on http://docs.mirage.io.
-
Configuring the Merlin editor and getting Fred and Gemma more feedback on the roadmap for the next release due in a few months: https://github.com/the-lambda-church/merlin/projects/1
-
Trying out the recent release of OCaml 4.04 (e.g. flambda) and the Spacetime debugger
-
And anything else that captures your interest. A number of us are newcomers to these evenings, so please do feel free to mingle and ask questions of more regular attendees!
The OCaml Compiler Hacking session was held at Citrix this time - thanks Euan for providing the venue and drinks!
People
Daniel Hillerstrom came down from Edinburgh to visit, and we had lots of people from Citrix join the fun too.
Anil fixed the Filesystem module to not raise an exception at link time
Projects
- Olivier Nicole worked on adding macro support to
ocamlopt,ocamlc.optandocamlopt.opt.
##Compiler Hacking Session: 30th November 2015: Write Up
What a success!! We were all able to enjoy the beauty and history of Pembroke College whilst working hard on the compiler. Rest assured - all of those extra cheese scones went to a good home at Jimmy's Shelter :)
We had a range of abilities and familiarity with OCaml this time, and it was a great collaborative group atmosphere.
Beginners
-
Thomas Haggett was finally enticed to the dark side that is OCaml, and contributed support for SmartOS/Illumos. He is by no means a beginner, but new to OCaml.
-
Gemma Gordon pitched in by submitting her first PR to ocaml.org from scratch. Assistance was certainly required (!) but we did come across some holes in the onboarding documentation that could be addressed.
Intermediate/Advanced
flambda
-
[flambda] opam switch: https://github.com/ocaml/opam-repository/pull/5208 https://github.com/ocaml/opam-repository/pull/5209
-
[flambda] Irmin tests' compilation never complete https://github.com/OCamlPro/flambda-task-force/issues/95
-
[flambda] compilation of irmin-skeleton is ~25% slower https://github.com/OCamlPro/flambda-task-force/issues/96
-
[flambda] Compilation does not terminate (#97) https://github.com/OCamlPro/flambda-task-force/issues/97
-
[flambda] slow compilation of tsdl https://github.com/OCamlPro/flambda-task-force/issues/98
Attempting to type algebraic effects
OPAM security signing infra
- Hannes continued some testing and patches for a signed repository library, to-be-integrated into opam. This is in sort-of alpha-stage, early testers, comments and feedback welcome (still needs test cases and proper library documentation) at https://github.com/hannesm/conex
Misc
-
David Sheets was working on refactoring the OCaml source pprint to eliminate objects/classes. We think it was compiling before he left...
-
Armael got to work on improving the performance of record functional update.
-
Although 5000 miles away, Runhang helped tracking compiler performance regression and testing flambda against tsdl.