_whitelogger_ has quit [Remote host closed the connection]
_whitelogger_ has joined #ocaml
_whitelogger_ has joined #ocaml
mxns has quit [Ping timeout: 256 seconds]
mxns has quit [Ping timeout: 256 seconds]
mxns has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 256 seconds]
mxns has quit [Ping timeout: 256 seconds]
Iacob has joined #ocaml
Iacob has joined #ocaml
mxns has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 244 seconds]
mxns has quit [Ping timeout: 244 seconds]
laokz has quit [Ping timeout: 256 seconds]
laokz has quit [Ping timeout: 256 seconds]
laokz has joined #ocaml
laokz has joined #ocaml
narimiran has joined #ocaml
narimiran has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
waleee-cl has quit [Quit: Connection closed for inactivity]
laokz has quit [Ping timeout: 265 seconds]
laokz has quit [Ping timeout: 265 seconds]
Serpent7776 has joined #ocaml
Serpent7776 has joined #ocaml
wonko7 has joined #ocaml
wonko7 has joined #ocaml
mbuf has joined #ocaml
mbuf has joined #ocaml
shawnw has joined #ocaml
shawnw has joined #ocaml
laokz has joined #ocaml
laokz has joined #ocaml
borne has joined #ocaml
borne has joined #ocaml
vicfred has quit [Quit: Leaving]
vicfred has quit [Quit: Leaving]
Haudegen has joined #ocaml
Haudegen has joined #ocaml
lisq has quit [Quit: lisq]
lisq has quit [Quit: lisq]
lisq has joined #ocaml
lisq has joined #ocaml
lisq has quit [Client Quit]
lisq has quit [Client Quit]
lisq has joined #ocaml
lisq has joined #ocaml
bartholin has joined #ocaml
bartholin has joined #ocaml
brj has quit [Ping timeout: 245 seconds]
brj has quit [Ping timeout: 245 seconds]
brj has joined #ocaml
brj has joined #ocaml
mxns has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 244 seconds]
mxns has quit [Ping timeout: 244 seconds]
brj has quit [Ping timeout: 245 seconds]
brj has quit [Ping timeout: 245 seconds]
brj has joined #ocaml
brj has joined #ocaml
osa1_ has joined #ocaml
osa1_ has joined #ocaml
osa1 has quit [Ping timeout: 265 seconds]
osa1 has quit [Ping timeout: 265 seconds]
l1x has joined #ocaml
l1x has joined #ocaml
Iacob has quit [Quit: Leaving]
Iacob has quit [Quit: Leaving]
omni_ is now known as omni
omni_ is now known as omni
osa1_ is now known as osa1
osa1_ is now known as osa1
laokz has quit [Ping timeout: 256 seconds]
laokz has quit [Ping timeout: 256 seconds]
dhil has joined #ocaml
dhil has joined #ocaml
omni has quit [Ping timeout: 264 seconds]
omni has quit [Ping timeout: 264 seconds]
omni has joined #ocaml
omni has joined #ocaml
reffter has joined #ocaml
reffter has joined #ocaml
<reffter>
hi there. quick question: i declared p1 as (1., 0.)
<reffter>
hi there. quick question: i declared p1 as (1., 0.)
<reffter>
how can I select the first digit (1.) ?
<reffter>
how can I select the first digit (1.) ?
mfp has joined #ocaml
mfp has joined #ocaml
<hannes>
reffter: either "let thing, _ = value in" -- then you deconstruct it. Or "let thing = fst my_value in" (i.e. calling the function 'fst')
<hannes>
reffter: either "let thing, _ = value in" -- then you deconstruct it. Or "let thing = fst my_value in" (i.e. calling the function 'fst')
mxns has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
jbrown has joined #ocaml
brj has quit [Ping timeout: 256 seconds]
brj has quit [Ping timeout: 256 seconds]
brj has joined #ocaml
brj has joined #ocaml
mxns has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
mxns has joined #ocaml
laokz has joined #ocaml
laokz has joined #ocaml
<d_bot_>
<gar> @octachron I'd like to use codept to analyze and entire project. The help page doesn't say much about how to actually use the tool. If I run it like `$ codept src/` I get `[Fatal error]: Syntax error
<d_bot_>
<gar> @octachron I'd like to use codept to analyze and entire project. The help page doesn't say much about how to actually use the tool. If I run it like `$ codept src/` I get `[Fatal error]: Syntax error
<d_bot_>
<gar> File "", line 1, characters 1-3`
<d_bot_>
<gar> File "", line 1, characters 1-3`
<d_bot_>
<gar> ```
<d_bot_>
<gar> ```
<d_bot_>
<gar> $ codept src/
<d_bot_>
<gar> $ codept src/
<d_bot_>
<gar> [Fatal error]: Syntax error
<d_bot_>
<gar> [Fatal error]: Syntax error
<d_bot_>
<gar> File "", line 1, characters 1-3
<d_bot_>
<gar> File "", line 1, characters 1-3
<d_bot_>
<gar> ```
<d_bot_>
<gar> ```
<d_bot_>
<gar> Do I need to explicitly list each ml file?
<d_bot_>
<gar> Do I need to explicitly list each ml file?
reffter74 has joined #ocaml
reffter74 has joined #ocaml
reffter74 has quit [Client Quit]
reffter74 has quit [Client Quit]
<reffter>
i am having some issues doing a function sum3: int -> int, on which sum3 n returns the summation from i=0 to n of 3^i
<reffter>
i am having some issues doing a function sum3: int -> int, on which sum3 n returns the summation from i=0 to n of 3^i
mxns has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 240 seconds]
<reffter>
let sum3 n =
<reffter>
let sum3 n =
<reffter>
let sum = ref 0 in
<reffter>
let sum = ref 0 in
<reffter>
for i = 0 to n do
<reffter>
for i = 0 to n do
<reffter>
let value = 3 ** i in
<reffter>
let value = 3 ** i in
<reffter>
sum:= !sum + value
<reffter>
sum:= !sum + value
<reffter>
done
<reffter>
done
<reffter>
getting some issues here, already tried with 3., i., and no solution comes up to my mind lol
<reffter>
getting some issues here, already tried with 3., i., and no solution comes up to my mind lol
<d_bot_>
<octachron> @gar: It seems that I forgot to precise which file raises a syntax error in the error message. You can use the `-k` option to make codept analyze syntactically invalid files.
<d_bot_>
<octachron> @gar: It seems that I forgot to precise which file raises a syntax error in the error message. You can use the `-k` option to make codept analyze syntactically invalid files.
henistein has joined #ocaml
henistein has joined #ocaml
<d_bot_>
<octachron> `codept -k src/` should then work
<d_bot_>
<octachron> `codept -k src/` should then work
<vsiles>
reffter: (**) is an operator on floats, so 3 needs to be 3.0, and i needs to be `float_of_int`
<vsiles>
reffter: (**) is an operator on floats, so 3 needs to be 3.0, and i needs to be `float_of_int`
<vsiles>
then `sum` needs to be `ref 0.0` and `+` needs to be `+.`
<vsiles>
then `sum` needs to be `ref 0.0` and `+` needs to be `+.`
henistein has quit [Client Quit]
henistein has quit [Client Quit]
<vsiles>
you can then turn the final result back to int using `int_of_float`
<vsiles>
you can then turn the final result back to int using `int_of_float`
<d_bot_>
<gar> Wait, I take it back. Allocation_functor is a "wrapped" library produced by the dune file. Any way I can make codept aware of that kind of stuff?
<d_bot_>
<gar> Wait, I take it back. Allocation_functor is a "wrapped" library produced by the dune file. Any way I can make codept aware of that kind of stuff?
mxns has quit [Ping timeout: 256 seconds]
mxns has quit [Ping timeout: 256 seconds]
<d_bot_>
<gar> But I still see things like
<d_bot_>
<gar> But I still see things like
<d_bot_>
<gar> ```
<d_bot_>
<gar> ```
<d_bot_>
<gar> −Non-resolved internal dependency.
<d_bot_>
<gar> −Non-resolved internal dependency.
<d_bot_>
<gar> The following compilation units {src/lib/mina_lib/mina_lib.ml,
<d_bot_>
<gar> The following compilation units {src/lib/mina_lib/mina_lib.ml,
<d_bot_>
<gar> depend on the compilation units "src/lib/pipe_lib/linear_pipe.ml" that could not be resolved.
<d_bot_>
<gar> depend on the compilation units "src/lib/pipe_lib/linear_pipe.ml" that could not be resolved.
<d_bot_>
<gar> ```
<d_bot_>
<gar> ```
<d_bot_>
<gar> where `src/lib/pipe_lib/linear_pipe.ml` exists.
<d_bot_>
<gar> where `src/lib/pipe_lib/linear_pipe.ml` exists.
malc_ has joined #ocaml
malc_ has joined #ocaml
<d_bot_>
<octachron> You can try `-nested` if the directory name maps exactly onto the wrapped library name
<d_bot_>
<octachron> You can try `-nested` if the directory name maps exactly onto the wrapped library name
<d_bot_>
<octachron> Otherwise the syntax should be `Wrapped_library.[dir_name]` .
<d_bot_>
<octachron> Otherwise the syntax should be `Wrapped_library.[dir_name]` .
shawnw has quit [Ping timeout: 244 seconds]
shawnw has quit [Ping timeout: 244 seconds]
mxns has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 244 seconds]
mxns has quit [Ping timeout: 244 seconds]
<d_bot_>
<octachron> And "internal dependency" means that the compilation unit was read but it was somehow impossible to resolve. If you have module alias which use the weak dependency you may need the `-no-alias-deps` option. Otherwise, I don't remember what could trigger the issue in the `-k` mode.
<d_bot_>
<octachron> And "internal dependency" means that the compilation unit was read but it was somehow impossible to resolve. If you have module alias which use the weak dependency you may need the `-no-alias-deps` option. Otherwise, I don't remember what could trigger the issue in the `-k` mode.
Tuplanolla has joined #ocaml
Tuplanolla has joined #ocaml
laokz has quit [Ping timeout: 260 seconds]
laokz has quit [Ping timeout: 260 seconds]
reffter has quit [Quit: Connection closed]
reffter has quit [Quit: Connection closed]
mxns has joined #ocaml
mxns has joined #ocaml
<d_bot_>
<gar> Ok, thanks for your help, I'll have to spend more time working with it. But lemme ask the obvious question: is this going to work? My goal is to use it to help build a tool to automated production of BUILD.bazel files for Obazl. So for each source file I need to find the list of its deps, from which I can generate the bazel file. I think parsing the codept stdout will work, yeah? Of course a programmatic API would be better; ho
<d_bot_>
<gar> Ok, thanks for your help, I'll have to spend more time working with it. But lemme ask the obvious question: is this going to work? My goal is to use it to help build a tool to automated production of BUILD.bazel files for Obazl. So for each source file I need to find the list of its deps, from which I can generate the bazel file. I think parsing the codept stdout will work, yeah? Of course a programmatic API would be better; ho
zebrag has joined #ocaml
zebrag has joined #ocaml
<d_bot_>
<octachron> Parsing the output should work: note that there is a json output available with the `-deps` output (or a sexp one with `-format sexp`) .
<d_bot_>
<octachron> Parsing the output should work: note that there is a json output available with the `-deps` output (or a sexp one with `-format sexp`) .
<d_bot_>
<octachron> Integrating codept as a library is also theoretically possible. For instance, codept's testsuite uses the codept library to switch between options (and engines at the time that I was testing the old and zipper based engine), and to implement a "stumbling" analyzer that always fails once when trying to resolve a path.
<d_bot_>
<octachron> Integrating codept as a library is also theoretically possible. For instance, codept's testsuite uses the codept library to switch between options (and engines at the time that I was testing the old and zipper based engine), and to implement a "stumbling" analyzer that always fails once when trying to resolve a path.
Haudegen has joined #ocaml
Haudegen has joined #ocaml
<d_bot_>
<gar> Thanks, I'll take a look at the testsuite as well.
<d_bot_>
<gar> Thanks, I'll take a look at the testsuite as well.
vicfred has joined #ocaml
vicfred has joined #ocaml
mxns has quit [Ping timeout: 244 seconds]
mxns has quit [Ping timeout: 244 seconds]
malc_ has quit [Quit: ERC (IRC client for Emacs 28.0.50)]
malc_ has quit [Quit: ERC (IRC client for Emacs 28.0.50)]
laokz has joined #ocaml
laokz has joined #ocaml
mxns has joined #ocaml
mxns has joined #ocaml
jbrown has quit [Ping timeout: 272 seconds]
jbrown has quit [Ping timeout: 272 seconds]
jbrown has joined #ocaml
jbrown has joined #ocaml
laokz has quit [Quit: Leaving]
laokz has quit [Quit: Leaving]
hosewiejacke has joined #ocaml
hosewiejacke has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
mbuf has joined #ocaml
stites[m] has quit [Ping timeout: 265 seconds]
stites[m] has quit [Ping timeout: 265 seconds]
tjammer[m] has quit [Ping timeout: 265 seconds]
tjammer[m] has quit [Ping timeout: 265 seconds]
andreas31 has quit [Ping timeout: 268 seconds]
andreas31 has quit [Ping timeout: 268 seconds]
tmhoang52 has joined #ocaml
tmhoang52 has joined #ocaml
steenuil has quit [Read error: Connection reset by peer]
steenuil has quit [Read error: Connection reset by peer]
pqwy[m] has quit [Ping timeout: 246 seconds]
pqwy[m] has quit [Ping timeout: 246 seconds]
peddie has quit [Ping timeout: 246 seconds]
peddie has quit [Ping timeout: 246 seconds]
jimt[m] has quit [Ping timeout: 240 seconds]
jimt[m] has quit [Ping timeout: 240 seconds]
SoF has quit [Read error: Connection reset by peer]
SoF has quit [Read error: Connection reset by peer]
steenuil has joined #ocaml
steenuil has joined #ocaml
slt[m] has quit [Ping timeout: 240 seconds]
slt[m] has quit [Ping timeout: 240 seconds]
SoF has joined #ocaml
SoF has joined #ocaml
labor[m] has quit [Ping timeout: 240 seconds]
labor[m] has quit [Ping timeout: 240 seconds]
tmhoang5 has quit [Ping timeout: 265 seconds]
tmhoang5 has quit [Ping timeout: 265 seconds]
smondet[m] has quit [Ping timeout: 240 seconds]
smondet[m] has quit [Ping timeout: 240 seconds]
aditi314 has quit [Ping timeout: 240 seconds]
aditi314 has quit [Ping timeout: 240 seconds]
lnxw37d4 has quit [Ping timeout: 244 seconds]
lnxw37d4 has quit [Ping timeout: 244 seconds]
andreas31 has joined #ocaml
andreas31 has joined #ocaml
aspiwack[m] has quit [Ping timeout: 240 seconds]
aspiwack[m] has quit [Ping timeout: 240 seconds]
dash has quit [Ping timeout: 240 seconds]
dash has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Ping timeout: 258 seconds]
BitPuffin has quit [Ping timeout: 258 seconds]
flux has quit [Ping timeout: 268 seconds]
flux has quit [Ping timeout: 268 seconds]
borne has quit [Ping timeout: 244 seconds]
borne has quit [Ping timeout: 244 seconds]
pqwy[m] has joined #ocaml
pqwy[m] has joined #ocaml
stites[m] has joined #ocaml
stites[m] has joined #ocaml
tjammer[m] has joined #ocaml
tjammer[m] has joined #ocaml
jimt[m] has joined #ocaml
jimt[m] has joined #ocaml
peddie has joined #ocaml
peddie has joined #ocaml
lnxw37d4 has joined #ocaml
lnxw37d4 has joined #ocaml
aditi314 has joined #ocaml
aditi314 has joined #ocaml
slt[m] has joined #ocaml
slt[m] has joined #ocaml
labor[m] has joined #ocaml
labor[m] has joined #ocaml
vicfred has quit [Remote host closed the connection]
vicfred has quit [Remote host closed the connection]
vicfred has joined #ocaml
vicfred has joined #ocaml
smondet[m] has joined #ocaml
smondet[m] has joined #ocaml
BitPuffin has joined #ocaml
BitPuffin has joined #ocaml
dash has joined #ocaml
dash has joined #ocaml
borne has joined #ocaml
borne has joined #ocaml
flux has joined #ocaml
flux has joined #ocaml
aspiwack[m] has joined #ocaml
aspiwack[m] has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]