Make our repo buildable again with -O0.

Author: bezirg

doc/docusaurus/docusaurus-examples.cabal

@@ -18,6 +18,7 @@ common lang
     -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns
     -Wincomplete-record-updates -Wredundant-constraints -Widentities
     -Wunused-packages -Wmissing-deriving-strategies
+    -fobject-code -fno-ignore-interface-pragmas -fno-omit-interface-pragmas
 
 common ghc-version-support
   -- See the section on GHC versions in CONTRIBUTING

plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Knights/Sort.hs

@@ -1,12 +1,15 @@
 {-# OPTIONS_GHC -fno-warn-unused-top-binds #-}
+{-# LANGUAGE NoImplicitPrelude     #-}
+{-# LANGUAGE OverloadedStrings     #-}
 
 module PlutusBenchmark.NoFib.Knights.Sort
         ( insertSort,
           mergeSort,
           quickSort
         ) where
 
-import PlutusTx.Prelude qualified as Tx
+import PlutusTx.Prelude as Tx
+import PlutusTx.List as Tx
 
 insertSort :: (Tx.Ord a) => [a] -> [a]
 insertSort xs = foldr insertion [] xs
@@ -24,8 +27,8 @@ mergeSort xs
         = if (n <=1 ) then xs
           else
              (mergeList
-                ( mergeSort (take (n `div` 2) xs))
-                ( mergeSort (drop (n `div` 2) xs)))
+                ( mergeSort (take (n `divide` 2) xs))
+                ( mergeSort (drop (n `divide` 2) xs)))
           where
                 n = length xs
 {-# INLINABLE mergeSort #-}
@@ -98,9 +101,9 @@ randomIntegers s1 s2 =
         if 1 <= s2 && s2 <= 2147483398 then
             rands s1 s2
         else
-            error "randomIntegers: Bad second seed."
+            traceError "randomIntegers: Bad second seed."
     else
-        error "randomIntegers: Bad first seed."
+        traceError "randomIntegers: Bad first seed."
 {-# INLINABLE randomIntegers #-}
 
 rands :: Integer -> Integer -> [Integer]
@@ -109,11 +112,11 @@ rands s1 s2
      else
          z : rands s1'' s2''
      where
-        k    = s1 `div` 53668
+        k    = s1 `divide` 53668
         s1'  = 40014 * (s1 - k * 53668) - k * 12211
         s1'' = if s1' < 0 then s1' + 2147483563 else s1'
 
-        k'   = s2 `div` 52774
+        k'   = s2 `divide` 52774
         s2'  = 40692 * (s2 - k' * 52774) - k' * 3791
         s2'' = if s2' < 0 then s2' + 2147483399 else s2'
 

plutus-tx-plugin/test/CallTrace/OtherModule.hs

@@ -16,8 +16,10 @@ class MyClassInOtherModule a where
   myClassFuncInOtherModule :: a -> BuiltinString
 
 instance MyClassInOtherModule Integer where
-  myClassFuncInOtherModule 8 = wraps True
-  myClassFuncInOtherModule _ = error ()
+  myClassFuncInOtherModule x
+          -- no case on integer here, because our compiler cannot manage it
+          | x == 8 = wraps True
+          | otherwise = error ()
 
 instance MyClassInOtherModule () where
   myClassFuncInOtherModule () =  error ()