search

tomgr / libcspm

The library FDR3 uses for parsing, type checking and evaluating machine CSP.
https://www.cs.ox.ac.uk/projects/fdr/
Other
30 stars 6 forks source link

Update for GHC 8.10.2 #17

Open georgefst opened 3 years ago

georgefst commented 3 years ago

Hi Tom.

These changes have been sat on my D-RisQ laptop for a while, and seeing as I'm now leaving the company I figured I ought to do something with them.

This does the bare minimum to get everything building without warnings on the latest GHC and Cabal, including Haddock. The major relevant changes are the MonadFail proposal, and the addition of <> to Prelude.

A small number of tests fail...

georgefst commented 3 years ago

Apologies for dumping everything in to a single commit. If you are interested in this, you may want to cherry-pick.