09:16 <discocaml> <coollcat> damn I wish there was an IDE for OCaml

09:16 <discocaml> <coollcat> Is there even a market for such a thing?

09:17 <discocaml> <coollcat> I come from java-land. It seems for most other languages, they are content with a text-editor + lsp.

09:43 <discocaml> <purefunctor> the LSP works pretty well on vs code, although it'd be nice if JetBrains hopped on and made an IDE for OCaml 😄

10:45 <Anarchos> i want to parse an infinite flow of commands with a lexer/parser written in ocamllex/ocamlyacc. The source is a socket receiving the strings. Is Lexing.from_channel the the lexbuf to use with a socket ? Will it unblock and refill the lexbuf when the socket receives new strings ?

11:59 <discocaml> <Kali> there is at least some sort of desire for one, given the existence of https://www.typerex.org/ocaml-top.html

11:59 <discocaml> <Kali> and https://opam.ocaml.org/packages/ocamlbrowser/

14:41 <discocaml> <barconstruction> @coollcat I have not used jet brains and Java. What features are conspicuously absent from the lsp server that you would want? Like I don't know what I'm missing, would it be possible to add these features to be lsp server or no

15:38 <discocaml> <regularspatula> There’s so much more to JetBrains than the lsp gives for ocaml. Though I can be productive in OCaml without, I can’t imagine doing C# without Rider

15:45 <discocaml> <regularspatula> @barconstruction I got a couple of tiny PRs back in the day for owl but nothing serious…going forward I think the project will need a leader (and funding) to really make much progress

17:12 <discocaml> <Et7f3 (@me on reply)> When I used JetBrain IDEA it has builtin support for maven (the build tool), fix import, reformat. Those should be in ocaml-lsp. @coollcat I don't remember but does JetBrains generate test case ? (It is really cool for a lang with much boilerplate) the go lsp was able to do that so it is nothing something special about it. Rider have a gui editor (we don't have a library that has enough adoption) and go has debugger facility (we h

17:30 <discocaml> <regularspatula> JetBrains debuggers are nice

23:27 <abbe__> hi

23:28 <abbe__> I'm having a problem with module system https://www.irccloud.com/pastebin/uiURjUBy/mods.ml

23:29 <abbe__> Now when I try do: 'Mods.Foo.make 42;;' in utop, I get:

23:29 <abbe__> Error: This expression has type int but an expression was expected of type Mods.Foo.e

23:30 <abbe__> is there a way to hint ocaml compiler that Foo.e is synonym for int, so it lets me pass ant in wherever e is expected ?

23:30 <abbe__> s/ant in/an int/

23:34 <discocaml> <Kali> yes, add `with type e = int` after `: FooType`

23:35 <dh`> you've explicitly hidden that the type is int, so it's doing what you asked

23:36 <abbe__> okay, and I still need to keep 'type e = int' in the struct ?

23:37 <abbe__> indeed that seems to work.

23:37 <discocaml> <Kali> yes

23:37 <discocaml> <Kali> the other option is to expose that `type e = int` directly in the signature instead of `type e`

23:39 <abbe__> okay

23:39 <abbe__> thanks!