package alba

  1. Overview
  2. Docs
Alba compiler

Install 

dune-project
 Dependency

albatross-lang.sourceforge.net Readme Edit opam file Versions (5)

Authors

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.4.4.tar.gz
sha256=4817038301d3e45bac9edf7e6f2fc8bf0a6d78e76e02ad7ea33ef69bcc17df3b
md5=25234357587126685d64f16236167937

doc/alba.albalib/Albalib/Build_problem/index.html

Module Albalib.Build_problemSource

Sourcetype range = pos * pos
Sourcetype description =
  1. | Overflow
  2. | No_name
  3. | Incomplete_type of type_in_context
  4. | Cannot_infer_bound
  5. | Not_a_function of type_in_context list
  6. | Wrong_type of (type_in_context * type_in_context) list
  7. | Wrong_base of type_in_context list * type_in_context list
  8. | Ambiguous of type_in_context list
  9. | Name_violation of string * string
  10. | Ambiguous_definition
  11. | Wrong_parameter_count of int
  12. | Wrong_parameter_name of string
  13. | Wrong_parameter_type of Alba_core.Term.typ * Alba_core.Gamma.t
  14. | Missing_inductive_type
  15. | No_inductive_type
  16. | Duplicate_inductive
  17. | Duplicate_constructor
  18. | Wrong_type_constructed of Alba_core.Term.typ * Alba_core.Gamma.t
  19. | Negative
  20. | Nested_negative of Alba_core.Inductive.t * int * Alba_core.Gamma.t
  21. | Not_positive of Alba_core.Term.typ * Alba_core.Gamma.t
  22. | Not_yet_implemented of string
Sourcemodule Print (P : Fmlib.Pretty_printer.SIG) : sig ... end
Sourceval string_of_problem : string -> t -> string