<dsheets_icfp>
If you know and I am not around, please <mailto:sheets@ashimaarts.com>. I would really appreciate it. ;-) thx
err404 has joined #ocaml
<dsheets_icfp>
nvm i am dumb in many, many ways... ignore it all
dsheets_icfp has quit [Quit: Page closed]
avsm has joined #ocaml
cago has quit [Quit: Leaving.]
Progster has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
<ontologiae>
join -fn macbidouille
ontologiae has quit [Ping timeout: 268 seconds]
_andre has joined #ocaml
miniwolf has joined #ocaml
larhat has joined #ocaml
larhat1 has joined #ocaml
larhat has quit [Read error: No route to host]
Progster has quit [Ping timeout: 246 seconds]
brendan has quit [Read error: Connection reset by peer]
brendan has joined #ocaml
avsm has quit [Quit: Leaving.]
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
<miniwolf>
my rule is expecting Ast.access * bool * bool * Ast.typeexp, but because I have a subrule it is complaining about getting Ast.access * (bool * bool) * Ast.typeexp. Can I satisfy this somehow?
<miniwolf>
Anyone?
<hcarty>
miniwolf: Do you have an example you could show?
<miniwolf>
yea sure. Wait a sec
<hcarty>
thelema: I've pushed some updates to my bounded branch. `u (for [u]nbounded]) replaces None for the min and max bounds. I also added some basic tests.
<hcarty>
Sorry, I don't think I can help with this. Hopefully someone else can though. I'm not familiar enough with the tool to know how that translates into raw OCaml code.
<miniwolf>
Yeah this menhir uses parser.mly to parse through the .java file.
err404_ has joined #ocaml
err404_ has quit [Read error: Connection reset by peer]
iZsh` has quit [Quit: Coyote finally caught me]
chambart has joined #ocaml
err404 has quit [Remote host closed the connection]
err404 has joined #ocaml
Playground has joined #ocaml
cago has joined #ocaml
miniwolf has quit [Remote host closed the connection]
err404 has quit [Ping timeout: 246 seconds]
<larhat1>
is there any tool to create local opam-repo? or i should copy opam-repository and change it? can't find any docs on creating repositories yet
gnuvince has quit [Ping timeout: 252 seconds]
Playground has quit [Ping timeout: 268 seconds]
Playground has joined #ocaml
err404 has joined #ocaml
Ptivalternative has joined #ocaml
strlen has quit [Ping timeout: 240 seconds]
strlen has joined #ocaml
Ptival has quit [Ping timeout: 240 seconds]
paolooo has joined #ocaml
chispita has joined #ocaml
cabbagebot has joined #ocaml
jave has quit [Read error: Connection reset by peer]
jave has joined #ocaml
fraggle_laptop has joined #ocaml
ontologiae has joined #ocaml
gnuvince has joined #ocaml
cago has quit [Quit: Leaving.]
ankit9 has quit [Quit: Leaving]
bddn has joined #ocaml
paolooo has quit [Ping timeout: 245 seconds]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
scri has quit [Ping timeout: 276 seconds]
sepp2k has joined #ocaml
larhat has joined #ocaml
larhat1 has quit [Read error: Connection reset by peer]
larhat1 has joined #ocaml
larhat has quit [Ping timeout: 268 seconds]
eni has quit [Ping timeout: 244 seconds]
cabbagebot has quit [Ping timeout: 244 seconds]
cago has joined #ocaml
tufisi has quit [Ping timeout: 260 seconds]
emmanuelux has quit [Quit: emmanuelux]
emmanuelux has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
Tobu has joined #ocaml
jonafan has quit [Ping timeout: 245 seconds]
cabbagebot has joined #ocaml
scri has joined #ocaml
jamii has quit [Ping timeout: 264 seconds]
Ptivalternative is now known as Ptival
cago has quit [Quit: Leaving.]
jamii has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
cabbagebot has quit [Ping timeout: 240 seconds]
emmanuelux has quit [Remote host closed the connection]
Tobu has joined #ocaml
jamii has quit [Ping timeout: 252 seconds]
emmanuelux has joined #ocaml
err404 has quit [Remote host closed the connection]
cabbagebot has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
cabbagebot has quit [Ping timeout: 272 seconds]
cago has joined #ocaml
err404 has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
cago has quit [Client Quit]
scri has quit [Ping timeout: 246 seconds]
cago has joined #ocaml
larhat1 has quit [Quit: Leaving.]
scri has joined #ocaml
Playground has quit [Ping timeout: 246 seconds]
jonafan has joined #ocaml
cago has quit [Ping timeout: 260 seconds]
scri has quit [Ping timeout: 246 seconds]
eni has joined #ocaml
scri has joined #ocaml
chambart has quit [Ping timeout: 252 seconds]
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 260 seconds]
ftrvxmtrx has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
fraggle_laptop has quit [Remote host closed the connection]
<thelema>
hcarty: I don't understand why bounding of_ord uses two lower and upper bounds
<thelema>
hcarty: what's the use case?
eni has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
cdidd has joined #ocaml
err404 has quit [Remote host closed the connection]
iZsh has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.7]
pangoafk is now known as pango
avsm has joined #ocaml
ontologiae has quit [Ping timeout: 244 seconds]
Yoric has quit [Ping timeout: 246 seconds]
scri has quit [Ping timeout: 246 seconds]
TDJACR has quit [Read error: Operation timed out]
TDJACR has joined #ocaml
rwmjones has quit [Read error: Operation timed out]
gnuvince has quit [Ping timeout: 255 seconds]
gnuvince has joined #ocaml
gnuvince has quit [Ping timeout: 252 seconds]
rwmjones has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
larhat has joined #ocaml
Ptival has quit [Ping timeout: 245 seconds]
<thelema>
hcarty: also, I can see three variants of the bounding module: saturating (take out of range and bring to max/min), modulo (out of range -> wrap around) and exception. Is the bounded_of_ord_chain function able to implement all three, and if so, why not implement bounding_of_ord using _chain?
<thelema>
hcarty: maybe we should have helper functions for all three variants
<thelema>
and this leads nicely to extending integer arthmetic, although that requires a different implementation than the bounding function
osa1 has joined #ocaml
avsm has quit [Quit: Leaving.]
Ptival has joined #ocaml
avsm has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
avsm has quit [Quit: Leaving.]
_andre has quit [Quit: leaving]
cago has joined #ocaml
avsm has joined #ocaml
Snark has quit [Quit: Quitte]
cago has quit [Ping timeout: 246 seconds]
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
Xizor has joined #ocaml
emmanuelux has quit [Quit: emmanuelux]
Yoric has joined #ocaml
wmeyer has joined #ocaml
avsm has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 246 seconds]
hyperboreean has quit [Ping timeout: 240 seconds]
hyperboreean has joined #ocaml
<mfp>
has anybody used the memprof patch for 3.12.1 recently? I'm trying it on a trivial example, and heapstats.opt just dies with End_of_file
<wmeyer>
damn, how painful is to fir texlive with 8GB SDD
eni has joined #ocaml
eni has quit [Client Quit]
eni has joined #ocaml
<mfp>
for the record: the heapstats program included in the memprof patch for 3.12.1 is 32-bit only but works fine with a trivial patch http://pastebin.com/BQgPD7vD
rwmjones has quit [Ping timeout: 255 seconds]
chambart has quit [Ping timeout: 245 seconds]
<hcarty>
thelema: default_low = the value to return when the argument is < min; default_max = the value to return when the argument is > max
<hcarty>
thelema: If default_(low|high) = None then an exception is raised by the make_exn function for out of bounds values
<hcarty>
thelema: If default_(low|high) = Some x then x is returned by the make_exn function for out of bounds values
eni has quit [Quit: Leaving]
<hcarty>
thelema: The three cases you listed are the main cases I see for this module as well. That said, the _chain function could be used for more complex purposes if someone wanted to use it that way.
<hcarty>
thelema: bounding_of_ord could definitely be implemented using _chain. I may do that but haven't yet as I'd like to benchmark both implementations since I expect the bounding_of_ord case will cover the most common cases (out of range = min/max; out of range raises an exception)
<hcarty>
thelema: I've put a bit of thought into a proper bounded integer module implementation. It would be a nice thing to have.
<hcarty>
thelema: case 1- (bounding_of_ord ~default_low:min ~default_max:max Foo.ord ~min ~max)
<mfp>
hcarty: btw., first use of ocamlbrew :) it ignored the -p /path/to/memprof-patch param I gave it (not that it would have worked anyway, since it involved a nonstd build sequence with an expected error in the middle), so I ended up building the patched ocaml manually atop ocamlbrew's structure
<mfp>
but there might be a bug in how it handles -p (or maybe I did something stupid, as I said it's my first try)
rwmjones has joined #ocaml
avsm1 has joined #ocaml
ontologiae has joined #ocaml
avsm1 has quit [Quit: Leaving.]
emmanuelux has joined #ocaml
ontologiae has quit [Ping timeout: 246 seconds]
larhat has quit [Quit: Leaving.]
fraggle_ has quit [Read error: Connection timed out]