ollehar has quit [Remote host closed the connection]
cschneid has quit [Ping timeout: 248 seconds]
cschneid has joined #ocaml
nullcat__ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jprakash has joined #ocaml
yomimono has quit [Quit: Leaving]
mcclurmc has quit [Remote host closed the connection]
tmtwd has quit [Ping timeout: 265 seconds]
empyrean has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
jprakash has quit [Ping timeout: 256 seconds]
gpeterson has joined #ocaml
gpeterson has quit [Ping timeout: 248 seconds]
creichert has quit [Remote host closed the connection]
jprakash has joined #ocaml
jprakash has quit [Ping timeout: 250 seconds]
Algebr has quit [Remote host closed the connection]
jprakash has joined #ocaml
MrScout has joined #ocaml
robink_ has quit [Ping timeout: 244 seconds]
ygrek has quit [Ping timeout: 255 seconds]
robink_ has joined #ocaml
jprakash has quit [Ping timeout: 244 seconds]
jprakash has joined #ocaml
empyrean has quit [Ping timeout: 240 seconds]
gpeterson has joined #ocaml
gpeterson has quit [Ping timeout: 265 seconds]
tmtwd has joined #ocaml
jprakash has quit [Ping timeout: 252 seconds]
magical-imouto is now known as ninja-maid-robot
rgrinberg has joined #ocaml
darkf has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 250 seconds]
lewis1711 has joined #ocaml
gpeterson has joined #ocaml
gpeterson has quit [Ping timeout: 250 seconds]
<lewis1711>
I am confused. I have core installed. There are multiple string modules floating around. which do I use?
<lewis1711>
and come to think of it why is the regex module not available
<lewis1711>
http://pastebin.com/HCddjvWw I get "This expression has type bytes but an expression was expected of type t", which doesn't make sense to me without knowing the module
accidus_benartiu has quit [Ping timeout: 246 seconds]
accidus has quit [Ping timeout: 256 seconds]
mcclurmc has joined #ocaml
empyrean has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
MrScout has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
rgrinberg has joined #ocaml
slash^ has joined #ocaml
Denommus has joined #ocaml
malc_ has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
Denommus has quit [Ping timeout: 246 seconds]
Denommus` has joined #ocaml
Denommus` is now known as Denommus
Denommus has quit [Remote host closed the connection]
Denommus` has joined #ocaml
struktured has joined #ocaml
MercurialAlchemi has joined #ocaml
Denommus` is now known as Denommus
ggole has joined #ocaml
Denommus has quit [Quit: going to sleep]
breadmonster has joined #ocaml
tmtwd has quit [Remote host closed the connection]
<struktured>
lewis1711: cannot reproduce...what version? what type did it think it was? your snippiet is cutoff
<lewis1711>
struktured, I don't follow. that was the entire snippet. I am not sure how to check for the version that utop uses. one moment (I assume it's 4.02.1
<struktured>
oh I see a "t" trailing the end of it
<struktured>
did you open anything odd in utop?
<struktured>
i noticed its like command 41
<lewis1711>
struktured, huh. yeah if I kill utop and try again, I can do it...
<lewis1711>
I have no clue how it got in that state
<lewis1711>
might just switch back to the regular ocaml repl if it's going to do weird stuff like this
<struktured>
lewis1711: no no its not utops fault
<struktured>
someone did something like let (=) x y = ... where x and y is not of type 'a
<struktured>
it shouldn't have been opened in the global scope
keen__________16 has quit [Read error: Connection reset by peer]
<struktured>
You can control defaults loaded by utop with .ocamlinit loaded from current dir
MercurialAlchemi has quit [Ping timeout: 246 seconds]
keen__________16 has joined #ocaml
<lewis1711>
struktured, what shouldn't have been opened in the global scope?
<struktured>
lewis1711: you'd have to show me what you did in the utop session
<struktured>
lewis1711: ~/.utop-history maybe ?
<lewis1711>
struktured, that hasn't caught up yet. the session is here https://gist.github.com/anonymous/0189eaee396b84b626b1 . but it's just a dull collection of me failing to load modules etc. I see nothing where I re-bound =..
<struktured>
um what's in main.ml ?
<lewis1711>
various things that changed as I tried testing them out
<lewis1711>
I guess the moral of the story is - the ocaml repl is like windows. if it stops working just restart it
<struktured>
lewis1711: sure but if its stops working its because you rebound something..not much it can do then...
<struktured>
or because camlp4 did something sneaky
<lewis1711>
yeah I must have rebound it somehow
<lewis1711>
I guess I didn't know I could do that
mcc has quit [Quit: This computer has gone to sleep]
<struktured>
lewis1711: its fine to do that, but within a module scope
<struktured>
if you want it outside the scope, just open the module
<struktured>
or do let open Foo in ...
<lewis1711>
I'm still really confused by the top level and modules and loading .cmas. I need to tackle all that later
breadmonster has quit [Ping timeout: 246 seconds]
<ggole>
The top level is quite confusing.
<lewis1711>
I really want to get a proper handle on ocaml though. It has a lot of things I like but I always bail on it due to minor irritants
<ggole>
There's a few moving bits to understand before being comfortable with the toplevel
<ggole>
First, #use is simple textual inclusion
tmtwd has quit [Remote host closed the connection]
<ggole>
It's as if you typed that file in by hand (including # directives).
rgrinberg has quit [Ping timeout: 265 seconds]
<ggole>
This can cause subtle problems as it is quite easy to refer to an old name by mistake.
<ggole>
#mod_use is like that, except it wraps the definitions in a module (named after the file)
<ggole>
Because they are textual inclusion, you don't need to compile anything first.
ygrek has quit [Ping timeout: 250 seconds]
Kakadu has joined #ocaml
psy_ has quit [Remote host closed the connection]
psy_ has joined #ocaml
Haudegen has quit [Ping timeout: 248 seconds]
Haudegen has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
troydm has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
troydm has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Disconnected by services]
darkf_ is now known as darkf
KDr2 has quit [Ping timeout: 256 seconds]
accidus_benartiu has joined #ocaml
accidus has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
KDr2 has joined #ocaml
malc_ has quit [Quit: leaving]
nullcat has joined #ocaml
breadmonster has joined #ocaml
breadmonster has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
nullcat__ has joined #ocaml
nullcat has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
breadmonster has quit [Ping timeout: 248 seconds]
tane has joined #ocaml
meteo_ has joined #ocaml
rand000 has joined #ocaml
<ollehar>
hacklang does inference in cases like this:
<ollehar>
if ($condition) {
<ollehar>
$a = 10;
<ollehar>
} else {
<ollehar>
$a = 44;
<ollehar>
}
<ollehar>
is that flow sensitive type-inference? anyone have any good google key-words or resources?
<ggole>
I don't see anything flow sensitive there
lewis1711 has left #ocaml ["Ex-Chat"]
sh0t has joined #ocaml
gpeterson has joined #ocaml
gpeterson has quit [Ping timeout: 256 seconds]
<ollehar>
ggole: no?
<ollehar>
maybe too simple example
<ollehar>
but the same code would not work in ML
<ollehar>
since $a is never defined before the if
<ggole>
Oh, I see
<ggole>
I still don't think this would be flow sensitive though
<ollehar>
hm, no maybe not
<ggole>
Eg, Java has the same restriction on initializing assignment
<ollehar>
in php, all if:s would return type void, right?
<ggole>
Flow sensitive usually implies some analysis of under what conditions code executes, whereas I suspect this just assumes that either branch could happen.
<ollehar>
yeah
<ggole>
Hmm, but how would you implement that given that there is no binding?
<ollehar>
binding what to what?
<ollehar>
there's function scope and global scope in php.
<ggole>
I know nothing about php.
<ollehar>
ok
<ollehar>
now you know a little :)
<ggole>
So if $a exists already in global scope it is an assignment to that global, otherwise it's an assignment to a local?
<ollehar>
no, if you want to use global variables within a function, you need to import them using keyword `global`, like `global $a`
<ollehar>
well yeah
<ggole>
Oh, hmm
<ollehar>
so, function-local by default.
nullcat has joined #ocaml
<ggole>
If I had to guess, I'd say it's like SSA construction, except instead of phis merging values they merge an abstract type info undefined | int | float | ...
<ggole>
At a use site if the relevant phi for a variable is all int, all float etc you're fine: that's the type
<ggole>
It if contains undefined you have a type ambiguity, error, whatever
nullcat__ has quit [Ping timeout: 246 seconds]
<ollehar>
hm ok
<ggole>
Does php have goto?
<ollehar>
yeah, but I'm purging that.
<ollehar>
making type-inference only for a subset of it
<ggole>
You could support it at some expense in implementation complexity
nullcat__ has joined #ocaml
<ollehar>
ah no, too much
<ggole>
Do you want to allow/disallow something like if cond { a = 1; use_int(a + 1) } else { a = "x"; use_string(a + "wat")}?
<ggole>
Where the same variable has disjoint types, but only at disjoint places
nullcat has quit [Ping timeout: 255 seconds]
inr has quit [Read error: Connection reset by peer]
inr has joined #ocaml
<ollehar>
must be disallow, because of lack of local scope
<ollehar>
or... for the php runtime it doesn't matter. hm.
<ollehar>
so maybe I could do local scoping behind the scenes?
<ollehar>
I wonder if hack would allow that. will check.
<ggole>
The aforementioned SSA method would allow it.
nullcat_ has joined #ocaml
<ollehar>
ok
<ollehar>
hm, yeah, it works in hacklang strict mode.
nullcat__ has quit [Ping timeout: 244 seconds]
<ollehar>
with correct error messages if $x is used somewhere else.
<ollehar>
well, I will study SSA then :)
<ggole>
Does hack support goto?
sh0t has quit [Ping timeout: 264 seconds]
<ollehar>
no, I don't think so
<ollehar>
well, depends on what typing level you use.
<ollehar>
but for strict mode, seems like not.
theblatte has quit [Ping timeout: 252 seconds]
<ollehar>
there <?php, <?hh and <?hh //strict
<ollehar>
*there's
BitPuffin|osx has joined #ocaml
ninja-maid-robot is now known as magical-imouto
sepp2k has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
<zozozo>
there seems to be some posix signals missing from Sys (such as sigbus, sigxcpu, ...), is it by design ?
nullcat__ has joined #ocaml
gpeterson has joined #ocaml
nullcat_ has quit [Ping timeout: 250 seconds]
gpeterson has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 246 seconds]
mcclurmc has joined #ocaml
theblatte has joined #ocaml
<haesbaert>
I'm slightly confused by the opam .install file
rgrinberg has joined #ocaml
<haesbaert>
say I have a project foo, should I create the foo.install in .opam/4.02.2/install/foo.install
<haesbaert>
?
<haesbaert>
I'm not using oasis so I need to add the files I want installed to opam manually
<haesbaert>
ahh got it, it gets copied from the topdir
<haesbaert>
nvm
nullcat has joined #ocaml
nullcat__ has quit [Ping timeout: 256 seconds]
ananas_ has joined #ocaml
sepp2k has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
<ananas_>
Hello, I'm using Merlin, but it doesn't find the Mutex module. I have two lines in my .merlin file that say "PKG unix" and "PKG threads", but it doesn't help. What should I do ?
Haudegen has joined #ocaml
gpeterson has joined #ocaml
<ggole>
It needs a flag, I think
<ggole>
FLG thread?
<ananas_>
Nope, "unknown flags "thread""
Haudegen has quit [Ping timeout: 256 seconds]
<ggole>
You might have an old merlin
gpeterson has quit [Ping timeout: 250 seconds]
elfring has joined #ocaml
elfring has quit [Client Quit]
elfring has joined #ocaml
<ggole>
...or I gave the wrong syntax for FLG
<ananas_>
Ok, googling a bit I found on the github project page that I had to add "B +threads". Problem solved.
ananas_ has quit [Remote host closed the connection]
magical-imouto has quit [Quit: fix config]
rand000 has quit [Quit: leaving]
jao has joined #ocaml
rand000 has joined #ocaml
jprakash has joined #ocaml
Haudegen has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
breadmonster has joined #ocaml
breadmonster has joined #ocaml
nullcat_ has joined #ocaml
nullcat has quit [Read error: Connection reset by peer]
nullcat has joined #ocaml
nullcat_ has quit [Read error: Connection reset by peer]
jprakash has quit [Ping timeout: 252 seconds]
jprakash has joined #ocaml
nullcat has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
robink_ has quit [Ping timeout: 255 seconds]
darkf has quit [Quit: Leaving]
Haudegen has quit [Ping timeout: 256 seconds]
robink_ has joined #ocaml
robink_ is now known as robink
Haudegen has joined #ocaml
nullcat has joined #ocaml
nullca___ has joined #ocaml
nullcat has quit [Ping timeout: 256 seconds]
samrat_ has joined #ocaml
walter|r has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
nullcat has joined #ocaml
nullca___ has quit [Ping timeout: 255 seconds]
jbrown has joined #ocaml
jprakash has quit [Ping timeout: 248 seconds]
pyon has joined #ocaml
nullcat__ has joined #ocaml
nullcat has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
nullcat has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
nullc____ has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
nullcat__ has quit [Ping timeout: 240 seconds]
nullcat has quit [Ping timeout: 250 seconds]
ollehar has joined #ocaml
jprakash has joined #ocaml
samrat_ has quit [Quit: Computer has gone to sleep.]
MercurialAlchemi has joined #ocaml
rand000_ has joined #ocaml
rand000 has quit [Ping timeout: 252 seconds]
jprakash has quit [Ping timeout: 240 seconds]
jprakash has joined #ocaml
tmtwd has joined #ocaml
Algebr has joined #ocaml
ygrek has joined #ocaml
nullcat_ has joined #ocaml
sepp2k has quit [Ping timeout: 256 seconds]
nullc____ has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
Algebr has quit [Read error: Connection reset by peer]
Algebr has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
nullca___ has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
nullcat_ has quit [Ping timeout: 255 seconds]
tnguyen has quit [Quit: tnguyen]
jprakash has quit [Remote host closed the connection]
noplamodo has quit [Ping timeout: 248 seconds]
MrScout has joined #ocaml
tnguyen has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
MrScout has quit [Read error: Connection reset by peer]
sepp2k has quit [Quit: Leaving.]
MrScout has joined #ocaml
xificurC has quit [Ping timeout: 246 seconds]
breadmonster has quit [Quit: Leaving]
xificurC has joined #ocaml
zaquest has quit [Ping timeout: 252 seconds]
gpeterson has joined #ocaml
nullca___ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
gpeterson has quit [Ping timeout: 264 seconds]
jprakash has joined #ocaml
xificurC has quit [Ping timeout: 246 seconds]
jun has quit [Ping timeout: 248 seconds]
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
noplamodo has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
MrScout has quit [Ping timeout: 248 seconds]
zaquest has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
zaquest has quit [Ping timeout: 256 seconds]
zaquest has joined #ocaml
walter|r has quit [Remote host closed the connection]
zaquest has quit [Ping timeout: 264 seconds]
tmtwd has quit [Ping timeout: 255 seconds]
zaquest has joined #ocaml
zaquest has quit [Ping timeout: 264 seconds]
ericwa has joined #ocaml
zaquest has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
sh0t has joined #ocaml
zaquest has quit [Ping timeout: 265 seconds]
walter|r has joined #ocaml
zaquest has joined #ocaml
sh0t has quit [Remote host closed the connection]
Haudegen has joined #ocaml
gpeterson has joined #ocaml
zaquest has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
nullcat has joined #ocaml
zaquest has joined #ocaml
gpeterson has quit [Ping timeout: 252 seconds]
ggole has quit []
rgrinberg has quit [Ping timeout: 255 seconds]
zaquest has quit [Ping timeout: 255 seconds]
zaquest has joined #ocaml
tnguyen has quit [Quit: tnguyen]
zpe has joined #ocaml
zaquest has quit [Ping timeout: 248 seconds]
zpe has quit [Ping timeout: 252 seconds]
jprakash has quit [Ping timeout: 265 seconds]
zaquest has joined #ocaml
zaquest has quit [Ping timeout: 256 seconds]
zaquest has joined #ocaml
rgrinberg has joined #ocaml
zaquest has quit [Ping timeout: 248 seconds]
vanila has joined #ocaml
zaquest has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
zaquest has quit [Ping timeout: 264 seconds]
zaquest has joined #ocaml
tmtwd has joined #ocaml
Simn has quit [Quit: Leaving]
zaquest has quit [Ping timeout: 246 seconds]
zaquest has joined #ocaml
Algebr has quit [Ping timeout: 250 seconds]
zaquest has quit [Ping timeout: 250 seconds]
Hannibal_Smith has quit [Quit: Leaving]
rand000_ has quit [Ping timeout: 264 seconds]
zaquest has joined #ocaml
zaquest has quit [Ping timeout: 265 seconds]
zaquest has joined #ocaml
zaquest has quit [Ping timeout: 246 seconds]
zaquest has joined #ocaml
tane has quit [Quit: Verlassend]
zaquest has quit [Ping timeout: 252 seconds]
gpeterson has joined #ocaml
zaquest has joined #ocaml
gpeterson has quit [Ping timeout: 264 seconds]
zaquest has quit [Ping timeout: 265 seconds]
zaquest has joined #ocaml
nullca___ has joined #ocaml
nullcat has quit [Ping timeout: 246 seconds]
zaquest has quit [Ping timeout: 256 seconds]
zaquest has joined #ocaml
zaquest has quit [Ping timeout: 252 seconds]
zaquest has joined #ocaml
walter|r has quit [Read error: Connection reset by peer]
walter|r has joined #ocaml
zaquest has quit [Ping timeout: 248 seconds]
nullca___ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
zaquest has joined #ocaml
zaquest has quit [Ping timeout: 246 seconds]
pyon is now known as magical-imouto
MrScout has joined #ocaml
nullcat has joined #ocaml
zaquest has joined #ocaml
pdewacht has quit [Ping timeout: 256 seconds]
zaquest has quit [Ping timeout: 256 seconds]
MrScout has quit [Remote host closed the connection]
nullca___ has joined #ocaml
nullcat has quit [Read error: Connection reset by peer]
zaquest has joined #ocaml
nullcat has joined #ocaml
zaquest has quit [Ping timeout: 250 seconds]
nullca___ has quit [Ping timeout: 252 seconds]
zaquest has joined #ocaml
rand000 has joined #ocaml
zaquest has quit [Ping timeout: 246 seconds]
zaquest has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
zaquest has quit [Ping timeout: 264 seconds]
zaquest has joined #ocaml
manizzle has quit [Ping timeout: 246 seconds]
zaquest has quit [Ping timeout: 246 seconds]
zaquest has joined #ocaml
ollehar has quit [Quit: ollehar]
gpeterson has joined #ocaml
zaquest has quit [Ping timeout: 264 seconds]
gpeterson has quit [Ping timeout: 256 seconds]
zaquest has joined #ocaml
Hannibal_Smith has joined #ocaml
Kakadu has quit [Remote host closed the connection]
zaquest has quit [Ping timeout: 265 seconds]
zaquest has joined #ocaml
MrScout has joined #ocaml
tmtwd has quit [Ping timeout: 252 seconds]
zaquest has quit [Ping timeout: 252 seconds]
zaquest has joined #ocaml
zaquest has quit [Ping timeout: 265 seconds]
manizzle has joined #ocaml
zaquest has joined #ocaml
KDr2 has quit [Ping timeout: 246 seconds]
zaquest has quit [Ping timeout: 255 seconds]
KDr2 has joined #ocaml
ousado has quit [Read error: Connection reset by peer]
dwoos has quit [Ping timeout: 252 seconds]
ousado has joined #ocaml
ousado has quit [Changing host]
ousado has joined #ocaml
zaquest has joined #ocaml
dwoos has joined #ocaml
MrScout has quit [Ping timeout: 248 seconds]
tmtwd has joined #ocaml
zaquest has quit [Ping timeout: 252 seconds]
fyolnish has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Quit: WeeChat 1.2]
Pepe_ has quit [Ping timeout: 276 seconds]
Pepe_ has joined #ocaml
zaquest has joined #ocaml
nullca___ has joined #ocaml
fyolnish has joined #ocaml
zaquest has quit [Ping timeout: 240 seconds]
nullcat has quit [Ping timeout: 256 seconds]
zaquest has joined #ocaml
vanila has quit [Quit: Leaving]
idegen has joined #ocaml
zaquest has quit [Ping timeout: 256 seconds]
nullca___ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]