Re: Bitarray and Bin_prot
"Kenneth Miller [email protected] [ocaml_beginners]" <[email protected]> Fri, 17 Mar 2017 12:34:09 +0000 (UTC)
| Newsgroups | gmane.comp.lang.ocaml.beginners |
|---|---|
| Message-ID | <[email protected]> |
------=_Part_826071_691791379.1489754049127 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Yeah I agree. Perhaps there is something that bitarray allows you to conver= t to and from that is binnable. That's not as good, but it's better than co= pying the the module. Also, perhaps accessing the conventional type `t` within Bitarray to salt i= t with deriving bin_io would work?=C2=A0 On Friday, March 17, 2017, 7:49:36 AM EDT, Ackerley Tng [email protected]= om [ocaml_beginners] <[email protected]> wrote:=C2=A0=20=20=20 Thanks! I looked in Bitarray, and saw that the issue was that one of the in= ternal types didn't have [@@deriving bin_io] next to it, though all the sub= types are actually Binable. I can't just include Bitarray because that doesn't allow me to change the t= ype in there. As a workaround, I copied all of Bitarray's code into my module (effectivel= y reimplementing Bitarray) although that isn't satisfactory... On Fri, Mar 17, 2017 at 4:57 PM Kenneth Miller [email protected] = [ocaml_beginners] <[email protected]> wrote: =C2=A0=20=20=20 bin_prot is a generative code produce in that it is written to programmatic= ally explore the expression tree in order to apply known operations on each= primitive type, and compose them with the higher level types that ocaml ha= s to offer. So, int, string, float, ect have default implementations, and o= ther types are composed out of those such as record have a way of generatin= g serialization code that applies these generated functions to the respecti= ve record/tuple by type in the right order.=C2=A0 If bitarray is not binnable, that is because the bin_prot requires some int= erface to be satisfied. You might look into the bit array type definition o= n whatever project source provides it in order to see if you can yank just = that out in a raw ocaml instance (with bin_prot) and see if salting with bi= n_prot it directly yields any information about what is required. As far as= writing your own module extending bitarray, you can either do module bitar= ray =3D struct include Bitarray <required binnable implementations here> en= d On Thursday, March 16, 2017, 11:11:57 PM EDT, Ackerley Tng ackerleytng@gmai= l.com [ocaml_beginners] <[email protected]> wrote:=C2=A0 = =20 Hi!=C2=A0 I was trying to write a binary representation of bitarray using bin_prot, b= ut I realized a Bitarray is not binable.=C2=A0 Any tips on how to make it binable?=C2=A0 I guess one option is to extend bitarray by declaring my own module, includ= ing bitarray, but then how would i fill in even one of the required functio= ns? The bin_prot code has a lot of macro looking stuff, if you could point me i= n the right direction on how to understand the macro stuff and which part o= f bin_prot is actually doing the real work of converting the data structure= to binary form, it'd be great! Thanks! =20=20 =20=20=20 #yiv5098711495 #yiv5098711495 -- #yiv5098711495ygrp-mkp {border:1px solid= #d8d8d8;font-family:Arial;margin:10px 0;padding:0 10px;}#yiv5098711495 #yi= v5098711495ygrp-mkp hr {border:1px solid #d8d8d8;}#yiv5098711495 #yiv509871= 1495ygrp-mkp #yiv5098711495hd {color:#628c2a;font-size:85%;font-weight:700;= line-height:122%;margin:10px 0;}#yiv5098711495 #yiv5098711495ygrp-mkp #yiv5= 098711495ads {margin-bottom:10px;}#yiv5098711495 #yiv5098711495ygrp-mkp .yi= v5098711495ad {padding:0 0;}#yiv5098711495 #yiv5098711495ygrp-mkp .yiv50987= 11495ad p {margin:0;}#yiv5098711495 #yiv5098711495ygrp-mkp .yiv5098711495ad= a {color:#0000ff;text-decoration:none;}#yiv5098711495 #yiv5098711495ygrp-s= ponsor #yiv5098711495ygrp-lc {font-family:Arial;}#yiv5098711495 #yiv5098711= 495ygrp-sponsor #yiv5098711495ygrp-lc #yiv5098711495hd {margin:10px 0px;fon= t-weight:700;font-size:78%;line-height:122%;}#yiv5098711495 #yiv5098711495y= grp-sponsor #yiv5098711495ygrp-lc .yiv5098711495ad {margin-bottom:10px;padd= ing:0 0;}#yiv5098711495 #yiv5098711495actions {font-family:Verdana;font-siz= e:11px;padding:10px 0;}#yiv5098711495 #yiv5098711495activity {background-co= lor:#e0ecee;float:left;font-family:Verdana;font-size:10px;padding:10px;}#yi= v5098711495 #yiv5098711495activity span {font-weight:700;}#yiv5098711495 #y= iv5098711495activity span:first-child {text-transform:uppercase;}#yiv509871= 1495 #yiv5098711495activity span a {color:#5085b6;text-decoration:none;}#yi= v5098711495 #yiv5098711495activity span span {color:#ff7900;}#yiv5098711495= #yiv5098711495activity span .yiv5098711495underline {text-decoration:under= line;}#yiv5098711495 .yiv5098711495attach {clear:both;display:table;font-fa= mily:Arial;font-size:12px;padding:10px 0;width:400px;}#yiv5098711495 .yiv50= 98711495attach div a {text-decoration:none;}#yiv5098711495 .yiv5098711495at= tach img {border:none;padding-right:5px;}#yiv5098711495 .yiv5098711495attac= h label {display:block;margin-bottom:5px;}#yiv5098711495 .yiv5098711495atta= ch label a {text-decoration:none;}#yiv5098711495 blockquote {margin:0 0 0 4= px;}#yiv5098711495 .yiv5098711495bold {font-family:Arial;font-size:13px;fon= t-weight:700;}#yiv5098711495 .yiv5098711495bold a {text-decoration:none;}#y= iv5098711495 dd.yiv5098711495last p a {font-family:Verdana;font-weight:700;= }#yiv5098711495 dd.yiv5098711495last p span {margin-right:10px;font-family:= Verdana;font-weight:700;}#yiv5098711495 dd.yiv5098711495last p span.yiv5098= 711495yshortcuts {margin-right:0;}#yiv5098711495 div.yiv5098711495attach-ta= ble div div a {text-decoration:none;}#yiv5098711495 div.yiv5098711495attach= -table {width:400px;}#yiv5098711495 div.yiv5098711495file-title a, #yiv5098= 711495 div.yiv5098711495file-title a:active, #yiv5098711495 div.yiv50987114= 95file-title a:hover, #yiv5098711495 div.yiv5098711495file-title a:visited = {text-decoration:none;}#yiv5098711495 div.yiv5098711495photo-title a, #yiv5= 098711495 div.yiv5098711495photo-title a:active, #yiv5098711495 div.yiv5098= 711495photo-title a:hover, #yiv5098711495 div.yiv5098711495photo-title a:vi= sited {text-decoration:none;}#yiv5098711495 div#yiv5098711495ygrp-mlmsg #yi= v5098711495ygrp-msg p a span.yiv5098711495yshortcuts {font-family:Verdana;f= ont-size:10px;font-weight:normal;}#yiv5098711495 .yiv5098711495green {color= :#628c2a;}#yiv5098711495 .yiv5098711495MsoNormal {margin:0 0 0 0;}#yiv50987= 11495 o {font-size:0;}#yiv5098711495 #yiv5098711495photos div {float:left;w= idth:72px;}#yiv5098711495 #yiv5098711495photos div div {border:1px solid #6= 66666;height:62px;overflow:hidden;width:62px;}#yiv5098711495 #yiv5098711495= photos div label {color:#666666;font-size:10px;overflow:hidden;text-align:c= enter;white-space:nowrap;width:64px;}#yiv5098711495 #yiv5098711495reco-cate= gory {font-size:77%;}#yiv5098711495 #yiv5098711495reco-desc {font-size:77%;= }#yiv5098711495 .yiv5098711495replbq {margin:4px;}#yiv5098711495 #yiv509871= 1495ygrp-actbar div a:first-child {margin-right:2px;padding-right:5px;}#yiv= 5098711495 #yiv5098711495ygrp-mlmsg {font-size:13px;font-family:Arial, helv= etica, clean, sans-serif;}#yiv5098711495 #yiv5098711495ygrp-mlmsg table {fo= nt-size:inherit;font:100%;}#yiv5098711495 #yiv5098711495ygrp-mlmsg select, = #yiv5098711495 input, #yiv5098711495 textarea {font:99% Arial, Helvetica, c= lean, sans-serif;}#yiv5098711495 #yiv5098711495ygrp-mlmsg pre, #yiv50987114= 95 code {font:115% monospace;}#yiv5098711495 #yiv5098711495ygrp-mlmsg * {li= ne-height:1.22em;}#yiv5098711495 #yiv5098711495ygrp-mlmsg #yiv5098711495log= o {padding-bottom:10px;}#yiv5098711495 #yiv5098711495ygrp-msg p a {font-fam= ily:Verdana;}#yiv5098711495 #yiv5098711495ygrp-msg p#yiv5098711495attach-co= unt span {color:#1E66AE;font-weight:700;}#yiv5098711495 #yiv5098711495ygrp-= reco #yiv5098711495reco-head {color:#ff7900;font-weight:700;}#yiv5098711495= #yiv5098711495ygrp-reco {margin-bottom:20px;padding:0px;}#yiv5098711495 #y= iv5098711495ygrp-sponsor #yiv5098711495ov li a {font-size:130%;text-decorat= ion:none;}#yiv5098711495 #yiv5098711495ygrp-sponsor #yiv5098711495ov li {fo= nt-size:77%;list-style-type:square;padding:6px 0;}#yiv5098711495 #yiv509871= 1495ygrp-sponsor #yiv5098711495ov ul {margin:0;padding:0 0 0 8px;}#yiv50987= 11495 #yiv5098711495ygrp-text {font-family:Georgia;}#yiv5098711495 #yiv5098= 711495ygrp-text p {margin:0 0 1em 0;}#yiv5098711495 #yiv5098711495ygrp-text= tt {font-size:120%;}#yiv5098711495 #yiv5098711495ygrp-vital ul li:last-chi= ld {border-right:none !important;}#yiv5098711495=20 ------=_Part_826071_691791379.1489754049127 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/htm= l4/strict.dtd"> <html> <head> </head> =20 <body style=3D"background-color: #fff;"> <span style=3D"display:none"> </span> <!--~-|**|PrettyHtmlStartT|**|-~--> <div id=3D"ygrp-mlmsg" style=3D"position:relative;"> <div id=3D"ygrp-msg" style=3D"z-index: 1;"> <!--~-|**|PrettyHtmlEndT|**|-~--> <div id=3D"ygrp-text" > =20=20=20=20=20=20 =20=20=20=20=20=20 <p><div style=3D"font-family:Helvetica Neue, Helvetica, Arial, sans-s= erif;font-size:medium;"><div><div>Yeah I agree. Perhaps there is something = that bitarray allows you to convert to and from that is binnable. That's no= t as good, but it's better than copying the the module.</div></div><div><br= ></div><div>Also, perhaps accessing the conventional type `t` within Bitarr= ay to salt it with deriving bin_io would work? </div><div><br></div><d= iv id=3D"yahoo_quoted_0106522579" class=3D"yahoo_quoted"><div>On Friday, Ma= rch 17, 2017, 7:49:36 AM EDT, Ackerley Tng [email protected] [ocaml_beg= inners] <[email protected]> wrote:</div><div><div id=3D= "yiv5098711495"><div> <span>=C2=A0</span> <div id=3D"yiv5098711495ygrp-mlmsg"> <div id=3D"yiv5098711495ygrp-msg"> <div id=3D"yiv5098711495ygrp-text"> =20=20=20=20=20=20 =20=20=20=20=20=20 <p></p><div dir=3D"ltr">Thanks! I looked in Bitarray, and saw that th= e issue was that one of the internal types didn't have [@@deriving bin_= io] next to it, though all the subtypes are actually Binable.<div><br clear= =3D"none"></div><div>I can't just include Bitarray because that doesn&#= 39;t allow me to change the type in there.</div><div><br clear=3D"none"></d= iv><div>As a workaround, I copied all of Bitarray's code into my module= (effectively reimplementing Bitarray) although that isn't satisfactory= ...</div></div><br clear=3D"none"><div class=3D"yiv5098711495yqt9972812352"= id=3D"yiv5098711495yqt78339"><div class=3D"yiv5098711495gmail_quote"><div = dir=3D"ltr">On Fri, Mar 17, 2017 at 4:57 PM Kenneth Miller <a rel=3D"nofoll= ow" shape=3D"rect" ymailto=3D"mailto:[email protected]" target=3D= "_blank" href=3D"mailto:[email protected]">kennethadammiller@yaho= o.com</a> [ocaml_beginners] <<a rel=3D"nofollow" shape=3D"rect" ymailto= =3D"mailto:[email protected]" target=3D"_blank" href=3D"mailt= o:[email protected]">[email protected]</a>> = wrote:<br clear=3D"none"></div><blockquote class=3D"yiv5098711495gmail_quot= e" style=3D"border-left:1px #ccc solid;"> <u class=3D"yiv5098711495gmail_msg"></u> =20 <div class=3D"yiv5098711495gmail_msg" style=3D"background-color:#fff;"> <span class=3D"yiv5098711495gmail_msg">=C2=A0</span> <div class=3D"yiv5098711495gmail_msg" id=3D"yiv5098711495m_-738264506965883= 0543ygrp-mlmsg"> <div class=3D"yiv5098711495gmail_msg" id=3D"yiv5098711495m_-7382645069658= 830543ygrp-msg"> <div class=3D"yiv5098711495gmail_msg" id=3D"yiv5098711495m_-73826450696= 58830543ygrp-text"> =20=20=20=20=20=20 =20=20=20=20=20=20 <p class=3D"yiv5098711495gmail_msg"></p><div class=3D"yiv5098711495gm= ail_msg" style=3D"font-family:Helvetica Neue, Helvetica, Arial, sans-serif;= font-size:medium;"><div class=3D"yiv5098711495gmail_msg"><div class=3D"yiv5= 098711495gmail_msg">bin_prot is a generative code produce in that it is wri= tten to programmatically explore the expression tree in order to apply know= n operations on each primitive type, and compose them with the higher level= types that ocaml has to offer. So, int, string, float, ect have default im= plementations, and other types are composed out of those such as record hav= e a way of generating serialization code that applies these generated funct= ions to the respective record/tuple by type in the right order.=C2=A0</div>= </div><div class=3D"yiv5098711495gmail_msg"><br clear=3D"none" class=3D"yiv= 5098711495gmail_msg"></div><div class=3D"yiv5098711495gmail_msg">If bitarra= y is not binnable, that is because the bin_prot requires some interface to = be satisfied. You might look into the bit array type definition on whatever= project source provides it in order to see if you can yank just that out i= n a raw ocaml instance (with bin_prot) and see if salting with bin_prot it = directly yields any information about what is required. As far as writing y= our own module extending bitarray, you can either do module bitarray =3D st= ruct include Bitarray <required binnable implementations here> end</d= iv></div></div></div></div></div><div class=3D"yiv5098711495gmail_msg" styl= e=3D"background-color:#fff;"><div class=3D"yiv5098711495gmail_msg" id=3D"yi= v5098711495m_-7382645069658830543ygrp-mlmsg"><div class=3D"yiv5098711495gma= il_msg" id=3D"yiv5098711495m_-7382645069658830543ygrp-msg"><div class=3D"yi= v5098711495gmail_msg" id=3D"yiv5098711495m_-7382645069658830543ygrp-text"><= p class=3D"yiv5098711495gmail_msg"></p><div class=3D"yiv5098711495gmail_msg= " style=3D"font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-si= ze:medium;"><div class=3D"yiv5098711495gmail_msg"><br clear=3D"none" class= =3D"yiv5098711495gmail_msg"></div><div class=3D"yiv5098711495m_-73826450696= 58830543yahoo_quoted yiv5098711495gmail_msg" id=3D"yiv5098711495m_-73826450= 69658830543yahoo_quoted_0414726696"><div class=3D"yiv5098711495gmail_msg">O= n Thursday, March 16, 2017, 11:11:57 PM EDT, Ackerley Tng <a rel=3D"nofollo= w" shape=3D"rect" class=3D"yiv5098711495gmail_msg" ymailto=3D"mailto:ackerl= [email protected]" target=3D"_blank" href=3D"mailto:[email protected]">ac= [email protected]</a> [ocaml_beginners] <<a rel=3D"nofollow" shape=3D"= rect" class=3D"yiv5098711495gmail_msg" ymailto=3D"mailto:ocaml_beginners@ya= hoogroups.com" target=3D"_blank" href=3D"mailto:ocaml_beginners@yahoogroups= .com">[email protected]</a>> wrote:</div><div class=3D"yiv= 5098711495gmail_msg"><div class=3D"yiv5098711495gmail_msg" id=3D"yiv5098711= 495m_-7382645069658830543yiv7846580645"><div class=3D"yiv5098711495gmail_ms= g"> <span class=3D"yiv5098711495gmail_msg">=C2=A0</span> <div class=3D"yiv5098711495gmail_msg" id=3D"yiv5098711495m_-738264506965883= 0543yiv7846580645ygrp-mlmsg"> <div class=3D"yiv5098711495gmail_msg" id=3D"yiv5098711495m_-7382645069658= 830543yiv7846580645ygrp-msg"> <div class=3D"yiv5098711495gmail_msg" id=3D"yiv5098711495m_-73826450696= 58830543yiv7846580645ygrp-text"> =20=20=20=20=20=20 =20=20=20=20=20=20 <p class=3D"yiv5098711495gmail_msg"></p><div class=3D"yiv5098711495gm= ail_msg" dir=3D"ltr">Hi!=C2=A0<div class=3D"yiv5098711495gmail_msg"><br cle= ar=3D"none" class=3D"yiv5098711495gmail_msg"></div><div class=3D"yiv5098711= 495gmail_msg">I was trying to write a binary representation of bitarray usi= ng bin_prot, but I realized a Bitarray is not binable.=C2=A0</div><div clas= s=3D"yiv5098711495gmail_msg"><br clear=3D"none" class=3D"yiv5098711495gmail= _msg"></div><div class=3D"yiv5098711495gmail_msg">Any tips on how to make i= t binable?=C2=A0</div><div class=3D"yiv5098711495gmail_msg"><br clear=3D"no= ne" class=3D"yiv5098711495gmail_msg"></div><div class=3D"yiv5098711495gmail= _msg">I guess one option is to extend bitarray by declaring my own module, = including bitarray, but then how would i fill in even one of the required f= unctions?</div><div class=3D"yiv5098711495gmail_msg"><br clear=3D"none" cla= ss=3D"yiv5098711495gmail_msg"></div><div class=3D"yiv5098711495gmail_msg">T= he bin_prot code has a lot of macro looking stuff, if you could point me in= the right direction on how to understand the macro stuff and which part of= bin_prot is actually doing the real work of converting the data structure = to binary form, it'd be great!</div><div class=3D"yiv5098711495gmail_ms= g"><br clear=3D"none" class=3D"yiv5098711495gmail_msg"></div><div class=3D"= yiv5098711495gmail_msg">Thanks!</div><div class=3D"yiv5098711495gmail_msg">= <br clear=3D"none" class=3D"yiv5098711495gmail_msg"></div><div class=3D"yiv= 5098711495gmail_msg"><br clear=3D"none" class=3D"yiv5098711495gmail_msg"></= div></div> </div> =20=20=20=20=20 =20=20=20=20 <div class=3D"yiv5098711495gmail_msg" style=3D"color:#fff;height:0;"></= div></div> </div></div></div></div></div></div></div></div></div></div><div class=3D"y= iv5098711495gmail_msg" style=3D"background-color:#fff;"><div class=3D"yiv50= 98711495gmail_msg" id=3D"yiv5098711495m_-7382645069658830543ygrp-mlmsg"><di= v class=3D"yiv5098711495gmail_msg" id=3D"yiv5098711495m_-738264506965883054= 3ygrp-msg"><div class=3D"yiv5098711495gmail_msg" id=3D"yiv5098711495m_-7382= 645069658830543ygrp-text"><p class=3D"yiv5098711495gmail_msg"></p><div clas= s=3D"yiv5098711495gmail_msg" style=3D"font-family:Helvetica Neue, Helvetica= , Arial, sans-serif;font-size:medium;"></div> </div> =20=20=20=20=20 =20=20=20=20 <div class=3D"yiv5098711495gmail_msg" style=3D"color:#fff;height:0;"></= div> </div> =20=20 </div></div></blockquote></div></div> </div> =20=20=20=20=20 =20=20=20=20 <div class=3D"yiv5098711495yqt9972812352" id=3D"yiv5098711495yqt98994">= <div style=3D"color:#fff;height:0;"></div></div> </div></div></div></div></div></div></div></p> </div> =20=20=20=20=20 <!--~-|**|PrettyHtmlStart|**|-~--> <div style=3D"color: #fff; height: 0;">__._,_.___</div> =20=20=20=20=20=20=20=20=20=20 =20=20 =20 =20=20=20=20 <div style=3D"clear:both"> </div> <div id=3D"fromDMARC" style=3D"margin-top: 10px;"> <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; background= -color:#E3E3E3;"> Posted by: Kenneth Miller <[email protected]> = <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; background-color= :#E3E3E3;"> </div> <div style=3D"clear:both"> </div> <table cellspacing=3D4px style=3D"margin-top: 10px; margin-bottom: 10px= ; color: #2D50FD;"> <tbody> <tr> <td style=3D"font-size: 12px; font-family: arial; font-weight: bo= ld; padding: 7px 5px 5px;" > <a style=3D"text-decoration: none; color: #2D50FD= " href=3D"https://groups.yahoo.com/neo/groups/ocaml_beginners/conversations= /messages/14791;_ylc=3DX3oDMTJxdWYwMWZoBF9TAzk3MzU5NzE0BGdycElkAzQ5OTkxOTQE= Z3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzE0NzkxBHNlYwNmdHIEc2xrA3JwbHkEc3RpbWUDMTQ= 4OTc1NDU1OQ--?act=3Dreply&messageNum=3D14791">Reply via web post</a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;" > <a href=3D"mailto:[email protected]?subject=3DRe%3A%2= 0%22ocaml_beginners%22%3A%3A%5B%5D%20Bitarray%20and%20Bin_prot" style=3D"te= xt-decoration: none; color: #2D50FD;"> Reply to sender </a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;"> <a href=3D"mailto:[email protected]?subject=3DRe%= 3A%20%22ocaml_beginners%22%3A%3A%5B%5D%20Bitarray%20and%20Bin_prot" style= =3D"text-decoration: none; color: #2D50FD"> Reply to group </a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;" > <a href=3D"https://groups.yahoo.com/neo/groups/ocaml_beginners/= conversations/newtopic;_ylc=3DX3oDMTJlcXQ0b2ZiBF9TAzk3MzU5NzE0BGdycElkAzQ5O= TkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTQ4OTc1NDU1= OQ--" style=3D"text-decoration: none; color: #2D50FD">Start a New Topic</a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;color: #2D50FD;" > <a href=3D"https://groups.yahoo.com/neo/groups/= ocaml_beginners/conversations/topics/14784;_ylc=3DX3oDMTM2bjZ0azF0BF9TAzk3M= zU5NzE0BGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzE0NzkxBHNlYwNm= dHIEc2xrA3Z0cGMEc3RpbWUDMTQ4OTc1NDU1OQR0cGNJZAMxNDc4NA--" style=3D"text-dec= oration: none; color: #2D50FD;">Messages in this topic</a> (4) </td> </tr> </tbody> </table> =20=20=20=20=20=20=20=20 <div id=3D"megaphoneModule"> <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; backgr= ound-color:#E3E3E3;"> <div> <div class=3D"stream" style=3D"margin-bottom:10px;"> <div style=3D"background-color:white;"> <div class=3D"sn-img" style=3D"display:inline;"><img name=3D"tn= _file" style=3D"padding:0px 10px;vertical-align:top;margin-top:5px;" src=3D= "https://s.yimg.com/ru/static/images/yg/img/megaphone/1464031581_phpFA8bON"= height=3D"82" width=3D"82"></div> <div class=3D"mod-txt" style=3D"display:inline-block;"> <a rel=3D"nofollow" name=3D"sub_url" target=3D"_blank" href= =3D"https://yho.com/1wwmgg" style=3D"color:#0000FF;display:block;margin-lef= t:5px;text-decoration:none;"><span style=3D"font-size:15px;">Have you tried= the highest rated email app?</span></a> <div style=3D"max-width:530px;padding:2px 5px;">With 4.5 st= ars in iTunes, the Yahoo Mail app is the highest rated email app on the mar= ket. What are you waiting for? Now you can access all your inboxes (Gmail, = Outlook, AOL and more) in one place. Never delete an email again with 1000G= B of free cloud storage.</div> </div> </div> </div> </div>=20=20 =20=20=20=20=20 <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; background-col= or:#E3E3E3;"> </div> <!------- Start Nav Bar ------> <div id=3D"ygrp-grfd" style=3D"font-family: Verdana; font-size: 12px; p= adding: 15px 0;"> =20=20=20=20=20=20 <!-- |**|begin egp html banner|**| --> Archives up to December 31, 2011 are also downloadable at <a href=3D"= http://www.connettivo.net/cntprojects/ocaml_beginners">http://www.connettiv= o.net/cntprojects/ocaml_beginners</a><BR> The archives of the very official ocaml list (the seniors' one) can be foun= d at <a href=3D"http://caml.inria.fr">http://caml.inria.fr</a><BR> Attachments are banned and you're asked to be polite, avoid flames etc. = =20=20 <!-- |**|end egp html banner|**| --> </div> =20=20 =20 <!-- |**|begin egp html banner|**| --> <div id=3D"ygrp-vital" style=3D"background-color: #f2f2f2; font-family: Ver= dana; font-size: 10px; margin-bottom: 10px; padding: 10px;"> <span id=3D"vithd" style=3D"font-weight: bold; color: #333; text-transf= orm: uppercase; "><a href=3D"https://groups.yahoo.com/neo/groups/ocaml_begi= nners/info;_ylc=3DX3oDMTJlcWF1cWx1BF9TAzk3MzU5NzE0BGdycElkAzQ5OTkxOTQEZ3Jwc= 3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTQ4OTc1NDU1OQ--" style= =3D"text-decoration: none;">Visit Your Group</a></span> <ul style=3D"list-style-type: none; margin: 0; padding: 0; display: in= line;"> </ul> </div> <div id=3D"ft" style=3D"font-family: Arial; font-size: 11px; margin-top: 5p= x; padding: 0 2px 0 0; clear: both;"> <a href=3D"https://groups.yahoo.com/neo;_ylc=3DX3oDMTJkZDk2c2hkBF9TAzk3ND= c2NTkwBGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzd= GltZQMxNDg5NzU0NTU5" style=3D"float: left;"><img src=3D"http://l.yimg.com/r= u/static/images/yg/img/email/new_logo/logo-groups-137x15.png" height=3D"15"= width=3D"137" alt=3D"Yahoo! Groups" style=3D"border: 0;"/></a> <div style=3D"color: #747575; float: right;"> • <a href=3D"https://i= nfo.yahoo.com/privacy/us/yahoo/groups/details.html" style=3D"text-decoratio= n: none;">Privacy</a> • <a href=3D"mailto:ocaml_beginners-unsubscribe@= yahoogroups.com?subject=3DUnsubscribe" style=3D"text-decoration: none;">Uns= ubscribe</a> • <a href=3D"https://info.yahoo.com/legal/us/yahoo/utos/t= erms/" style=3D"text-decoration: none;">Terms of Use</a> </div> </div> <br> <!-- |**|end egp html banner|**| --> </div> <!-- ygrp-msg --> =20 <!-- Sponsor --> <!-- |**|begin egp html banner|**| --> <div id=3D"ygrp-sponsor" style=3D"width:160px; float:right; clear:none; m= argin:0 0 25px 0; background: #fff;"> <!-- Start Recommendations --> <div id=3D"ygrp-reco"> </div> <!-- End Recommendations --> </div> <!-- |**|end egp html banner|**| --> <div style=3D"clear:both; color: #FFF; font-size:1px;">.</div> </div> <img src=3D"http://geo.yahoo.com/serv?s=3D97359714/grpId=3D4999194/grpspI= d=3D1705006764/msgId=3D14791/stime=3D1489754559" width=3D"1" height=3D"1"> = <br> <img src=3D"http://y.analytics.yahoo.com/fpc.pl?ywarid=3D515FB27823A7407E&a= =3D10001310322279&js=3Dno&resp=3Dimg&cf12=3DCP" width=3D"1" height=3D"1">=20 <div style=3D"color: #fff; height: 0;">__,_._,___</div> <!--~-|**|PrettyHtmlEnd|**|-~--> </body> <!--~-|**|PrettyHtmlStart|**|-~--> <head> <style type=3D"text/css"> <!-- #ygrp-mkp { border: 1px solid #d8d8d8; font-family: Arial; margin: 10px 0; padding: 0 10px; } #ygrp-mkp hr { border: 1px solid #d8d8d8; } #ygrp-mkp #hd { color: #628c2a; font-size: 85%; font-weight: 700; line-height: 122%; margin: 10px 0; } #ygrp-mkp #ads { margin-bottom: 10px; } #ygrp-mkp .ad { padding: 0 0; } #ygrp-mkp .ad p { margin: 0; } #ygrp-mkp .ad a { color: #0000ff; text-decoration: none; } #ygrp-sponsor #ygrp-lc { font-family: Arial; } #ygrp-sponsor #ygrp-lc #hd { margin: 10px 0px; font-weight: 700; font-size: 78%; line-height: 122%; } #ygrp-sponsor #ygrp-lc .ad { margin-bottom: 10px; padding: 0 0; } #actions { font-family: Verdana; font-size: 11px; padding: 10px 0; } #activity { background-color: #e0ecee; float: left; font-family: Verdana; font-size: 10px; padding: 10px; } #activity span { font-weight: 700; } #activity span:first-child { text-transform: uppercase; } #activity span a { color: #5085b6; text-decoration: none; } #activity span span { color: #ff7900; } #activity span .underline { text-decoration: underline; } .attach { clear: both; display: table; font-family: Arial; font-size: 12px; padding: 10px 0; width: 400px; } .attach div a { text-decoration: none; } .attach img { border: none; padding-right: 5px; } .attach label { display: block; margin-bottom: 5px; } .attach label a { text-decoration: none; } =20=20 blockquote { margin: 0 0 0 4px; } .bold { font-family: Arial; font-size: 13px; font-weight: 700; } .bold a { text-decoration: none; } dd.last p a { font-family: Verdana; font-weight: 700; } dd.last p span { margin-right: 10px; font-family: Verdana; font-weight: 700; } dd.last p span.yshortcuts { margin-right: 0; } div.attach-table div div a { text-decoration: none; } div.attach-table { width: 400px; } div.file-title a, div.file-title a:active, div.file-title a:hover, div.fi= le-title a:visited { text-decoration: none; } div.photo-title a, div.photo-title a:active, div.photo-title a:hover, div= .photo-title a:visited { text-decoration: none; } div#ygrp-mlmsg #ygrp-msg p a span.yshortcuts { font-family: Verdana; font-size: 10px; font-weight: normal; } .green { color: #628c2a; } .MsoNormal { margin: 0 0 0 0; } o { font-size: 0; } #photos div { float: left; width: 72px; } #photos div div { border: 1px solid #666666; height: 62px; overflow: hidden; width: 62px; } #photos div label { color: #666666; font-size: 10px; overflow: hidden; text-align: center; white-space: nowrap; width: 64px; } #reco-category { font-size: 77%; } #reco-desc { font-size: 77%; } .replbq { margin: 4px; } #ygrp-actbar div a:first-child { /* border-right: 0px solid #000;*/ margin-right: 2px; padding-right: 5px; } #ygrp-mlmsg { font-size: 13px; font-family: Arial, helvetica,clean, sans-serif; *font-size: small; *font: x-small; } #ygrp-mlmsg table { font-size: inherit; font: 100%; } #ygrp-mlmsg select, input, textarea { font: 99% Arial, Helvetica, clean, sans-serif; } #ygrp-mlmsg pre, code { font:115% monospace; *font-size:100%; } #ygrp-mlmsg * { line-height: 1.22em; } #ygrp-mlmsg #logo { padding-bottom: 10px; } #ygrp-msg p a { font-family: Verdana; } #ygrp-msg p#attach-count span { color: #1E66AE; font-weight: 700; } #ygrp-reco #reco-head { color: #ff7900; font-weight: 700; } #ygrp-reco { margin-bottom: 20px; padding: 0px; } #ygrp-sponsor #ov li a { font-size: 130%; text-decoration: none; } #ygrp-sponsor #ov li { font-size: 77%; list-style-type: square; padding: 6px 0; }=20 #ygrp-sponsor #ov ul { margin: 0; padding: 0 0 0 8px; } #ygrp-text { font-family: Georgia; } #ygrp-text p { margin: 0 0 1em 0; } #ygrp-text tt { font-size: 120%; } #ygrp-vital ul li:last-child { border-right: none !important;=20 }=20 --> </style> </head> <!--~-|**|PrettyHtmlEnd|**|-~--> </html> <!-- end group email --> ------=_Part_826071_691791379.1489754049127--