Cryptol Files

Language changes

• Cryptol now supports enum declarations. An enum is a named type which is defined by one or more constructors. Enums correspond to the notion of algebraic data types, which are commonly found in other programming languages. See the manual section for more information.

• Add two enum declarations to the Cryptol standard library:

``` enum Option a = None | Some a

enum Result t e = Ok t | Err e ```

These types are useful for representing optional values (Option) or values that may fail in some way (Result).

• foreign functions can now have an optional Cryptol implementation, which by default is used when the foreign implementation cannot be found, or if the FFI is unavailable. The :set evalForeign REPL option controls this behavior.

Bug fixes

• Fixed [#1455], making anything in scope of the functor in scope at the REPL as well when an instantiation of the functor is loaded and focused, design choice (3) on the ticket. In particular, the prelude will be in scope.

• Fix [#1578], which caused parmap to crash when evaluated on certain types of sequences.

• Closed issues [#813], [#1237], [#1397], [#1446], [#1486], [#1492], [#1495], [#1537], [#1538], [#1542], [#1544], [#1548], [#1551], [#1552], [#1554], [#1556], [#1561], [#1562], [#1566], [#1567], [#1569], [#1571], [#1584], [#1588], [#1590], [#1598], [#1599], [#1604], [#1605], [#1606], [#1607], [#1609], [#1610], [#1611], [#1612], [#1613], [#1615], [#1616], [#1617], [#1618], and [#1619].

• Merged pull requests [#1429], [#1512], [#1534], [#1535], [#1536], [#1540], [#1541], [#1543], [#1547], [#1549], [#1550], [#1555], [#1557], [#1558], [#1559], [#1564], [#1565], [#1568], [#1570], [#1572], [#1573], [#1577], [#1579], [#1580], [#1583], [#1585], [#1586], [#1592], [#1600], [#1601], and [#1602].