Ian Sweet issues

Results 7 issues of


                                            Ian Sweet

Support for new 4.08 monadic syntax?

Are there plans to add support for monadic syntax (`let*` and friends) to Base? I'm imagining that the `Let_syntax` modules could just add the `let*` alias.

forwarded-to-js-devs

Arithmetic operations in boolean GMW -- expected running time?

Hey, Apologies for the long issue. We are using MOTION in research that we are getting ready to publish and we don't want to misrepresent MOTION. I wonder what your...

`dt-code` not highlighting OCaml code

Hey, I'm just playing around with Distill for the first time. I use OCaml quite a bit and figured I would try out a code block. Here's the source: ```...

Yosys: `configure_main` should check for "file_type" in fileset, or provide a default

I'm trying to take an existing set of core files and perform setup with Yosys (`fusesoc --cores-root=. run --setup --tool yosys ...`), and I'm getting the following `KeyError`: ``` Traceback...

`Core.Time` documentation is confusing

I'm not sure how much you can do about this, since the documentation is automatically generated and the `Time` module is complicated ([as documented here](https://github.com/janestreet/core/blob/master/src/core_time.ml#L10)). That being said, the [`Core_time_float`...

forwarded-to-js-devs

example of switching p2a to dune

I'd like to propose switching to the [`dune`](https://github.com/ocaml/dune) build system for OCaml. This performs the port for the `p2a` project. **This should not be merged!** It is merely to show...

Use `qcheck` library to test student code

Just leaving this here as a suggestion for investigation. The [`qcheck`](https://opam.ocaml.org/packages/qcheck/) is a QuickCheck-like library for OCaml. It can be used to define property-based tests easily. The [documentation](http://c-cube.github.io/qcheck/0.8/qcheck/index.html) gives an...