Closed Halbaroth closed 2 weeks ago
Unwrapping this library was a big mistake, mea maxima culpa. When I added this prelude, I did know how to use -open with a wrapped library.
-open
I couldn't compile smtml with alt-ergo-lib because the library of smtml depends on a module Prelude from another library.
alt-ergo-lib
Unwrapping this library was a big mistake, mea maxima culpa. When I added this prelude, I did know how to use
-openwith a wrapped library.I couldn't compile smtml with
alt-ergo-libbecause the library of smtml depends on a module Prelude from another library.