#
05d5a567 |
|
21-Jul-2020 |
Michael Norrish <michael.norrish@data61.csiro.au> |
Give names/descriptions to a couple of tests in monad selftest
|
#
8d1a2ce9 |
|
05-Jun-2020 |
Hrutvik Kanabar <hrutvikkanabar@yahoo.co.uk> |
Unit tests for monadic let syntax
|
#
c7b49a49 |
|
25-Jun-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix more regression tests broken by testutils API change
|
#
713b329f |
|
11-Feb-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix error in identifying bound variables in monad actions Closes #657
|
#
434e3f46 |
|
25-Sep-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix another conditional-expression p/printing oddity The if-then- block wasn't necessarily aligned with the last else block because the whole if-then-else wasn't guaranteed to appear in one block to itself. Closes #588 Also tweak error-reporting from testutils.tpp (use ␣ (U+2423) for spaces to make spotting differences easier; control colours better).
|
#
930bac73 |
|
25-Sep-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add (commented-out) test for monad+if pretty-printing failure This is effectively the test from github issue #588
|
#
798ac6f3 |
|
10-May-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Complete implementation of new API for declaring+using monads Monadsyntax in general (the do..od notation) can be turned on and off. In addition, specific monad instances can be declared and subsequently enabled by just calling something like monadsyntax.enable_monad "option" Having state_transformerTheory as an ancestor turns on monadsyntax, and enables the state monad. (Enabling a monad causes a bunch of calls to overload to occur; disabling a monad undoes those calls.)
|
#
376cf5e8 |
|
06-May-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Provide machinery for declaring/exporting monad information Declare options, lists, state-transformers (bad name!) and errorStateMonads as monads. For the moment, this infrastructure is not used, but next step will be to link it into the parsing and printing machinery.
|