#ocaml on 2025-02-11 — irc logs at libera.irclog.whitequark.org

2024-05-29 14:49 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:07 Tuplanolla has quit [Quit: Leaving.]

00:15 alfiee has joined #ocaml

00:19 alfiee has quit [Ping timeout: 246 seconds]

00:41 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

00:46 <remexre> is there a good way to get at auxv (ie the getauxval function) from ocaml

00:58 agentcasey has quit [Ping timeout: 252 seconds]

00:58 agentcasey has joined #ocaml

01:03 alfiee has joined #ocaml

01:04 Haudegen has quit [Quit: Bin weg.]

01:04 tri has joined #ocaml

01:05 humasect has joined #ocaml

01:07 alfiee has quit [Ping timeout: 248 seconds]

01:09 tri has quit [Ping timeout: 260 seconds]

01:15 <discocaml> <lewiscampbell> is there any library that provides a mutable prioriy queue?

01:15 <humasect> stm or lwt?

01:20 <discocaml> <lewiscampbell> just a regular single threaded synchronous one

01:22 <humasect> https://ocaml.org/manual/4.12/moduleexamples.html ? came up as priority queue

01:23 <humasect> https://ocaml.org/manual/5.3/api/Dynarray.html#example_min_heap also

01:35 Inline has quit [Read error: Connection reset by peer]

01:39 humasect has quit [Remote host closed the connection]

01:44 <discocaml> <lewiscampbell> thanks, I'll just copy pasta that

01:52 alfiee has joined #ocaml

01:57 alfiee has quit [Ping timeout: 268 seconds]

02:12 tri has joined #ocaml

02:17 tri has quit [Ping timeout: 252 seconds]

02:24 berberman has quit [Quit: ZNC 1.8.2 - https://znc.in]

02:24 berberman has joined #ocaml

02:24 wickedshell has quit [Ping timeout: 248 seconds]

02:29 humasect has joined #ocaml

02:34 humasect has quit [Ping timeout: 252 seconds]

02:40 alfiee has joined #ocaml

02:45 alfiee has quit [Ping timeout: 265 seconds]

02:47 burley has joined #ocaml

02:53 m5zs7k has quit [Ping timeout: 268 seconds]

02:59 tri has joined #ocaml

03:01 chiselfuse has quit [Remote host closed the connection]

03:01 chiselfuse has joined #ocaml

03:09 <discocaml> <purringhutao> When passing -custom to ocamlmklib, the `libfoo.dylib` file shouldn't be generated, right?

03:14 <discocaml> <raiinyzen> Alr, I have 4 years before I apply to Jane Street, time to learn OCaml

03:16 burley has quit [Remote host closed the connection]

03:28 tri has quit [Remote host closed the connection]

03:30 alfiee has joined #ocaml

03:33 m5zs7k has joined #ocaml

03:35 alfiee has quit [Ping timeout: 252 seconds]

03:35 tri has joined #ocaml

03:54 <discocaml> <purringhutao> Does the order of the -cclib options matter? When I inspect the `cma` and `cmxa` files, the "Extra C object files" are given in a different order, and this seems to be the only difference that causes the compilation to succeed or fail.

03:55 <discocaml> <purringhutao> `Extra C object files: -lllvm -L/usr/lib/llvm-18/lib -lLLVMSupport -lLLVMCore -lLLVMRemarks -lLLVMBitstreamReader -lLLVMBinaryFormat -lLLVMTargetParser -lLLVMSupport -lLLVMDemangle -lstdc++ -lrt -ldl -lm -lz -lzstd -ltinfo`

03:55 <discocaml> <purringhutao>

03:55 <discocaml> <purringhutao> works, while

03:55 <discocaml> <purringhutao>

03:55 <discocaml> <purringhutao> `Extra C object files: -lllvm -L/usr/lib/llvm-18/lib -lstdc++ -lLLVMSupport -lLLVMCore -lLLVMRemarks -lLLVMBitstreamReader -lLLVMBinaryFormat -lLLVMTargetParser -lLLVMSupport -lLLVMDemangle -lrt -ldl -lm -lz -lzstd -ltinfo` does not work

04:09 <discocaml> <purringhutao> Ok, seems that order does matter, and this is what gets passed to the C linker

04:16 <dh`> link order matters, and should be lib2 after lib1 if lib1 uses lib2

04:16 <dh`> (which is the reverse order from ocaml package linking)

04:18 alfiee has joined #ocaml

04:23 alfiee has quit [Ping timeout: 252 seconds]

04:30 wickedshell has joined #ocaml

04:33 infinity0 has quit [Ping timeout: 252 seconds]

04:54 m5zs7k has quit [Ping timeout: 248 seconds]

04:54 infinity0 has joined #ocaml

04:54 <discocaml> <raiinyzen> How to start learning OCaml?

04:58 m5zs7k has joined #ocaml

05:07 alfiee has joined #ocaml

05:10 <discocaml> <raiinyzen> ```bash

05:10 <discocaml> <raiinyzen> #=== ERROR while compiling core_unix.v0.17.0 ==================================#

05:10 <discocaml> <raiinyzen> # context 2.3.0 | linux/x86_64 | ocaml.5.3.0 | https://opam.ocaml.org#e41dcf1317027b68f2

05:10 <discocaml> <raiinyzen> 446cba5fefed79d9087146

05:11 <discocaml> <raiinyzen> # path ~/.opam/default/.opam-switch/build/core_unix.v0.17.0

05:11 <discocaml> <raiinyzen> # command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p core_unix -j 23

05:11 <discocaml> <raiinyzen> # exit-code 1

05:11 <discocaml> <raiinyzen> # env-file ~/.opam/log/core_unix-293884-06db21.env

05:11 <discocaml> <raiinyzen> # output-file ~/.opam/log/core_unix-293884-06db21.out

05:11 <discocaml> <raiinyzen> ### output ###

05:11 <discocaml> <raiinyzen> # /home/wyattgill/.opam/default/lib/ocaml/caml/platform.h:222:10: error: implicit declaratio

05:11 <discocaml> <raiinyzen> n of function ‘atomic_load_acquire’ [-Wimplicit-function-declaration]

05:11 <discocaml> <raiinyzen> # [...]

05:11 <discocaml> <raiinyzen> # | ^~~~~~~~~~~~~~~~~~~

05:11 <discocaml> <raiinyzen> # /home/wyattgill/.opam/default/lib/ocaml/caml/platform.h: In function ‘caml_plat_latch_set’

05:11 <discocaml> <raiinyzen> :

05:11 <discocaml> <raiinyzen> # /home/wyattgill/.opam/default/lib/ocaml/caml/platform.h:230:3: error: implicit declaration

05:11 <discocaml> <raiinyzen> of function ‘atomic_store_release’; did you mean ‘atomic_store_explicit’? [-Wimplicit-funct

05:11 <discocaml> <raiinyzen> ion-declaration]

05:11 <discocaml> <raiinyzen> # 230 | atomic_store_release(&latch->value, Latch_unreleased);

05:11 <discocaml> <raiinyzen> # | ^~~~~~~~~~~~~~~~~~~~

05:11 <discocaml> <raiinyzen> # | atomic_store_explicit

05:11 <discocaml> <raiinyzen> # (cd _build/default && /home/wyattgill/.opam/default/bin/ocamlopt.opt -w -40 -g -I time_flo

05:11 <discocaml> <raiinyzen> at_unix/time_unix/.time_unix.objs/byte -I time_float_unix/time_unix/.time_unix.objs/native -

05:11 <discocaml> <raiinyzen> I /home/wyattgill/.opam/default/lib/base -I /home/wyattgill/.opam/default/lib/base/base_inte

05:11 <discocaml> <raiinyzen> rnalhash_types -I /home/wyattgill/.opam/default/lib/base/md5 -I /home/wyattgill/.opam/defaul

05:11 <discocaml> <raiinyzen> t/lib/base/shadow_stdlib -I /[...]

05:11 <discocaml> <raiinyzen> # File "time_float_unix/time_unix/time_unix.ml", line 1, characters 4-14:

05:11 <discocaml> <raiinyzen> # 1 | [@@@deprecated "[since 2022-04] Use [Time_float_unix] instead"]

05:11 <discocaml> <raiinyzen> # ^^^^^^^^^^

05:11 <discocaml> <raiinyzen> # Warning 53 [misplaced-attribute]: the "deprecated" attribute cannot appear in this context

05:11 <discocaml> <raiinyzen> HELP!

05:11 <discocaml> <raiinyzen> I am unable to download the Async Lib

05:11 alfiee has quit [Ping timeout: 260 seconds]

05:21 <discocaml> <regularspatula> are you using macOS with arm chip?

05:22 <discocaml> <raiinyzen> no Arch Linux on 86_64

05:22 <discocaml> <raiinyzen> x86

05:23 <discocaml> <regularspatula> yes it doesn't work on others as well

05:23 <discocaml> <regularspatula> https://github.com/janestreet/core_unix/issues/14

05:23 <discocaml> <regularspatula> but it is fixed on a prerelease

05:23 <discocaml> <raiinyzen> how to use that then?

05:23 <discocaml> <regularspatula> jane street stuff is a bit tricky to use their bleeding edge stff

05:23 <discocaml> <regularspatula> stuff*

05:23 tri has quit [Remote host closed the connection]

05:23 <discocaml> <raiinyzen> so what do I do?

05:24 tri has joined #ocaml

05:24 <discocaml> <regularspatula> they have their own opam repo: https://github.com/janestreet/opam-repository

05:25 <discocaml> <raiinyzen> now what

05:26 <discocaml> <regularspatula> i don't recall--it has been years since I needed their repo. There are instructions out there somewhere though

05:26 <discocaml> <raiinyzen> Oh, I gixed it

05:26 <discocaml> <raiinyzen> Oh, I fixed it

05:27 <discocaml> <regularspatula> by editing camlatomic.h ?

05:27 <discocaml> <raiinyzen> ye it didnt fix

05:27 <discocaml> <raiinyzen> now I have a new package error

05:28 <discocaml> <raiinyzen> do you have any other recomendations then?

05:29 <discocaml> <regularspatula> you could try this: https://github.com/janestreet/core_unix/issues/14#issuecomment-2610014858, or don't use ocaml 5.3

05:29 <discocaml> <regularspatula> do you absolutely need async_unix?

05:29 <discocaml> <raiinyzen> how do I switch versions? Im realy new.

05:29 tri has quit [Ping timeout: 248 seconds]

05:29 <discocaml> <raiinyzen> no but I dont know what else to use for it tho

05:29 <discocaml> <regularspatula> ah yeah, i'm not sure I would try to mess about with the caml header files maybe in that case

05:30 <discocaml> <regularspatula> are you followind a guide or just interested in jane street libs?

05:30 <discocaml> <regularspatula> lwt is the more commonly used async/promise lib

05:30 <discocaml> <raiinyzen> I will be working at Jane Street in 4 years

05:30 <discocaml> <raiinyzen> when I am eligable to apply

05:31 <discocaml> <raiinyzen> and im already profiecient in Rust, Python, Go and Haskell

05:31 <discocaml> <raiinyzen> and im already profiecient in Rust, Python, Go and learning Haskell

05:31 <discocaml> <raiinyzen> so i thought it would be cool to start with OCaml now

05:33 agentcasey has quit [Remote host closed the connection]

05:33 <discocaml> <regularspatula> well, you don't need the jane street libraries to learn ocaml -- you can just use the more common alternatives if you want

05:33 <discocaml> <regularspatula> unless you're following along with Real World OCaml book

05:33 <discocaml> <raiinyzen> good idea, also is there a command to clean all your pkgs?

05:33 agentcasey has joined #ocaml

05:34 <discocaml> <regularspatula> you can remove your switch if you want

05:34 <discocaml> <raiinyzen> how

05:34 <discocaml> <regularspatula> `opam help`

05:34 <discocaml> <raiinyzen> I need to remove all opam pkgs

05:35 <discocaml> <regularspatula> for what reason?

05:35 <discocaml> <raiinyzen> i broke it i dont know

05:36 <discocaml> <raiinyzen> now I have some new error with "core"

05:37 <discocaml> <regularspatula> well if ever you get into a really bad state with an opam switch then you can use `opam switch remove ...` to remove the switch and create a new one

05:37 <discocaml> <regularspatula> i have never tried to remove all packages from a switch while keeping the switch however

05:37 <discocaml> <raiinyzen> what is a swithc

05:37 <discocaml> <raiinyzen> is it just a compiler version?

05:38 <discocaml> <regularspatula> have you gone through the introductory material here? https://ocaml.org/docs

05:38 <discocaml> <regularspatula> it seems that you may need some basics first

05:38 <discocaml> <raiinyzen> nope

05:38 <discocaml> <raiinyzen> yep

05:39 <discocaml> <regularspatula> sorry for dumping too many terms at you that you weren't familiar with -- I would take a look through that stuff to get a feel for stuff first

05:39 tri has joined #ocaml

05:39 <discocaml> <raiinyzen> no like I know the language

05:39 <discocaml> <raiinyzen> like i made a simple todo REPL

05:39 <discocaml> <regularspatula> right but you don't know the ecosystem or tooling it seems

05:39 <discocaml> <raiinyzen> ```

05:39 <discocaml> <raiinyzen> let tasks = ref [] (* Mutable list of tasks *)

05:39 <discocaml> <raiinyzen>

05:39 <discocaml> <raiinyzen> let add_task task =

05:39 <discocaml> <raiinyzen> tasks := task :: !tasks;

05:39 <discocaml> <raiinyzen> print_endline ("Added: " ^ task)

05:39 <discocaml> <raiinyzen> ;;

05:39 <discocaml> <raiinyzen>

05:39 <discocaml> <raiinyzen> let list_tasks () =

05:39 <discocaml> <raiinyzen> print_endline "Tasks:";

05:39 <discocaml> <raiinyzen> List.iteri (fun i task -> Printf.printf "%d. %s\n" (i + 1) task) (List.rev !tasks)

05:39 <discocaml> <raiinyzen> ;;

05:39 <discocaml> <raiinyzen>

05:39 <discocaml> <raiinyzen> let remove_task n =

05:39 <discocaml> <raiinyzen> if n <= 0 || n > List.length !tasks then

05:39 <discocaml> <raiinyzen> print_endline "Invalid task number!"

05:40 <discocaml> <raiinyzen> else

05:40 <discocaml> <raiinyzen> let index = n - 1 in

05:40 <discocaml> <raiinyzen> tasks := List.mapi (fun i task -> if i = index then "" else task) !tasks

05:40 <discocaml> <raiinyzen> |> List.filter (fun x -> x <> "");

05:40 <discocaml> <raiinyzen> print_endline "Task removed!"

05:40 <discocaml> <raiinyzen> ;;

05:40 <discocaml> <raiinyzen>

05:40 <discocaml> <raiinyzen> let rec main () =

05:40 <discocaml> <raiinyzen> print_endline "\nCommands: add <task>, list, remove <n>, exit";

05:40 <discocaml> <raiinyzen> print_string "> ";

05:40 <discocaml> <raiinyzen> flush stdout;

05:40 <discocaml> <raiinyzen> match read_line () with

05:40 <discocaml> <raiinyzen> | "exit" -> print_endline "Goodbye!"

05:40 <discocaml> <raiinyzen> | "list" -> list_tasks (); main ()

05:40 <discocaml> <raiinyzen> | cmd when String.length cmd > 4 && String.sub cmd 0 4 = "add " ->

05:40 <discocaml> <raiinyzen> yes

05:40 <discocaml> <regularspatula> eg "what is a switch" indicates you need to do some reading first

05:40 <discocaml> <regularspatula> also, mind the channel description. it says "please don't post walls of text" -- I think it messes up the IRC bridge

05:41 <discocaml> <raiinyzen> mn

05:41 <discocaml> <raiinyzen> mb

05:41 <discocaml> <raiinyzen> do u know Haskell?

05:42 <discocaml> <regularspatula> not much other than using it 10+ years ago

05:42 <discocaml> <raiinyzen> wow you must be good at FP, so long in the field?

05:42 <discocaml> <regularspatula> or just old lol

05:42 <discocaml> <raiinyzen> Do you do FP for work?

05:42 <discocaml> <regularspatula> i use ocaml often for work, but i'm not a computer scientist

05:43 fmira has joined #ocaml

05:43 <discocaml> <raiinyzen> what do you do then?

05:44 <discocaml> <regularspatula> bioinformatics

05:45 <discocaml> <raiinyzen> im doing Bio rn in HS, not my thing but I know people that enjoy it!

05:46 <discocaml> <regularspatula> nice! computers are more fun anyway

05:46 <discocaml> <regularspatula> I think you will enjoy OCaml though

05:47 <discocaml> <regularspatula> it's very nice and the tooling really isn't too bad once you get used to it

05:48 agentcasey has quit [Quit: ZNC 1.10.x-git-27-bfd731cf - https://znc.in]

05:48 <discocaml> <raiinyzen> we will see, Rust friends of mine say its great!

05:49 <discocaml> <regularspatula> i enjoy it more than rust...sometimes we need to use rust but only if necessary. I like the garbage collector

05:50 <discocaml> <regularspatula> of ocaml, rather than having to thinkabout that if I don't need to

05:50 agentcasey has joined #ocaml

05:50 <discocaml> <raiinyzen> well, rust doesnt need one do to the barrow checker

05:50 <discocaml> <raiinyzen> but I still understand

05:50 tri has quit [Remote host closed the connection]

05:51 <discocaml> <regularspatula> yes, but the borrow checker is not fun 🙂

05:55 alfiee has joined #ocaml

05:59 alfiee has quit [Ping timeout: 248 seconds]

06:19 pi3ce has quit [Read error: Connection reset by peer]

06:19 pi3ce has joined #ocaml

06:34 tri has joined #ocaml

06:38 tri has quit [Ping timeout: 244 seconds]

06:40 mange has quit [Quit: Quittin' time!]

06:43 alfiee has joined #ocaml

06:47 alfiee has quit [Ping timeout: 248 seconds]

07:09 polykernel_ has joined #ocaml

07:13 polykernel has quit [Ping timeout: 265 seconds]

07:13 polykernel_ is now known as polykernel

07:20 polykernel has quit [Ping timeout: 252 seconds]

07:23 pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

07:25 pi3ce has joined #ocaml

07:30 alfiee has joined #ocaml

07:32 Serpent7776 has joined #ocaml

07:35 alfiee has quit [Ping timeout: 248 seconds]

07:52 tri has joined #ocaml

07:57 tri has quit [Ping timeout: 245 seconds]

08:20 alfiee has joined #ocaml

08:23 bartholin has joined #ocaml

08:24 alfiee has quit [Ping timeout: 248 seconds]

08:28 Exa has quit [Ping timeout: 268 seconds]

08:35 humasect has joined #ocaml

08:39 humasect has quit [Ping timeout: 260 seconds]

09:07 alfiee has joined #ocaml

09:11 Haudegen has joined #ocaml

09:11 alfiee has quit [Ping timeout: 252 seconds]

09:15 bartholin has quit [Quit: Leaving]

09:24 divya has quit [Remote host closed the connection]

09:27 divya has joined #ocaml

09:56 alfiee has joined #ocaml

09:57 tri has joined #ocaml

10:00 patrick_ is now known as patrick

10:00 alfiee has quit [Ping timeout: 252 seconds]

10:02 tri has quit [Ping timeout: 252 seconds]

10:10 patrick has quit [Changing host]

10:10 patrick_ has joined #ocaml

10:21 rustyne has quit [Remote host closed the connection]

10:21 pluviaq has quit [Remote host closed the connection]

10:21 richardhuxton has quit [Remote host closed the connection]

10:21 xvilka has quit [Remote host closed the connection]

10:21 whereiseveryone has quit [Remote host closed the connection]

10:21 _alix has quit [Remote host closed the connection]

10:21 beo has quit [Remote host closed the connection]

10:21 b0o has quit [Remote host closed the connection]

10:21 immutable has quit [Remote host closed the connection]

10:22 Ankhers has quit [Remote host closed the connection]

10:22 arya_elfren has quit [Remote host closed the connection]

10:22 slondr has quit [Remote host closed the connection]

10:22 seeg has quit [Remote host closed the connection]

10:22 philipwhite has quit [Remote host closed the connection]

10:22 pmk has quit [Remote host closed the connection]

10:22 ymherklotz has quit [Remote host closed the connection]

10:22 lane has quit [Remote host closed the connection]

10:22 soni_ has quit [Remote host closed the connection]

10:22 ggb has quit [Write error: Broken pipe]

10:22 tranzystorekk has quit [Remote host closed the connection]

10:22 ursa-major has quit [Remote host closed the connection]

10:22 sleepydog has quit [Remote host closed the connection]

10:24 patrick_ has quit [Read error: Connection reset by peer]

10:24 henrytill has quit [Read error: Connection reset by peer]

10:45 alfiee has joined #ocaml

10:50 alfiee has quit [Ping timeout: 272 seconds]

11:31 olle has joined #ocaml

11:34 alfiee has joined #ocaml

11:35 ggb has joined #ocaml

11:35 beo has joined #ocaml

11:35 pmk has joined #ocaml

11:35 philipwhite has joined #ocaml

11:35 immutable has joined #ocaml

11:35 pluviaq has joined #ocaml

11:35 rustyne has joined #ocaml

11:35 lane has joined #ocaml

11:35 ymherklotz has joined #ocaml

11:35 tranzystorekk has joined #ocaml

11:35 patrick_ has joined #ocaml

11:35 seeg has joined #ocaml

11:35 soni_ has joined #ocaml

11:35 henrytill has joined #ocaml

11:35 xvilka has joined #ocaml

11:35 richardhuxton has joined #ocaml

11:35 b0o has joined #ocaml

11:35 whereiseveryone has joined #ocaml

11:35 slondr has joined #ocaml

11:35 ursa-major has joined #ocaml

11:35 _alix has joined #ocaml

11:35 arya_elfren has joined #ocaml

11:35 sleepydog has joined #ocaml

11:35 Ankhers has joined #ocaml

11:39 alfiee has quit [Ping timeout: 244 seconds]

11:40 CalimeroTeknik has quit [Ping timeout: 260 seconds]

11:41 Haudegen has quit [Quit: Bin weg.]

11:55 CalimeroTeknik has joined #ocaml

12:14 Inline has joined #ocaml

12:28 alfiee has joined #ocaml

12:29 pi3ce has quit [Ping timeout: 252 seconds]

12:31 pi3ce has joined #ocaml

12:32 alfiee has quit [Ping timeout: 265 seconds]

12:39 Haudegen has joined #ocaml

12:40 tri has joined #ocaml

12:44 tri has quit [Ping timeout: 248 seconds]

13:09 myrkraverk__ is now known as myrkraverk

13:16 alfiee has joined #ocaml

13:20 alfiee has quit [Ping timeout: 252 seconds]

13:34 myrkraverk_ has joined #ocaml

13:35 patrick_ is now known as patrick

13:37 myrkraverk has quit [Ping timeout: 272 seconds]

13:45 patrick has quit [Changing host]

13:45 patrick_ has joined #ocaml

13:47 DerTeufel has joined #ocaml

13:57 Inline has quit [Ping timeout: 244 seconds]

14:00 patrick_ is now known as patrick

14:04 alfiee has joined #ocaml

14:09 alfiee has quit [Ping timeout: 260 seconds]

14:14 JuanDaugherty has joined #ocaml

14:21 patrick has quit [Changing host]

14:21 patrick_ has joined #ocaml

14:31 tri has joined #ocaml

14:35 tri has quit [Ping timeout: 252 seconds]

14:38 Inline has joined #ocaml

14:41 polykernel has joined #ocaml

14:42 myrkraverk has joined #ocaml

14:42 patrick_ is now known as patrick

14:45 myrkraverk_ has quit [Ping timeout: 248 seconds]

14:46 bibi_ has quit [Quit: Konversation terminated!]

14:48 JuanDaugherty has quit [Quit: praxis.meansofproduction.biz (juan@acm.org)]

14:48 ds-ac1 has quit [Ping timeout: 276 seconds]

14:50 bibi_ has joined #ocaml

14:53 patrick has quit [Changing host]

14:53 patrick_ has joined #ocaml

14:53 alfiee has joined #ocaml

14:57 alfiee has quit [Ping timeout: 265 seconds]

15:10 casastorta has quit [Remote host closed the connection]

15:14 casastorta has joined #ocaml

15:40 <discocaml> <gooby_diatonic> What's the workflow for changing OCaml switch from within Emacs 🤔

15:40 <discocaml> <gooby_diatonic> It pulls the default switch on startup I believe, but sometimes I don't want to restart Emacs just to use a different version temporarily

15:40 <discocaml> <gooby_diatonic> Using `opam env` from eshell also isn't really working

15:41 alfiee has joined #ocaml

15:43 tri has joined #ocaml

15:45 alfiee has quit [Ping timeout: 244 seconds]

15:47 tri has quit [Ping timeout: 248 seconds]

15:50 Inline has quit [Ping timeout: 252 seconds]

15:59 <_alix> https://github.com/ProofGeneral/opam-switch-mode ?

16:20 olle has quit [Ping timeout: 265 seconds]

16:26 CalimeroTeknik has quit [Changing host]

16:26 CalimeroTeknik has joined #ocaml

16:28 <discocaml> <gooby_diatonic> Oooo I'll check that out, thanks ^^

16:29 alfiee has joined #ocaml

16:34 alfiee has quit [Ping timeout: 276 seconds]

16:38 dawids has joined #ocaml

16:43 euphores has quit [Quit: Leaving.]

16:43 Haudegen has quit [Quit: Bin weg.]

16:53 tri has joined #ocaml

16:58 tri has quit [Ping timeout: 252 seconds]

16:59 euphores has joined #ocaml

17:17 alfiee has joined #ocaml

17:22 alfiee has quit [Ping timeout: 265 seconds]

17:45 dawids has quit [Quit: Leaving]

17:45 bartholin has joined #ocaml

17:51 polykernel has quit [Ping timeout: 252 seconds]

17:51 polykernel has joined #ocaml

17:58 Inline has joined #ocaml

18:00 Haudegen has joined #ocaml

18:05 alfiee has joined #ocaml

18:10 alfiee has quit [Ping timeout: 244 seconds]

18:29 Serpent7776 has quit [Ping timeout: 244 seconds]

18:49 euphores has quit [Quit: Leaving.]

18:54 alfiee has joined #ocaml

18:54 euphores has joined #ocaml

18:59 alfiee has quit [Ping timeout: 265 seconds]

19:43 alfiee has joined #ocaml

19:47 sixfourtwelve has joined #ocaml

19:48 alfiee has quit [Ping timeout: 252 seconds]

20:15 YuGiOhJCJ has joined #ocaml

20:21 JuanDaugherty has joined #ocaml

20:31 alfiee has joined #ocaml

20:36 alfiee has quit [Ping timeout: 248 seconds]

20:39 sixfourtwelve has quit [Quit: leaving]

20:41 gentauro has quit [Ping timeout: 260 seconds]

20:43 gentauro has joined #ocaml

20:49 Anarchos has joined #ocaml

21:09 JuanDaugherty is now known as ColinRobinson

21:09 rgrinberg has joined #ocaml

21:20 alfiee has joined #ocaml

21:24 alfiee has quit [Ping timeout: 252 seconds]

21:39 Inline has quit [Remote host closed the connection]

21:45 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

21:46 Haudegen has joined #ocaml

22:03 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

22:08 Inline has joined #ocaml

22:09 alfiee has joined #ocaml

22:12 Anarchos has quit [Quit: Vision[]: i've been blurred!]

22:13 alfiee has quit [Ping timeout: 252 seconds]

22:17 rgrinberg has joined #ocaml

22:25 rgrinberg has quit [Ping timeout: 265 seconds]

22:41 rgrinberg has joined #ocaml

22:45 fmira has quit [Ping timeout: 264 seconds]

22:52 bartholin has quit [Quit: Leaving]

22:57 alfiee has joined #ocaml

23:01 alfiee has quit [Ping timeout: 248 seconds]

23:04 <dh`> irc doesn't like large volumes of text at once, because of a long history of bozos doing it on purpose to DoS the system

23:37 mange has joined #ocaml

23:38 Tuplanolla has joined #ocaml

23:46 alfiee has joined #ocaml

23:50 alfiee has quit [Ping timeout: 252 seconds]