06:47 <Fooz> Hi all - ocaml newbie question about modules. I have a module with a type 't' that represents an AST, and it is parameterized by a SIG with a type 'a' that is included in each constructor. I'm trying to create an instance of the AST module where 'a' includes some values of 't' (AST nodes with metadata referencing other AST nodes). The problem is

06:47 <Fooz> that I'm unable to reference the constructors of type 'a' outside of the second module's definition. Am I missing something, is there a better way to do this, etc? This instance of the AST module is one of many, and I'd like to avoid moving its definition into the AST file and making it directly recursive if possible

06:54 <d_bot> <mseri> Inkbottle the difference should be in the number of samples. In the first plot they are 1000, in the second 10000. Also the function plotted is different, in the first are 1k normally sampled points with mean 0 and variance 1, in the second the logarithm of 10k uniformly sampled points so the distribution will have different parameters as well

06:54 <d_bot> <mseri> Inkbottle the difference should be mostly in the number of samples. In the first plot they are 1000, in the second 10000. Also the function plotted is different, in the first are 1k normally sampled points with mean 0 and variance 1, in the second the logarithm of 10k uniformly sampled points so the distribution will have different parameters as well

06:54 <d_bot> <mseri> The more the points the better they should approximate the distribution

06:58 <Fooz> Example of what I'm talking about here: https://pastebin.com/ksc5mPRN

07:01 <Fooz> Slight mistake in that one, fixed here: https://pastebin.com/zQhLDWEW

15:43 <lobo> somehow managed to crash utop by running module Foo = struct type t = int end;; then #typeof "Foo.t";;

15:43 <lobo> can anyone confirm that? sure, it makes no sense. just triggered the exception by playing around

15:58 <waleee-cl> lobo: can confirm

15:58 <waleee-cl> Fatal error: exception File "typing/env.ml", line 965, characters 26-32: Assertion failed

16:00 <d_bot> <Et7f3> typeof works on value

16:00 <d_bot> <Et7f3> like `let f : Foo.t = 3`

16:00 <d_bot> <Et7f3> `#typeof "Foo.t";;` instead use `#show "Foo.t";;`

16:01 <waleee-cl> * #show Foo.t;;

16:03 <d_bot> <Et7f3> typeof works on value - like `let f : Foo.t = 3` - `#typeof "Foo.t";;` instead use `#show Foo.t;;` mb your right

16:08 <lobo> waleee-cl: thx for testing

16:09 <lobo> i knew i was holding it wrong. just was puzzled that it acutally crashed utop :)

19:00 <Hail_Spacecake> how do I set up a toolchain to compile the code in https://ocaml.org/learn/tutorials/introduction_to_gtk.html as an executable

19:00 <Hail_Spacecake> rather than running it from the top level repl?

19:52 <d_bot> <Et7f3> Assuming you use dune (instead of ocamlfind)

19:53 <d_bot> <Et7f3> (executable (name tuto)(libraries lablgtk)) in dune file

19:56 <d_bot> <Et7f3> Create a tuto.ml with code

19:56 <d_bot> <Et7f3> dune exec ./tuto.exe

21:34 <Hail_Spacecake> hm I notice that https://ocaml.org/learn/tutorials/introduction_to_gtk.html does have instructions for compiling an executable

21:35 <Hail_Spacecake> but when I run the provided ocamlfind command, I get an error message

21:35 <Hail_Spacecake> about two .cmi files make inconsistent assumptions over interface Gtk

22:15 <d_bot> <Et7f3> dune handle low-lever for you and should avoid you this kind of error

22:47 <Hail_Spacecake> does dune have a different set of default warning/error settings compared to ocamlfind ocamlc -g -package lablgtk2 -linkpkg simple.ml -o simple ?

22:47 <Hail_Spacecake> it looks like the code in the example on that page doesn't compile with dune, but does compile with the ocamlc command

22:47 <Hail_Spacecake> the latter has a warning about some line returning a type instead of ()

22:52 <rock64> i object

22:52 <rock64> searching for "ocaml functional core imperative shell" gives nothing :|

22:53 <rock64> haskell use monads for this

22:53 <rock64> what's idiomatic in ocaml?

22:53 <rock64> not caring? booo

22:53 <ollehar> test

23:52 <companion_cube> not caring about what