Richard Eisenberg
Richard Eisenberg
**Description** When I click the "Sign In" button, nothing happens. (The button activates, turning green, but that's it.) We're on MacOS 10.13.6 and Firefox 74.0 (64-bit).
I'm just getting started in hacking on OCaml, so I thought I'd try building the compiler. I ran into a few gotchas in building. I'm reporting them here so that...
### Your environment Which OS do you use: MacOS 12.2 on an M1 (aarch64) Mac. Which LSP client (editor/plugin) do you use: VSCode Describe your project (alternative: link to the...
The current `jump` command allows jumps to an enclosing `fun`, `let`, `module`, or `match`. It would be great to also add support for module types, perhaps by adding the `sig`...
Suppose I have ```ocaml open Core let _ = Filename.dirname ``` and ask for the type of the `_` (with `-short-paths`). I get `Base.string -> Base.string`, instead of the desired...
I have a Haskell file in VSCode with `import Data.Vector`. VSCode suggests to me that perhaps I want `Data.Functor`. But, no, I want `Data.Vector`. How can I get VSCode/HLS to...
With the grammar file below, and running with `-i`, happy produces two unused states (1 and 2). I don't know enough about how happy parsers run to know if these...
The `One` and `Many` pattern synonyms are, on the surface, a convenient conceit: we like to think of multiplicities as being (mostly) either `One` or `Many`, and this is indeed...
Merge with tweag/www#400.
This is a complete update from @stedolan's proposal for unboxed types (#10), built from that proposal, and written in collaboration with the type-systems team here at Jane Street: @lpw25, @stedolan,...