<
orbitz>
There is Idris for your dependenlty typed systems programming needs :)
gnuvince has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 245 seconds]
ulfdoz_ is now known as ulfdoz
tbrady has quit [Read error: Connection reset by peer]
tbrady has joined #ocaml
sepp2k1 has quit [Remote host closed the connection]
emmanuel__ has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
tbrady has quit [Quit: tbrady]
wormphlegm has joined #ocaml
<
ski>
pattern-matching on bits (as in Erlang) could be nice ..
gnuvince has quit [Quit: Remember when men were men and regular expressions recognized regular languages?]
gnuvince has joined #ocaml
gnuvince has quit [Ping timeout: 255 seconds]
lamawithonel has quit []
lamawithonel has joined #ocaml
wormphlegm has quit [Quit: leaving]
pou` has joined #ocaml
edwin has joined #ocaml
xcombelle has joined #ocaml
eni has joined #ocaml
sepp2k has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
err404 has joined #ocaml
xcombelle has quit [Quit: I am a manual virus, please copy me to your quit message.]
wagle has quit [Ping timeout: 264 seconds]
wagle has joined #ocaml
err404 has quit [Remote host closed the connection]
avsm has joined #ocaml
pou` has quit [Read error: Connection reset by peer]
mal`` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
mal`` has joined #ocaml
nojb has joined #ocaml
<
nojb>
is there a clean way to use stream parsers/lexers if I want location information (line numbers, character positions) attached to each token?
edwin has left #ocaml []
pou` has joined #ocaml
<
orbitz>
nojb: thread teh state through
nojb has left #ocaml []
BiDOrD has quit [Read error: Operation timed out]
BiDOrD has joined #ocaml
ulfdoz has quit [Remote host closed the connection]
ulfdoz has joined #ocaml
osa1 has joined #ocaml
fraggle_ has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
mort___ has joined #ocaml
mort___ has quit [Client Quit]
malc_ has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
eni has quit [Quit: Leaving]
fraggle_ has joined #ocaml
Progster has joined #ocaml
mort___ has joined #ocaml
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
err404 has joined #ocaml
Ptivalternative has joined #ocaml
Ptival has quit [Ping timeout: 245 seconds]
mort___ has quit [Quit: Leaving.]
gnuvince has joined #ocaml
mort___ has joined #ocaml
mort___ has quit [Quit: Leaving.]
eni has joined #ocaml
mort___ has joined #ocaml
mort___ has quit [Remote host closed the connection]
mort___ has joined #ocaml
err404 has quit [Remote host closed the connection]
Cyanure has joined #ocaml
cdidd has joined #ocaml
Ptivalternative is now known as Ptival
mrvn has quit [Ping timeout: 245 seconds]
mrvn has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
tbrady has joined #ocaml
pou` has quit [Read error: Connection reset by peer]
eni has quit [Ping timeout: 240 seconds]
drivedric has joined #ocaml
drivedric has quit [Client Quit]
Sablier_ has joined #ocaml
tbrady has quit [Quit: tbrady]
tbrady has joined #ocaml
Cyanure has quit [Remote host closed the connection]
sepp2k has quit [Read error: Connection reset by peer]
sepp2k has joined #ocaml
Sablier_ has quit [Quit: Kat]
malc_ has quit [Quit: leaving]
ulfdoz has quit [Ping timeout: 244 seconds]
wagle has quit [Quit: No Ping reply in 180 seconds.]
wagle has joined #ocaml
tbrady has quit [Remote host closed the connection]
tbrady has joined #ocaml
<
Drakken>
Is there a standard way of specifying the return type of a match expression?
<
Drakken>
or do you just pick one case and specify its type?
bzzbzz has quit [Quit: leaving]
mort___ has quit [Quit: Leaving.]
<
_habnabit>
Drakken, you could do (match ... : foo)
<
_habnabit>
Drakken, why bother, though?
<
orbitz>
let foo : foo = match ..
<
Drakken>
_habnabit I'm fiddling around with phantom types
gnuvince has quit [Ping timeout: 250 seconds]
<
gasche_>
phantom types or GADTs?
<
gasche_>
for phantom types, you should rather specify them at module boundaries
<
gasche_>
(in a module signature, "sig .. end" or .mli file)
<
gasche_>
otherwise OCaml will detect that the parameter is really insignifiant and mostly ignore it during type-checking
<
Drakken>
oh. maybe I should do that. :/
<
gasche_>
type 'a t = int;; let f : float t -> float t = succ;; f (4 : bool t);;
<
gasche_>
will work
<
Drakken>
wow. gasche_ thanks :)
tbrady has quit [Quit: tbrady]
gasche_ has quit [Ping timeout: 264 seconds]
eni has joined #ocaml
tbrady has joined #ocaml
tbrady has quit [Client Quit]
dsheets has joined #ocaml
tbrady has joined #ocaml
wormphlegm has joined #ocaml
wormphlegm has quit [Client Quit]
wormphlegm has joined #ocaml
wormphlegm has quit [Client Quit]
wormphlegm has joined #ocaml
wormphlegm has quit [Client Quit]
wormphlegm has joined #ocaml
wormphlegm has quit [Client Quit]
wormphlegm has joined #ocaml
wormphlegm has quit [Client Quit]
wormphlegm has joined #ocaml
eni has quit [Quit: Leaving]
wormphlegm has quit [Ping timeout: 264 seconds]
Progster has quit [Ping timeout: 272 seconds]
emmanuelux has joined #ocaml