Check messages

Generated from the rslc compiler. rslc check prints one message for each problem it finds. A rater passes when the check finds zero problems. Each message starts with a stable code:

error: E-PROVENANCE rater.rsl:17:5: constant `rate_per_1000` has no citation
  = because: every filed number cites the filing region that states it; a number no filing states says why in `[reason: "…"]`
  = help: cite the region that states it, `rate_per_1000 [cite: manual:p12] = …`, or say why no filing does: `rate_per_1000 [reason: "unit conversion"] = …`
  = applicability: manual

Part	Meaning
`E-PROVENANCE`	The code. Look it up on this page, or run `rslc explain E-PROVENANCE`.
`rater.rsl:17:5`	The file, the line and the column.
`because`	The rule the code states.
`help`	The rewrite that satisfies the rule.
`applicability`	`machine`: a tool applies the rewrite as written. `placeholders`: fill each placeholder first. `manual`: the rewrite needs a decision.

rslc check --json gives the same messages as one JSON value, for a tool. Each code links to an explanation, an example rater that gets the message, and the fix.

Calculations that can fail

A calculation gives a value for every request the rater accepts. These messages name a request that leaves a calculation short of a value.

Code	Message
`E-CYCLE`	A calculation must avoid reading its own value
`E-OPTION-MATCH`	An optional value needs both match arms
`E-MATCH`	A match needs an arm for every value
`E-TOPN-LIMIT`	A topn limit must be a whole count
`E-LOOKUP-GAP`	A lookup needs a row for every key
`E-ROOT`	A root needs a valid value and degree
`E-POW-EXPONENT`	A power needs an exponent it computes exactly
`E-KEY-RANGE`	A lookup key must stay inside the bands
`E-KEY-HOLE`	A calculated band key needs a filed rounding
`E-INTERP-RANGE`	An interpolated key stays between the filed points
`E-DIV-ZERO`	A divisor must exclude zero
`E-DATE-RANGE`	A shifted date must stay in the calendar
`E-EMPTY-FOLD`	Max, min and avg need one element
`E-QUADRATIC`	Walk a list once, on its parent
`E-MAP-DOMAIN`	A map read must name a defined member

Numbers and rounding

RSL calculates with exact numbers. These messages concern precision, rounding and ranges.

Code	Message
`E-QUANTUM`	A type name has one precision
`E-ROUND`	A rounding states its scale and mode
`E-FOLD-KEY`	A stepwise fold names its order
`E-COMPUTED-RANGE`	A calculation proves its declared range

Inputs and rules

An input states the values it accepts. These messages concern input types, ranges and business rules.

Code	Message
`E-ENUM-NARROW`	A narrowed enum removes members of its parent
`E-ENUM-BACKING`	A CSV-backed enum needs its member file
`E-RANGE`	A range states two bounds in increasing order
`E-DEFAULT`	An omitted input needs an explicit value
`E-INPUT-GENERATE`	The rules admit at least one request
`E-ENUM-NUMERIC`	An ordered scale of numbers is a number
`E-CODE-PATTERN`	A code value matches its declared pattern
`E-INPUT-DOMAIN`	A number input states its precision and range
`E-REFINEMENT`	A rule takes the form its position accepts
`E-ANNOTATION`	A refusal code follows its rule, in capitals
`E-REFINE-CANONICAL`	A bound on an input is a range
`E-REFINE-UPWARD`	A rule reads its own record and below
`E-DERIVABLE-INPUT`	Calculate a value that other inputs fix

Questions, choices and shared facts

An input carries the question a person answers. These messages concern follow-up inputs, question text, choices and shared facts.

Code	Message
`E-FOLLOW-UP-READ`	Read a follow-up input where its condition holds
`E-FOLLOW-UP-TYPE`	A follow-up input takes a plain type
`E-FROM`	A suggestion’s source stays out of the price
`E-QUESTION`	A question names what its record holds
`E-QUESTION-WHY`	A rater’s own question says why
`E-CHOICE`	A choice states its default
`E-CHOICE-SHAPE`	A shared choice states its shape
`E-CHOICE-CODE`	A choice sells one shared coverage code
`E-FACT-PACKAGE`	A shared-facts package holds only facts
`E-FACT-REDECLARED`	A shared fact is declared once
`E-FACT-BINDING`	A binding names a fact its package declares
`E-NARROW`	A narrowed shared fact needs a decline code

Tables

A table declares its key dimensions and its columns. These messages concern table declarations, CSV files and lookups.

Code	Message
`E-TABLE-COL`	Each table cell fits its declared column
`E-LOOKUP-SYNTAX`	A table read uses its checked spelling
`E-DIMENSION`	Dimension types are well formed and key tables
`E-BAND-SENTINEL`	An outer band is open at its end
`E-BAND-DEGENERATE`	Each band cut appears once
`E-DECIMAL-SCALE`	Each number lies on its declared precision
`E-TABLE-WILDCARD`	Each key cell names one exact value
`E-LOOKUP-OVERLAP`	Each table key appears on one row
`E-OTHERWISE-DEAD`	An `otherwise` row covers a key
`E-INTERP-KEY`	An interpolated table is keyed by filed points
`E-MAP-DATA-SIZED`	Read one member of a CSV-backed enum
`E-KEY-TYPE`	Use `Key(T)` on an input or table column
`E-GEOGRAPHY`	A geography declares every field of its grid

Names, types and records

These messages concern names, types, records and the values that pass between them.

Code	Message
`E-UNRESOLVED`	Every name matches a declaration
`E-DATE`	A date literal names a real calendar day
`E-PATTERN`	A match arm uses a pattern RSL knows
`E-TYPE`	Each value has the type its place expects
`E-DATA-AS-CODE`	A long list of values needs a file
`E-SELECT-TIE`	A selection states how a tie breaks
`E-KEYED-ORDER`	A keyed list is unordered
`E-UNION`	A union arm holds inputs only
`E-UNION-USE`	A union is read through a match
`E-RECORD-ROOT`	A rater has one top record
`E-RECORD-POSITION`	Each record type sits at one field
`E-RECORD-RECURSIVE`	The record tree is finite
`E-REF-SCOPE`	A reference points into a keyed list
`E-ANCESTOR-READ`	A type name reads an enclosing record
`E-INTERNAL`	Report a compiler fault to Effective

The header and the outcomes

The spec block identifies a rater, and RatingOutcomes selects its results.

Code	Message
`E-RATING-OUTCOME`	A rater declares its premium outcome
`E-RATER-METADATA`	The header names carrier, state, product and date
`E-RATER-METADATA-INVALID`	The header names the rater with product
`E-OUTCOME-ROUND`	A rating outcome is a rounded value
`E-RSL-VERSION`	A rater declares an RSL version rslc reads
`E-RSL-PATCH`	A rule clause needs RSL 0.4.1

Citations

Each filed number cites the document that states it.

Code	Message
`E-PROVENANCE`	A filed number needs a citation
`E-SOURCE-SCHEMA`	A source has an artifact and a kind
`E-CITATION`	A citation names a declared source and region
`E-PROVENANCE-RUNTIME`	Provenance stays out of rating data
`E-PROVENANCE-COMMENT`	Evidence belongs in a citation

Tidy raters

These messages keep a rater short: each one names a construct that a simpler form replaces.

Code	Message
`E-ORPHAN-COMPUTED`	Every calculation feeds a rating outcome
`E-UNREAD-INPUT`	Every input rates or decides eligibility
`E-TABLE-UNUSED-DIM`	Each table dimension changes an output
`E-IF-AS-TABLE`	A long band chain belongs in a table
`E-TABLE-DUPLICATE`	Each filed column lives in one table
`E-TABLE-SINGLE-MEMBER-KEY`	A table key has two or more values
`E-HOIST`	A calculation belongs where its value varies
`E-TABLE-UNUSED`	A lookup reads every table and column
`E-TABLE-CONSTANT-COLUMN`	A column with one value is a constant
`E-TABLE-FORMULA`	A straight-line table is a formula

The rating manual

Labels, notes, stages and concepts describe a rater as its manual reads. These messages compare that description with the calculations.

Code	Message
`E-CONCEPT-UNKNOWN`	A concept type names a vocabulary concept
`E-CONCEPT-TARGET`	A concept sits where its vocabulary allows
`E-CONCEPT-UNIT`	A concept’s unit matches the value’s type
`E-CONCEPT-SHAPE`	A concept’s formula has the concept’s shape
`E-UNIT-MIX`	Arithmetic combines units that agree
`E-STAGE-UNDECLARED`	A step names a stage that `Stages` declares
`E-STAGE-MISSING`	Every step joins a stage
`E-STAGE-ORDER`	A stage reads its own or earlier stages
`E-GROUP`	A `collect` group needs a title and members
`E-NOTE-MISSING`	A step or its stage has a note
`E-NOTE-SENTENCE`	A note is one short sentence
`E-MEANING-KEY`	A record’s brackets take `label` and `note`
`E-ROUND-SPLIT`	A rounding stays with its arithmetic
`E-MAX-BRANCH`	Write the larger of two values with `max`
`E-CHAIN`	Arithmetic reads named values
`E-ROLE-FLOW`	The premium build reads each role its way
`E-ROLE-CONCEPT`	A concept’s role matches its use
`E-CONCEPT-PARENT`	A concept has a role
`E-VOCABULARY`	The spec names a vocabulary rslc knows

Guidelines

A guideline uses a rater and adds roles, question owners and referrals.

Code	Message
`E-USE`	Read a used program through its outcomes
`E-ROLE`	A role is declared before it is named
`E-REFER`	Each referral has its own name

Older raters and placeholders

These messages name a form from an earlier RSL version, or a part of a rater that is still a placeholder.

Code	Message
`E-LOOKUP-TOTAL`	State a lookup’s default in the table
`E-ENTITY-REL`	Give each record one enclosing record
`E-AXIS-SUBSET`	Give each map key one declaration
`E-HOLE`	Replace a placeholder with a calculation
`E-ROUND-INC`	Round to a scale and a mode
`E-TABLE-MODE`	Declare a table with dims and bands
`E-REQUIRES`	Keep exact constraint forms in constraints
`E-REJECT`	A reject needs a code and message
`E-MERGE-FIDELITY`	Declare each map once, over one enum
`E-BAND-COVERAGE`	Cover every lookup key with a band
`E-EXTERN-REMOVED`	Declare an external table as an ordinary table
`E-TEXT-REMOVED`	Replace Text with a code or an enum
`E-AXIS-INDEX`	Read a map at a key it defines
`E-REQUIRES-REMOVED`	Write a record rule as a refinement
`E-RANGE-REMOVED`	Write a value range as a refinement
`E-AXES-REMOVED`	Replace an axis with an enum and maps
`E-RELATION-REMOVED`	Declare records and contain them by type
`E-REJECT-REMOVED`	State a refusal as an input refinement
`E-OTHERWISE-REJECT-REMOVED`	Refuse an unrated key at the input
`E-CHECKED-REMOVED`	Prove a range from the inputs
`E-SLOT-REMOVED`	Let the formula state the rule
`E-INVARIANT`	Meet each structural rule of a rater

Get started

Tutorials

Implement a filing

Test a rater

Quote and underwrite

Concepts

Reference

Calculations that can fail

Numbers and rounding

Inputs and rules

Questions, choices and shared facts

Tables

Names, types and records

The header and the outcomes

Citations

Tidy raters

The rating manual

Guidelines

Older raters and placeholders

​Calculations that can fail

​Numbers and rounding

​Inputs and rules

​Questions, choices and shared facts

​Tables

​Names, types and records

​The header and the outcomes

​Citations

​Tidy raters

​The rating manual

​Guidelines

​Older raters and placeholders

Calculations that can fail

Numbers and rounding

Inputs and rules

Questions, choices and shared facts

Tables

Names, types and records

The header and the outcomes

Citations

Tidy raters

The rating manual

Guidelines

Older raters and placeholders