<malex>
Hi, what changed in 4.02 from 4.01 to case the ocamlbuild error "Error: This expression has type Lexing.lexbuf but an expression was expected of type Ocamlbuild_pack.Loc.source = string" ? Full paste http://paste.ofcode.org/TnQ5nkm8b548YMx53sJDyB
jonludlam has joined #ocaml
mort___ has quit [Ping timeout: 246 seconds]
<def`>
what if you comment line 24?
<def`>
(but keep line 25)
<malex>
File "myocamlbuild.ml", line 67, characters 11-29:
<malex>
Error: This expression has type Lexing.lexbuf -> string list but an expression was expected of type string list
<malex>
67 end (find_packages ())
<malex>
doesn't make sense
<def`>
I d say it's a problem with associativity of &
mal`` has quit [Ping timeout: 240 seconds]
<def`>
try with explicit parens (and uncommenting line 24)
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<malex>
Thanks, but it produces the same "Error: This expression has type Lexing.lexbuf..." error
jonludlam has quit [Ping timeout: 246 seconds]
<def`>
ok I was wrong sorry
<malex>
I pretty much just encountered ocaml for the first time, trying to build software that depends on some ocaml modules, so not sure what's going on.
<malex>
I installed ocaml 4.02.3 + opam and 'opam install'ed all dependencies.
nullcatxxx_ has joined #ocaml
jwatzman|work has joined #ocaml
<def`>
malex: blank_sep_strings takes the name of the file as an argument
<def`>
for producing error messages
<def`>
blank_sep_strings "<ocamlfind list | cut -d' ' -f1>" &
<def`>
or blank_sep_strings "<shell>" &
<def`>
it's only for informational purposes
^elyse^ has joined #ocaml
<malex>
def`: Thank you! The build is going now.
<def`>
good :)
bbc has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
orbifx has quit [Ping timeout: 246 seconds]
darkf has quit [Quit: Leaving]
zpe has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
zpe has quit [Ping timeout: 268 seconds]
k1000 has quit [Ping timeout: 244 seconds]
superboum has joined #ocaml
k1000 has joined #ocaml
Haudegen has joined #ocaml
tane has quit [Quit: Verlassend]
kdas_ has joined #ocaml
kdas_ has quit [Read error: Connection reset by peer]
kushal has quit [Ping timeout: 250 seconds]
k1000 has quit [Ping timeout: 265 seconds]
superboum has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
jeffmo has quit [Ping timeout: 250 seconds]
rand has quit [Ping timeout: 268 seconds]
jgjl has joined #ocaml
BitPuffin has quit [Ping timeout: 246 seconds]
k1000 has joined #ocaml
paddymahoney has quit [Ping timeout: 240 seconds]
Kakadu has quit [Quit: Page closed]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jeffmo has joined #ocaml
larhat1 has joined #ocaml
nullcatxxx_ has joined #ocaml
shinnya has joined #ocaml
jeffmo has quit [Ping timeout: 268 seconds]
ggole has quit []
jeffmo has joined #ocaml
freehck` has quit [Ping timeout: 240 seconds]
jabesed has joined #ocaml
orbifx has joined #ocaml
rbocquet has quit [Quit: WeeChat 1.1.1]
jabesed has quit [Ping timeout: 246 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
orbifx has quit [Ping timeout: 244 seconds]
j0sh has joined #ocaml
<j0sh>
is there any way to "exclude" a particular (G)ADT branch when doing pattern matching, short of adding phantom type annotations to every branch?
Kakadu has joined #ocaml
<Drup>
define "exclude"
<j0sh>
suppose i have a few branches in a GADT but i only want to match on some subset of the branch
<Drup>
and what do you want to do in the other cases ?
<j0sh>
i've been doing this by adding an extra phantom parameter to the type but that's pretty inflexible, especially if i want to add special cases/'tags' for various branches
<j0sh>
Drup: what do i want to do in other cases... nothing i guess? the intention is that the data should never have that "shape", eg gets rejected by the compiler
<Drup>
ok, so you don't have the choice than to somehow encode that constraint into the type
<Drup>
how to do that depends a lot of the actual application, adding an extra phantom parameter is a rather common solution.
<j0sh>
i don't really have a problem with encoding the constraint via phantom types (even though it sort of ends up 'polluting' the rest of the ADT)
<j0sh>
the real problem is if two (or more) branches have different phantom type constraints then it becomes really cumbersome to specify the allowed types
orbifx has joined #ocaml
<Drup>
Yes.
orbifx2 has joined #ocaml
<j0sh>
so, no solution to that? :) (is there a name/label/theory or something for this class of problems?)
<Drup>
j0sh: if you give details, maybe, but right now your problem is far too abstract
<j0sh>
haven't had much luck in googling possible approaches, partially because i'm not 100% sure what terms could be useful (eg, "define 'exclude'")
englishm has joined #ocaml
<j0sh>
Drup: yeah, fair enough
<Drup>
well, it's just basic gadt stuff, really
<j0sh>
so concretely i'm trying to model SQL, specificially the WHERE and HAVING clauses... they are identical except that HAVING allows filtering by the result of aggregate functions (count, sum, etc)
orbifx has quit [Ping timeout: 260 seconds]
<j0sh>
so in the case of an aggregate type being specified, I want the whole branch to be marked as "aggregate" or something so it cant be used in a WHERE clause
<Drup>
yeah, you're good for an extra type variable.
<j0sh>
i should think some more about how to model it with non-gadts, that would prob end up being more straightforward
<Drup>
(you know about macaque, do you ?)
<j0sh>
i've heard of it but havent really looked into it
* j0sh
checks macaque out
kay-slimane has quit [Quit: Bye]
slash^ has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
tmtwd has quit [Ping timeout: 272 seconds]
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
gsingh93_ has joined #ocaml
zpe has joined #ocaml
larhat2 has joined #ocaml
larhat1 has quit [Read error: Connection reset by peer]
Mercuria1Alchemi has joined #ocaml
ncthom91 has joined #ocaml
larhat1 has joined #ocaml
larhat2 has quit [Read error: Connection reset by peer]
Mercuria1Alchemi has quit [Remote host closed the connection]
lostman has quit [Quit: Connection closed for inactivity]
rand has joined #ocaml
Mercuria1Alchemi has joined #ocaml
ygrek has quit [Ping timeout: 268 seconds]
stormogulen has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 272 seconds]
mort___ has quit [Quit: Leaving.]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
lobo has joined #ocaml
^elyse^ has quit [Quit: Leaving]
stormogulen has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]
jonludlam has joined #ocaml
mal`` has joined #ocaml
ygrek has joined #ocaml
zpe has quit [Remote host closed the connection]
ollehar has joined #ocaml
nullcatxxx_ has joined #ocaml
tane has joined #ocaml
swgillespie has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 244 seconds]
pyx has joined #ocaml
pyx has quit [Client Quit]
tane has quit [Quit: Verlassend]
englishm has quit [Read error: Connection reset by peer]
ollehar has quit [Quit: ollehar]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mac10688 has joined #ocaml
vpm has quit [Quit: co'o]
orbifx2 has quit [Read error: Connection reset by peer]
vpm has joined #ocaml
Kakadu has quit [Remote host closed the connection]
gsingh93_ has quit [Quit: Connection closed for inactivity]