ollehar has quit [Read error: Connection reset by peer]
ollehar has joined #ocaml
Rebelion has quit [Quit: Saliendo]
seliopou has quit [Quit: whaaaat]
seliopou has joined #ocaml
BuddhistCrusader has quit [Ping timeout: 246 seconds]
nojb has joined #ocaml
troydm has quit [Ping timeout: 264 seconds]
troydm has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
AltGr has joined #ocaml
Algebr has joined #ocaml
agarwal1975 has quit [Quit: Connection closed for inactivity]
psy_ has quit [Ping timeout: 265 seconds]
psy_ has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Algebr>
I feel like I'm doing something wrong with BatResult.t For example I have something of some_result >>= fun g -> ... but I still have to do an exhaustive match on g even though, as I understand it, the >>= will make sure that g is always something of Ok _.
rgrinberg has quit [Ping timeout: 244 seconds]
rgrinberg has joined #ocaml
shinnya has quit [Ping timeout: 245 seconds]
troydm has quit [Ping timeout: 264 seconds]
jabesed has quit [Ping timeout: 250 seconds]
BitPuffin|osx has quit [Ping timeout: 250 seconds]
<companion_cube>
but I was answering someone else, who had left the chan, hence bad autocompletion
<AlexRussia>
Okay, I'll take a look, thanks :)) No, I know,I'd read log before answer ;)
<AlexRussia>
Just guessing
maufred has quit [Ping timeout: 245 seconds]
troydm has quit [Ping timeout: 264 seconds]
maufred has joined #ocaml
def` is now known as grognasmanur
Haudegen has joined #ocaml
kushal has quit [Ping timeout: 245 seconds]
psy_ has quit [Ping timeout: 256 seconds]
Gama11_ has joined #ocaml
psy_ has joined #ocaml
Gama11 has quit [Ping timeout: 258 seconds]
freling has joined #ocaml
nullcat has joined #ocaml
tmtwd has joined #ocaml
sh0t has joined #ocaml
mort___ has joined #ocaml
mort___ has left #ocaml [#ocaml]
maufred has quit [Ping timeout: 250 seconds]
maufred has joined #ocaml
kushal has joined #ocaml
sh0t has quit [Ping timeout: 244 seconds]
grognasmanur is now known as papasmanur
cocasmanur_ is now known as catasmanur
noze has joined #ocaml
<noze>
is there support for ocp-indent in sublime?
Algebr has joined #ocaml
<companion_cube>
Algebr: so, to reply to an earlier message of yours: you can try containers if you want a lightweight stdlib
<nullcat>
we are going to have "if 'a option then ... else ..." ?
<Algebr>
companion_cube: does it have a result type included?
<nullcat>
just mentioned of this yesterday...
<companion_cube>
Algebr: yes, but it uses polymorphic variants underhood
<companion_cube>
nullcat: what do you mean?
<nullcat>
i saw your PR
<Algebr>
How can I get around this situation. I have type foo = A | B and I'm using a function that only needs to care about A, B is an invalid state but I still have to match on it to prevent warning from compiler. Do I use GADTs?
<companion_cube>
oh ok, but it's not if 'a option ;)
<companion_cube>
it's a bit more general
<Drup>
Algebr: probably gadt, yes
<companion_cube>
Algebr: why do you have case B if it's always invalid?
<nullcat>
oh "if let something = expression_that _returns_an_option then ... else ..."
<Algebr>
I mean, its a valid outcome, but I know for some cases when it will never occur
<thizanne>
Algebr: if your A is like A of int * string, maybe you can write a function int -> string -> ...
<thizanne>
and then on an upper level, check that you only got a A value and split it to call this function
papasmanur is now known as def`
<ggole>
Algebr: GADTS are pretty painful for doing that. Another possibility is to use polymorphic variants.
agarwal1975 has joined #ocaml
<ggole>
Alternatively if you only have one constructor that is possible, you could stick a record type on each constructor and pass those around
<Algebr>
eh, I just defined another function to take wrap up the extra logic, called it >>|
<ggole>
Yeah
<ggole>
I've run into this many times. There's no particularly good solution.
<Algebr>
that actually makes me feel good, that I'm getting comfortable enough with the language that I'm running into the same problems as more experienced people
<adrien_znc>
meh
gautam__ has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
gautam__ has quit [Client Quit]
def` is now known as nabillasmanur
psy_ has quit [Ping timeout: 256 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
psy_ has joined #ocaml
hay207 has joined #ocaml
sh0t has joined #ocaml
badon has quit [Ping timeout: 256 seconds]
siddharthv is now known as siddharthv_away
kushal has quit [Quit: Leaving]
sepp2k has joined #ocaml
Kakadu has quit [Ping timeout: 246 seconds]
badkins has quit [Remote host closed the connection]
Hannibal_Smith has joined #ocaml
shinnya has joined #ocaml
Tamae has joined #ocaml
nullcat_ has joined #ocaml
malc_ has joined #ocaml
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has quit [Ping timeout: 252 seconds]
paddymahoney has joined #ocaml
rgrinberg has joined #ocaml
nullcat_ has joined #ocaml
nullcat_ has quit [Remote host closed the connection]
nullcat_ has joined #ocaml
freling has quit [Quit: Leaving.]
tane has joined #ocaml
badkins has joined #ocaml
troydm has joined #ocaml
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
slash^ has joined #ocaml
srax has joined #ocaml
kdef has joined #ocaml
j0sh_ is now known as j0sh
<Denommus>
what Emacs mode to use in .mly file?
<Denommus>
tuareg gives me weird indentation
<Drup>
it's probably ocp-indent that gives you weird indentation
robink has quit [Ping timeout: 248 seconds]
struk|work has joined #ocaml
keen___ has joined #ocaml
<Denommus>
Drup: makes sense
keen__ has quit [Ping timeout: 256 seconds]
<Denommus>
Drup: is there any way to turn it off for mly files?
<Drup>
not that I know of
robink_ has joined #ocaml
<Denommus>
Drup: what do you usually do?
<Drup>
I roll with it
malc_ has quit [Quit: leaving]
<Drup>
I don't write .mly often enough for it to be really annoying, it's usually more of "just gonna write this .mly quick and be done with it"
hay207 has quit [Ping timeout: 256 seconds]
slash^1 has joined #ocaml
rand000 has quit [Ping timeout: 265 seconds]
slash^ has quit [Ping timeout: 252 seconds]
<dmbaturin>
It probably would be nice to be able to separate the grammar spec from the code.
<dmbaturin>
Just reference the rules in the code, via ppx or something.
zpe has quit [Remote host closed the connection]
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Drup>
you would need to reference sub cases in each rule. I think the result would just be unreadable and a pain to maintain
badkins has quit [Remote host closed the connection]
<dmbaturin>
True. I don't know if it worth a try ot not.
hay207 has joined #ocaml
<Denommus>
gosh, parsers are boring :-/
<ggole>
Sure are.
<ggole>
But not as boring as typing out your test ASTs by hand. :)
Gama11 has joined #ocaml
<Drup>
mature enough not to be really challenging anymore, but not automatic yet. :p
ollehar1 has joined #ocaml
Gama11_ has quit [Ping timeout: 244 seconds]
<dmbaturin>
Drup: Do you think it will be fully automated some day?
<Denommus>
I'm doing a parser for lua (only to learn how to make a parser)
<Denommus>
I have the grammar, but it's kinda boring to convert the grammar into mly
<Denommus>
maybe I should make a parser for the grammar so I could generate the parser automatically and... wait
<Drup>
you just have to replace strings by a predefined TOKEN
<Denommus>
Drup: I already made the tokenizer
<Drup>
then it should be straightforward
<Drup>
assuming menhir, of course
<dmbaturin>
Lua-ML link is very dead.
<Denommus>
it is straightforward. It's just... boring
<dmbaturin>
Denommus: What are you going to do with the AST? Analysis/abstract interpretation?
<Drup>
Denommus: stop complaining, it would already be done :p
<Denommus>
dmbaturin: no, I'm just learning
<Denommus>
dmbaturin: maybe I'll feed it to llvm to generate a compiler, I dunno
octachron has quit [Quit: Leaving]
yomimono has joined #ocaml
robink_ is now known as robink
MrScout has joined #ocaml
MrScout has quit [Remote host closed the connection]
darkf has quit [Quit: Leaving]
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
jeffmo has joined #ocaml
paddymahoney has quit [Ping timeout: 255 seconds]
lordkryss has joined #ocaml
badon has joined #ocaml
martintrojer has quit [Ping timeout: 258 seconds]
martintrojer has joined #ocaml
MrScout has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
rgrinberg has quit [Ping timeout: 252 seconds]
chris2 has quit [Ping timeout: 276 seconds]
rand000 has joined #ocaml
chris2 has joined #ocaml
jonludlam has quit [Ping timeout: 265 seconds]
nicoo has quit [Ping timeout: 256 seconds]
MrScout has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 255 seconds]
xificurC_ has quit [Ping timeout: 272 seconds]
MrScout has joined #ocaml
noze has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
xificurC has joined #ocaml
seanmcl has joined #ocaml
nicoo has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
octachron has joined #ocaml
shinnya has quit [Ping timeout: 265 seconds]
Haudegen has joined #ocaml
f[x] has joined #ocaml
Gama11_ has joined #ocaml
Gama11 has quit [Ping timeout: 256 seconds]
hay207 has quit [Ping timeout: 276 seconds]
ollehar1 has quit [Ping timeout: 256 seconds]
matason has quit []
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
Gama11 has joined #ocaml
xificurC has quit [Quit: WeeChat 1.2]
TheLemonMan has joined #ocaml
Gama11_ has quit [Ping timeout: 265 seconds]
octachron has quit [Quit: Leaving]
<rgrinberg>
How do I enable lwt-debug in a _oasis?
ggole has quit []
jwatzman|work has joined #ocaml
swgillespie has joined #ocaml
<Drup>
fiddle with _tags, I would say
rand000 has quit [Ping timeout: 264 seconds]
AlexRussia has quit [Ping timeout: 250 seconds]
shinnya has joined #ocaml
Gama11_ has joined #ocaml
vbmithr_ has quit [Ping timeout: 244 seconds]
<rgrinberg>
Drup: NativeOpt: -ppopt -lwt-debug
ia0 has quit [Ping timeout: 264 seconds]
badkins has joined #ocaml
<rgrinberg>
Wonder if there's a good place to document this somewhere
Gama11 has quit [Ping timeout: 264 seconds]
<Drup>
rgrinberg: that will only work with native compilation, it would be better in the _tags
<rgrinberg>
ByteOpt: -ppopt -lwt-debug
oscar_toro has joined #ocaml
pirithous has joined #ocaml
pirithous has left #ocaml ["Konversation terminated!"]
xificurC has joined #ocaml
vbmithr has joined #ocaml
ia0 has joined #ocaml
AlexRussia has joined #ocaml
mort___ has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
Haudegen has quit [Ping timeout: 256 seconds]
A1977494 has joined #ocaml
seanmcl has quit [Ping timeout: 272 seconds]
seanmcl has joined #ocaml
rand000 has joined #ocaml
freling has joined #ocaml
A1977494 has left #ocaml [#ocaml]
xificurC has quit [Quit: WeeChat 1.2]
seanmcl has quit [Client Quit]
seanmcl has joined #ocaml
s1n4 has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
xificurC has joined #ocaml
seanmcl has joined #ocaml
<Algebr>
okay, which one is the deprecated one...I have extlib and extLib
kdef has quit [Quit: Leaving]
Haudegen has joined #ocaml
slash^1 has quit [Read error: Connection reset by peer]
<struk|work>
adrien_znc: I looked over flexdll, read a little bit of the archives..unclear to me how I use it. Am I I supposed to modify any project which requires dyn linking to use flexlink instead?
wwilly has joined #ocaml
amnn has joined #ocaml
<adrien>
struk|work: flexlink is a component used to implement OCaml's native Dynlink
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Kakadu has joined #ocaml
freling has quit [Quit: Leaving.]
<sh0t>
guys i had to install ocaml 4.02 from source ball on
<sh0t>
ubuntu
<sh0t>
but it didn't install ocaml-findlib
<sh0t>
which i need
<sh0t>
if itry with apt-get install ocaml-find lib i now get errors of compatibility
<Denommus>
I think most blocker, critical and normal bugs are caused by things other than logic errors, especially now with the easiness that it is to use an external library for solving specific problems
haskets is now known as hasket
<ollehar1>
but using external libraries should diminish bugs?
f[x] has joined #ocaml
hay207 has quit [Ping timeout: 245 seconds]
amnn has quit [Read error: Connection reset by peer]
Simn has quit [Quit: Leaving]
amnn has joined #ocaml
Gama11 has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
badkins has quit [Remote host closed the connection]
ollehar1 has quit [Quit: ollehar1]
saroupille has quit [Ping timeout: 265 seconds]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
sh0t has joined #ocaml
nullcat has joined #ocaml
nullcat__ has joined #ocaml
nullcat has quit [Read error: Connection reset by peer]
Kakadu has quit [Remote host closed the connection]
hasket is now known as haskets
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
jeffmo has quit [Quit: jeffmo]
sgnb has quit [Ping timeout: 265 seconds]
darryn has joined #ocaml
<darryn>
Is anyone here a self taught programmer with a job?
sgnb has joined #ocaml
pyon is now known as not-not-pyon
kdef has quit [Quit: Leaving]
not-not-pyon has quit [Quit: I have irrefutable proof that D < 0. It follows trivially from 2D > 3D, which is obviously true.]
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]