From b4098cba08d9f204a8e6954c3091e2877d503d2f Mon Sep 17 00:00:00 2001
From: Ranjit Jhala <rjhala@ucsd.edu>
Date: Thu, 7 Mar 2024 10:43:33 -0800
Subject: [PATCH] remove fplugin from cabal

---
 cabal.project        | 1 +
 lh-plugin-demo.cabal | 2 +-
 src/Demo/Client.hs   | 3 ++-
 src/Demo/Erase.hs    | 1 +
 src/Demo/Lib.hs      | 2 ++
 5 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/cabal.project b/cabal.project
index d63a285..8eaeb70 100644
--- a/cabal.project
+++ b/cabal.project
@@ -1,5 +1,6 @@
 packages: .
 
+
 source-repository-package
     type: git
     location: https://github.com/ucsd-progsys/liquidhaskell
diff --git a/lh-plugin-demo.cabal b/lh-plugin-demo.cabal
index 1357938..681efe4 100644
--- a/lh-plugin-demo.cabal
+++ b/lh-plugin-demo.cabal
@@ -33,4 +33,4 @@ library
       liquid-base,
       liquid-containers
   default-language: Haskell2010
-  ghc-options: -fplugin=LiquidHaskell
+  -- ghc-options: -fplugin=LiquidHaskell
diff --git a/src/Demo/Client.hs b/src/Demo/Client.hs
index 6c25c58..9ea75c2 100644
--- a/src/Demo/Client.hs
+++ b/src/Demo/Client.hs
@@ -1,3 +1,5 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
+
 {-@ LIQUID "--reflection"     @-}
 {-@ LIQUID "--ple"            @-}
 {-@ LIQUID "--no-termination" @-}
@@ -23,4 +25,3 @@ testProof :: Proof
 testProof =
   test A ==. Just True
   *** QED
-
diff --git a/src/Demo/Erase.hs b/src/Demo/Erase.hs
index 64e115d..46eed6e 100644
--- a/src/Demo/Erase.hs
+++ b/src/Demo/Erase.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
 {-@ LIQUID "--reflection" @-}
 {-@ LIQUID "--ple"        @-}
 
diff --git a/src/Demo/Lib.hs b/src/Demo/Lib.hs
index d08929b..108e721 100644
--- a/src/Demo/Lib.hs
+++ b/src/Demo/Lib.hs
@@ -1,3 +1,5 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
+
 module Demo.Lib where
 
 import Data.Set