talzeus_ has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
avsm has quit [Read error: Operation timed out]
cdruzac has quit [Quit: Leaving]
watermind has quit [Quit: Konversation terminated!]
zRecursive has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
talzeus has joined #ocaml
talzeus has quit [Ping timeout: 255 seconds]
talzeus has joined #ocaml
tlockney_away is now known as tlockney
claudiuc has quit [Read error: Connection reset by peer]
claudiuc has joined #ocaml
boogie has quit [Remote host closed the connection]
talzeus_ has joined #ocaml
talzeus has quit [Ping timeout: 268 seconds]
travisbrady has quit [Quit: travisbrady]
talzeus_ has quit [Remote host closed the connection]
talzeus has joined #ocaml
claudiuc has quit [Remote host closed the connection]
avsm has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
WraithM has quit [Ping timeout: 240 seconds]
travisbrady has joined #ocaml
WraithM has joined #ocaml
<ruzu>
newbie q... anyone use lablgl? i've tried in a linux vm and on windows, and i always get something like "undefined global Glut" or Gl not being bound... even though the repl seems to open Gl or Glut packages fine
f[x] has joined #ocaml
<ruzu>
...ah ha! got it working :] (at least provisionally...
<tautologico>
I haven't used in quite some time
<tautologico>
lablgl is nice but it's old-style OpenGL only
travisbrady has quit [Quit: travisbrady]
<ruzu>
would you recommend another option? i think i've seen mention of a glcaml somewhere
<tautologico>
yeah, glcaml has bindings to more recent OpenGL, but I don't know how easy it is to compile it nowadays
pawelbx has joined #ocaml
f[x] has quit [Ping timeout: 240 seconds]
rta has quit [Ping timeout: 245 seconds]
zRecursive has left #ocaml []
avsm has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
avsm has quit [Ping timeout: 252 seconds]
f[x] has joined #ocaml
boogie has joined #ocaml
rta has joined #ocaml
boogie has quit [Client Quit]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
divyanshu has joined #ocaml
divyanshu has quit [Client Quit]
divyanshu has joined #ocaml
f[x] has quit [Remote host closed the connection]
talzeus has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
willb1 has quit [Ping timeout: 255 seconds]
avsm has joined #ocaml
avsm has quit [Ping timeout: 255 seconds]
pettiness has joined #ocaml
tlockney is now known as tlockney_away
clan__ has joined #ocaml
clan__ has quit [Client Quit]
clan__ has joined #ocaml
clan__ has left #ocaml []
willb1 has joined #ocaml
<clan>
quit
clan has quit [Quit: leaving]
clan has joined #ocaml
axiles has joined #ocaml
willb1 has quit [Ping timeout: 240 seconds]
siddharthv_away is now known as siddharthv
ggole has joined #ocaml
willb1 has joined #ocaml
keen__ is now known as keen_
zpe has joined #ocaml
nikki93 has joined #ocaml
avsm has joined #ocaml
zzing has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<pminten>
ah, so that's where those opam dependencies come from
<pminten>
thank you both
reynir is now known as poopinprogress
avsm has joined #ocaml
michael_lee has quit [Ping timeout: 240 seconds]
nk0_ is now known as nk0
thomasga has quit [Quit: Leaving.]
<Drup>
whitequark: hi, is there some example of ocaml code implementing an llvm pass ?
<whitequark>
Drup: that's not possible
mort___ has joined #ocaml
<whitequark>
Drup: that being said, I'm willing to look into how it can be done
poopinprogress is now known as reynir
michael_lee has joined #ocaml
<Drup>
whitequark: oh, is it ? there is some stuff about PassManager in the binding
maufred has quit [Quit: leaving]
michael_lee has quit [Max SendQ exceeded]
pminten has quit [Remote host closed the connection]
thomasga has joined #ocaml
Yoric has joined #ocaml
<mrvn>
Can I write a function that takes an int and returns a unique type for each value of the int or always a unique type no matter the argument?
<def-lkb>
?
<mrvn>
let t1 = f 1 let t2 = f 2 let _ = t1 = t2 should give a type error
<def-lkb>
Nop
<Drup>
with first class module, maybe ?
<mrvn>
I've been thinking of making a local module, apply a functor to create a local type and then return a value made by the functor.
<def-lkb>
You always need a way to name a type, with first class module you can create local types
<def-lkb>
but they can't escape local scope
<mrvn>
def-lkb: yes. but can they escape the scope?
<mrvn>
:(
<def-lkb>
but if you accept to name them, it should be ok
<mrvn>
Ok, lets start from scratch. Maybe I have the wrong idea.
<def-lkb>
module type S = sig type t val t : t end;; let fresh () = (module (struct type t = int let t = 5 end) : S);; let t1 = fresh () let t2 = fresh ();;
<def-lkb>
module T1 = (val t1 : S);; let t1' = T1.t;; (* the same for T2, t1' and t2' have different type, the only way to introduce a value of that type is T[_].t *)
maattdd_ has quit [Ping timeout: 240 seconds]
<mrvn>
I'm doing math over a finite field computing polynoms of a fixed degree over a lot of sets of points. I start with an array of size N, from that I compute a matrix of size N*M and that matrix gets applied many times of an array of arrays of size N*M to procude arrays of size M.
<mrvn>
I want to make sure all the N and M sizes match through the type system.
<Drup>
gadt + peano :p
michael_lee has joined #ocaml
michael_lee has quit [Excess Flood]
thomasga has quit [Quit: Leaving.]
<mrvn>
Drup: that gives rather long types.
maattdd_ has joined #ocaml
darkf_ has joined #ocaml
darkf_ has quit [Changing host]
darkf_ has joined #ocaml
<Drup>
you're trying to encode poor man's dependent type into a language that doesn't support them
<Drup>
your doomed to have something a bit clumsy
<mrvn>
N (outside parameter) is on the low end of 1-65536 and M is currently 4096. Not sure ocaml can handle succ(succ(succ(...4096 times...(nil)...)))
<mrvn>
I think I once saw something with GADTs that used digits to encode number. Something like "D4 D0 D9 D6" for 4096.