Getting Started Documentation

Organisations ocaml-gospel gospel

gospel

https://github.com/ocaml-gospel/gospel

Default Branch

Merge pull request #473 from mrjazzybread/namelookup Refactor name lookup

Dec 14 10:12 +00:00

Passed in 9m13s

Branches (2)

Set NO_COLOR=true when testing This was causing some problem with GH CI and printing some escaped characters in expected files for uncaught exception.

Dec 14 10:12 +00:00

Failed in 9m09s

type-checker-dev-meeting

Merge pull request #456 from mrjazzybread/type-checker-dev-meeting Tiago notes

Refs Branches (3)

Add back type checking of README's example

Update Changelog

Dec 14 10:12 +00:00

Failed in 9m13s

Improve behaviour regarding unsupported constructs

Make type checker fail on annotated unsupported constructs This is a draft, this should print a proper error message with informations about the unsupported construct.

Dec 14 10:12 +00:00

Passed in 9m22s

Fix bug regarding location of top level variables

Update Changelog

Dec 14 10:12 +00:00

Passed in 9m26s