Minor gentype fixes #7109

cknitt · 2024-10-19T15:39:14Z

No description provided.

github-actions

Syntax Benchmarks

Benchmark suite	Current: `3ca0166`	Previous: `e1b7fb7`	Ratio
`Parse RedBlackTree.res - time/run`	`1.2390902533333334` ms	`1.2123143266666667` ms	`1.02`
`Parse RedBlackTree.res - allocs/run`	`199057` words	`199057` words	`1`
`Print RedBlackTree.res - time/run`	`2.2925817399999997` ms	`2.3104395133333333` ms	`0.99`
`Print RedBlackTree.res - allocs/run`	`236403` words	`236403` words	`1`
`Print RedBlackTreeNoComments.res - time/run`	`2.097624793333333` ms	`2.10057036` ms	`1.00`
`Print RedBlackTreeNoComments.res - allocs/run`	`249186` words	`249186` words	`1`
`Parse Napkinscript.res - time/run`	`38.70686798` ms	`39.28006235333333` ms	`0.99`
`Parse Napkinscript.res - allocs/run`	`8670066` words	`8670066` words	`1`
`Print Napkinscript.res - time/run`	`73.73301596666667` ms	`77.00100409999999` ms	`0.96`
`Print Napkinscript.res - allocs/run`	`9776327` words	`9776327` words	`1`
`Parse HeroGraphic.res - time/run`	`5.0758351` ms	`5.13472718` ms	`0.99`
`Parse HeroGraphic.res - allocs/run`	`1219326` words	`1219326` words	`1`
`Print HeroGraphic.res - time/run`	`8.770120046666666` ms	`8.775952553333333` ms	`1.00`
`Print HeroGraphic.res - allocs/run`	`1396466` words	`1396466` words	`1`

This comment was automatically generated by workflow using github-action-benchmark.

cknitt added 3 commits October 19, 2024 17:38

Fix gentype error message (.rei -> .resi)

e839510

Fix deprecation warnings in gentype example

5773203

Gentype example: String.t -> string (preparation for Core)

3ca0166

github-actions bot reviewed Oct 19, 2024

View reviewed changes

cknitt requested a review from cristianoc October 19, 2024 15:44

cristianoc approved these changes Oct 19, 2024

View reviewed changes

cknitt merged commit b3ed5c8 into master Oct 19, 2024
20 checks passed

cknitt deleted the gentype-fixes branch October 19, 2024 16:08