| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
|
|
|
|
|
|
| |
* The Grand Reformat
- everything made prettier...literally
- some tweaks to include a few more files, including documentation
- minor changes to format style
- some tiny `// prettier-ignore` changes to keep a few things the way we like them
- a couple of super minor tweaks to embedded document types to ensure they format correctly
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* OCaml properties fixes
- Improve defaults by adding local and system versions
- Make no assumptions about whether local and system are the same
- Enable OPAM workflows which rely on updating PATH
- Fix version flag
- Fix objdumper
* OCaml output refactoring
* Add an arg parser for OCaml
Derived from Pascal (for now)
* Rename default OCaml compiler ids
* Add alias of old OCaml default compiler id
Co-authored-by: Rubén Rincón Blanco <ruben@rinconblanco.es>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
Changes:
- ocaml.default.properties:
- add the relevant flags for execution and emitting binaries
- add nicer version number reporting
- let CE know `objdump` can be used on ocaml objects
- ocaml.js:
- update optionsForFilter for both executable and object handling
- override the getter for executable to work within ocamlopt context
|
|
|
| |
Fixes github issue #2848
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The largest changes here are:
- enforcing single quotes for strings
- enforcing trailing commas where possible
In addition to those we have enabled several eslint plugins:
- plugin:requirejs/recommended, to enforce some conventions in require statements
- plugin:node/recommended, to enforce correct usage of various node.js APIs
- plugin:unicorn/recommended, which contains a pretty mixed bag of useful rules
This PR attempts to not change code behavior when possible. In cases where fixing
existing code would change semantics, a linting exclusion has been placed in the
code base to silence the error. You can find these by searching for `eslint-disable-next-line`.
Co-authored-by: Austin Morton <austinpmorton@gmail.com>
|
| |
|
|
|