Stuart Hungerford

Language tools for M1 Mac and macOS?

3

I've tried running the pre-built macoS-x64 lobster download on an M1 Mac but it crashes when run. I've also downloaded the source with the included XCode project. I've managed to...

Generator for doubles?

1

Firstly--many thanks for creating Checkers, very neat. Are there plans for adding a generator for IEEE doubles?

Recommended approach for nested test contexts?

2

I might be missing something (while relearning modern C++ and Rapidcheck) but is there a recommended way to group tests into named "contexts", something like: ``` rc::context("equality", []( ) {...

Summary of installation attempts on an M1 Mac

2

I'm not sure an issue is the best place for these notes, if not, I'll close this and move them somewhere else. These notes are a summary of the issues...

Creating 3D text causes CQ-editor to segfault

9

I'm running the following script in CQ-editor on a Mac M1 running Big Sur: ``` #! /usr/bin/env python3 from typing import * import cadquery as CQ def assembly() -> Any:...

Missing bounding box for Arr_circle_segment_traits_2<Kernel>::Curve_2?

3

## Issue Details I may be missing something but can't see a 2D bounding box function for instances of the Curve_2 class in Arr_circle_segment_traits_2::Curve_2. If it is missing could this...

Allow docstrings in `define-instance` forms

1

Docstrings are useful first-class documentation for various forms in Coalton, including `define`, `define-type`, and `define-class`. Currently the `define-instance` form does not allow a docstring. Would it be feasible (and practical)...

Could we have a settings option to turn off the percentage done graphic in the status bar? The numeric percentage indicator is fine but the graphic is making the status...

Clarify installation instructions on macOS (M1)

5

When following the standard installation instructions there are a few gotchas for installation on macOS with an M1 processor: Using homebrew `brew install idris2` is currently not working: ``` brew...

Bindings don't work with fast-check 3.x

5

I've started learning `rescript-fast-check` with the bundled example program `test/ExampleTest.res` code: ``` open RescriptMocha open Mocha open FastCheck; open Arbitrary open Property.Sync // Code under test let contains = (text,...