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
-
Jul 09 22:04 +00:00
Passed in 10m06s
Branches (1)
type-checker-dev-meeting
Add agenda for 2024-07-05
938fdb
-
Jul 26 11:03 +00:00
Failed in 0s
Refs Branches (9)
Bool
change log entry
eddfdf
-
#391
-
Jul 18 14:00 +00:00
Failed in 11m53s
Add support for mutually recursive ghost types
Update Changelog
2d0dd6
-
#403
-
Jul 09 22:04 +00:00
Passed in 10m08s
Fix printing of symbols of fixity
Update Changelog
0a8ab9
-
#407
-
Jul 15 12:21 +00:00
Failed in 10m01s
Add test case for pattern on inlined record
Add test case for pattern on inlined record
35774b
-
#408
-
Jul 09 22:04 +00:00
Passed in 10m56s
Add test case for failing record update
Add test case for failing record update
cf1e04
-
#410
-
Jul 09 22:04 +00:00
Failed in 10m04s
Remove attribute field from identifiers
Update Changelog
ae316e
-
#413
-
Jul 09 22:04 +00:00
Failed in 10m04s
Add test case for record with partially same fields
Add test case for record with partially same fields
d23486
-
#416
-
Jul 16 12:59 +00:00
Failed in 10m12s
Fix incomplete record error
Update changelog
8d6c77
-
#418
-
Jul 23 12:45 +00:00
Failed in 12m04s
Improve error message for unbound record fields
Update changelog
d35aad
-
#419
-
Jul 23 13:54 +00:00
Failed in 9m55s