Fabian
Fabian
I'd like to use mirage-tcpip in a project using JavaScript using js_of_ocaml. The only piece that is missing is an OCaml (or JavaScript) implementation of the tcp checksum calculation. As...
I'm building a fairly large image for testing in VM and run into some issues: The qcow and raw formats fail with the error below, probably because the disk size...
For example, running `magic-trace run -full-execution` on this code: ```ocaml let rec go dir = if (Unix.lstat dir).st_kind = Unix.S_DIR then let rec handle_dir d = match Unix.readdir d with...
A feature request that would make it easier to work around the know limitations of C macros and variadic functions: It would be cool if c2rust could take an annotation...
For example, it doesn't work when the expression after a toplevel let is on its own line: ``` % cat test.ml let foo = () (** COMMENT *) let ()...
Consider: ``` % echo 'let _ = Test2.foo' > test.ml % echo 'let foo = 42' > test2.ml % echo 'val foo : int' > test2.mli % echo '(executable (name...
As the title says, for consistency with other commands and (perhaps) to speed up fetching multiple packages.
The output of the `--pretty` still looks quite dense, in particular: - There should be spaces around all binary operators and after `,`, `:`, `)`, `;` - The last semicolon...
The following used to be compiled away (in `v20210601`, even without the type annotations and the typeof): ```js // ==ClosureCompiler== // @compilation_level ADVANCED_OPTIMIZATIONS // @output_file_name default.js // ==/ClosureCompiler== /** *...
Sometimes when a file doesn't parse, racer seems to return bogus `MATCH` results containing newlines, such as: ``` PREFIX 402,405,WAS MATCH WAS pub const NO_CACHED_CODE,19,10,/home/fabian/rust/test.rs,Const,pub const WAS END ``` Resulting...