io7m | single-page | multi-page | epub | Cedarbridge User Manual 0.0.3
4.1. Overview
Previous
4. Command-Line Interface
Up
4.3. compile
Next

# 4.2. check

- 4.2. Name
- 4.2. Description
- 4.2. Examples

## 4.2.1. Name

1
check - Check the validity of cedarbridge definitions

## 4.2.2. Description

1
The check command checks the validity of cedarbridge definitions.

### 4.2.2.2. Parameters

Parameter | Type | Required | Description
--- | --- | --- | ---
--verbose | CLPLogLevel | false | Set the minimum logging verbosity level.
--file | List | false | The file(s) to type-check
--include | List | false | The directories containing source files
--no-core | boolean | false | Disable registration of the core com.io7m.cedarbridge package

## 4.2.3. Examples

### 4.2.3.1. Example

    $ cedarbridge check --file invalid.cbs
    ERROR: invalid.cbs:3:1: Name "T" has already been defined.
      Specification: https://www.io7m.com/software/cedarbridge/specification/index.xhtml#id_1cf38aec-7544-4b5e-a5ac-bb01567ffe77
    (record T))
    ^
      See invalid.cbs:2:1:
    (record T))
    ^

    $ cedarbridge check --file valid.cbs

4.1. Overview
Previous
4. Command-Line Interface
Up
4.3. compile
Next
io7m | single-page | multi-page | epub | Cedarbridge User Manual 0.0.3