Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

The use of ‘forall’ as an identifier

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

The use of ‘forall’ as an identifier

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

The use of ‘forall’ as an identifier

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

In the use of type constructor or class ‘Doc’

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘vsep’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated: