ocaml-gospel/gospel

Issues

• Difference between `prop` and `bool`

  #287 opened a year ago by shym
  0

• Too much ghost keywords?

  #395 opened 7 months ago by n-osborne
  0

• Pre-processor bug

  #393 opened 7 months ago by ionchirica
  2

• How should gospel handle model names?

  #392 opened 7 months ago by mrjazzybread
  0

• Uncaught exception on mutually recursive ghost types

  #388 opened 8 months ago by n-osborne
  0

• The PNG in the readme is out of date syntax-wise

  #382 opened 8 months ago by n-osborne
  2

• Values of type `unit` are named `unit`

  #385 opened 8 months ago by n-osborne
  0

• Revise xposts internal representation

  #379 opened 10 months ago by n-osborne
  1

• Type-check module signature in ml files

  #366 opened a year ago by n-osborne
  2

• Make the Gospel type-checker modular

  #377 opened 10 months ago by shym
  4

• Revise Identifier implementation

  #381 opened 10 months ago by n-osborne
  1

• Should the type-checker force returned tuples to be destructed?

  #383 opened 9 months ago by n-osborne
  0

• Simplify attribute nesting

  #378 opened 10 months ago by n-osborne
  0

• Revise exceptional specifications

  #373 opened a year ago by n-osborne
  1

• `with` is optional for type invariants

  #369 opened a year ago by n-osborne
  1

• Add `Sequence.mapi`

  #365 opened a year ago by n-osborne
  0

• First gospel/doc attribute is attached to the module if it is not preceded by a documentation one.

  #360 opened a year ago by n-osborne
  1

• Missing error message for unsupported types

  #340 opened a year ago by shym
  5

• Prepare release notes for 0.2.0

  #355 opened a year ago by shym
  1

• Add a directive in the beginning of the preprocessed file

  #342 opened a year ago by n-osborne
  0

• Preprocessor uses a _lot_ of memory (and consequently of GC time)

  #336 opened a year ago by shym
  1

• Check that the documentation is up to date

  #293 opened a year ago by n-osborne
  4

• Gospel does not parse `fun` type annotations as OCaml

  #305 opened a year ago by shym
  2

• gospel pps still detaches some documentation attributes

  #324 opened a year ago by n-osborne
  1

• OCaml compiler reports error on code generated by the preprocessor when the attribute is not at an acceptable location

  #337 opened a year ago by shym
  3

• exists is a reserved keyword

  #350 opened a year ago by n-osborne
  1

• The typechecker fails with an exception on functor applications

  #338 opened a year ago by shym
  1

• Why `fs_bool_false` is `False` rather than `false`?

  #315 opened a year ago by shym
  3

• Comments can break preprocessing

  #320 opened a year ago by shym
  0

• `Symbol not found` is sometimes misleading

  #318 opened a year ago by shym
  1

• Move the documentation about the attribute syntax to an appendix page

  #322 opened a year ago by shym
  1

• Remove “ambiguous patterns” detection?

  #314 opened a year ago by shym
  1

• Allow tuple destruction in anonymous function

  #296 opened a year ago by n-osborne
  1

• syntax error in the documentation

  #250 opened a year ago by n-osborne
  1

• Reorganise test directory

  #298 opened a year ago by shym
  0

• Diverging functions do not need to modify state

  #317 opened a year ago by shym
  1

• Missing error : variable in sub-pattern

  #224 opened a year ago by paulpatault
  0

• `gospel check stdlib.mli` fails

  #257 opened a year ago by shym
  0

• Type declaration contains a cycle error

  #225 opened a year ago by mariojppereira
  3

• `Tmodule.add_sig_contents` silently ignores unsupported signature items

  #302 opened a year ago by shym
  0

• Spurious type check error

  #210 opened a year ago by paulpatault
  1

• Unhelpful error messages when a condition fails

  #248 opened a year ago by naomiiiiiiiii
  3

• gospel pps detaches documentation comments when below and followed by a specification

  #266 opened a year ago by n-osborne
  3

• Fix on pps for documentation broke location

  #272 opened a year ago by n-osborne
  3

• Bad location for a type error

  #258 opened a year ago by shym
  1

• Allow pattern-matching in raises (to correspond with docs)

  #237 opened a year ago by naomiiiiiiiii
  0

• integer literal in hexadecimal not accepted

  #194 opened 2 years ago by GoncaloMateus
  1

• Improve pattern-matchings

  #202 opened 2 years ago by pascutto
  0

• disallow ambiguous or-patterns under guards

  #192 opened 2 years ago by backtracking
  5

• Syntax error for `(::)` notation in patterns

  #201 opened 2 years ago by mariojppereira
  3