1
78%
master: 71%

Ran 18 Jul 2024 12:09PM UTC

Files 13

Run time 0s

Badge

Embed ▾

Committed 18 Jul 2024 12:01PM UTC coverage: 77.707% (+1.9%) from 75.851%

Job # 69.1

Build Type

Pull #1

github

Committed by

mbarbin

Commit Message

Enable unused code warnings in ppx generated code

This required two small tweaks:

 - 1. Remove the `[@@deriving fields]` as most of what is generated is
   unused. The only used value is the getter `size`.

There is [@deriving fields ~getters] available, to only generate the
getters, but currently I couldn't find a way to make the ppx only
generate the single [size] getter. Thus resorting to add the getter
manually.

- 2. Upon removing the accessor code, another warning was revealed

File "src/box.ml", lines 3-4, characters 4-3:
3 | ....z_shape : Z_shape.t
4 |   ;.............................................
Error (warning 69 [unused-field]): record field z_shape is never read.

Thus I removed it from the record.

Pull Request Pull Request #1: Force unused code warnings in ppx generated code

Run Details

244 of 314 relevant lines covered (77.71%)

2169291.51 hits per line

mbarbin / cubzzle / 69 / 1
78%
master: 71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 69.1

mbarbin / cubzzle / 69 / 1 78% master: 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 69.1

mbarbin / cubzzle / 69 / 1
78%
master: 71%

README BADGES
x