Getting Started
Documentation
Organisations
ocaml-gospel
gospel
gospel
https://github.com/ocaml-gospel/gospel
Default Branch
main
Merge pull request #406 from n-osborne/add-unsupported-error-msg Add proper error messages for a number unsupported constructions
85dc67
-
Jun 06 13:13 +00:00
Passed in 1h20m
Branches (1)
type-checker-dev-meeting
Add agenda for 2024-07-05
938fdb
Failed in 0s
Refs Branches (7)
Merge implementations branch with main
account for new merge
c2fc98
-
#390
-
Jun 06 13:19 +00:00
Passed in 41m54s
Bool
change log entry
29d6f6
-
#391
-
Jun 12 15:33 +00:00
Passed in 31m54s
Add support for mutually recursive ghost types
Update Changelog
2d0dd6
-
#403
-
Jun 06 12:42 +00:00
Passed in 36m28s
Fix printing of symbols of fixity
Update Changelog
42137c
-
#407
-
Jun 07 10:01 +00:00
Passed in 29m59s
Add test case for pattern on inlined record
Add test case for pattern on inlined record
35774b
-
#408
-
Jun 07 08:44 +00:00
Passed in 21m26s
Add test case for failing record update
Add test case for failing record update
cf1e04
-
#410
-
Jun 18 14:19 +00:00
Passed in 1h12m
Remove attribute field from identifiers
Update Changelog
ae316e
-
#413
-
Jun 20 14:44 +00:00
Passed in 32m54s