build error: ambiguous occurrence '<>'

[medovina]

I attempted to build SAD with GHC 8.6.5 on Ubuntu 19.10.

The build failed with this:

Alice/Core/Reason.hs:44:35: error:
    Ambiguous occurrence ‘<>’
    It could refer to either ‘Prelude.<>’,
                             imported from ‘Prelude’ at Alice/Core/Reason.hs:21:8-24
                             (and originally defined in ‘GHC.Base’)
                          or ‘Alice.Core.Base.<>’,
                             imported from ‘Alice.Core.Base’ at Alice/Core/Reason.hs:25:1-22
                             (and originally defined at Alice/Core/Base.hs:96:1-4)
   |
44 | goalseq n cnt tc (f:fs) = do  trv <> lnc <> dlp
   |                                   ^^

[tertium]

Thanks for the report! Indeed, the source code is not up to date wrt the current GHC. I will fix this when I get some time, but I would generally recommend you to use the Naproche-SAD fork (https://github.com/Naproche/Naproche-SAD/) instead, which is being actively developped and maintained at present time.