Remove --no-lazy-ple

Author: facundominguez

liquid-fixpoint

@@ -63,7 +63,6 @@ fixConfig tgt cfg = def
   , FC.extensionality = extensionality    cfg
   , FC.interpreter    = interpreter    cfg
   , FC.rwTermination  = rwTerminationCheck cfg
-  , FC.noLazyPLE      = noLazyPLE cfg
   , FC.fuel           = fuel      cfg
   , FC.noEnvReduction = not (environmentReduction cfg)
   , FC.inlineANFBinds = inlineANFBindings cfg

liquidhaskell-boot/src/Language/Haskell/Liquid/Constraint/ToFixpoint.hs

@@ -374,11 +374,6 @@ defConfig = Config {
     = False
         &= name "skip-module"
         &= help "Completely skip this module, don't even compile any specifications in it."
-  ,
-    noLazyPLE
-    = False
-        &= name "no-lazy-ple"
-        &= help "Don't use Lazy PLE"
 
   , fuel
     = Nothing

liquidhaskell-boot/src/Language/Haskell/Liquid/UX/CmdLine.hs

@@ -103,7 +103,6 @@ data Config = Config
   , auxInline                :: Bool        -- ^
   , rwTerminationCheck       :: Bool       -- ^ Enable termination checking for rewriting
   , skipModule               :: Bool       -- ^ Skip this module entirely (don't even compile any specs in it)
-  , noLazyPLE                :: Bool
   , fuel                     :: Maybe Int  -- ^ Maximum PLE "fuel" (unfold depth) (default=infinite)
   , environmentReduction     :: Bool       -- ^ Perform environment reduction
   , noEnvironmentReduction   :: Bool       -- ^ Don't perform environment reduction

liquidhaskell-boot/src/Language/Haskell/Liquid/UX/Config.hs

@@ -1,6 +1,5 @@
 {-@ LIQUID "--reflection"  @-}
 {-@ LIQUID "--ple"         @-}
-{-@ LIQUID "--no-lazy-ple" @-}
 
 module Lists where