package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

Dune Dependency

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

Authors

H

Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

H

Helmut Brandl <helmut.brandl@gmx.net>

Sources

sha256=4817038301d3e45bac9edf7e6f2fc8bf0a6d78e76e02ad7ea33ef69bcc17df3b

md5=25234357587126685d64f16236167937

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

Module `Albalib.Build_problem`Source

Sourcetype pos = Fmlib.Position.t

Sourcetype range = pos * pos

Sourcetype type_in_context = Build_context.type_in_context

Sourcetype description =

| Overflow
| No_name
| Incomplete_type of type_in_context
| Cannot_infer_bound
| Not_a_function of type_in_context list
| Wrong_type of (type_in_context * type_in_context) list
| Wrong_base of type_in_context list * type_in_context list
| Ambiguous of type_in_context list
| Name_violation of string * string
| Ambiguous_definition
| Wrong_parameter_count of int
| Wrong_parameter_name of string
| Wrong_parameter_type of Alba_core.Term.typ * Alba_core.Gamma.t
| Missing_inductive_type
| No_inductive_type
| Duplicate_inductive
| Duplicate_constructor
| Wrong_type_constructed of Alba_core.Term.typ * Alba_core.Gamma.t
| Negative
| Nested_negative of Alba_core.Inductive.t * int * Alba_core.Gamma.t
| Not_positive of Alba_core.Term.typ * Alba_core.Gamma.t
| Not_yet_implemented of string

Sourcetype t = range * description

Sourcemodule Print (P : Fmlib.Pretty_printer.SIG) : sig ... end

Sourceval string_of_problem : string -> t -> string