search

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
37 stars 10 forks source link

Initiate ortac-example package #177

Closed n-osborne closed 9 months ago

n-osborne commented 10 months ago

The ortac-examples package aims at centralising specifications and ortac-generated code based on those specifications.

The first added example is the lwt_dllist librarie. This example display how to handle extension of the STM.ty type.

While writing the specification, I've stumbled upon #171 and #172.

shym commented 10 months ago

Oh! last suggestion: we are in the ortac repository, so I would prefer the directory to be named examples, I feel annoyed by the redundancy :-)