Remove experimental warning when using generics

Author: krame505

src/comp/CtxRed.hs

@@ -4,8 +4,8 @@ import Data.List(partition, (\\))
 import Control.Monad(when)
 import PFPrint
 import Id
-import PreIds(tmpTyVarIds, idGeneric)
-import Error(internalError, EMsg, ErrorHandle, bsWarning, bsError, ErrMsg(WExperimental))
+import PreIds(tmpTyVarIds)
+import Error(internalError, EMsg, ErrorHandle, bsWarning, bsError)
 import Flags(Flags)
 import CSyntax
 import Type
@@ -367,13 +367,6 @@ ctxRedCQType = ctxRedCQType' False
 ctxRedCQType' :: Bool -> CQType -> TI (Subst, CQType)
 ctxRedCQType' isInstHead cqt = do
 
-    -- raise an experimental warning about uses of generics
-    let CQType cqs _ = cqt
-    case [p | p@(CPred {cpred_tc = CTypeclass i}) <- cqs,
-          qualEq i idGeneric] of
-      p : _ -> twarn (getPosition p, WExperimental "generics")
-      [] -> return ()
-
     -- find out what variables were bound prior to here
     prev_bound_tvs <- getBoundTVs
 

testsuite/bsc.typechecker/generics/GenericNegativeTests.bs.bsc-out.expected

@@ -1,9 +1,5 @@
 checking package dependencies
 compiling GenericNegativeTests.bs
-Warning: "GenericNegativeTests.bs", line 16, column 12: (S0028)
-  Support for generics in this release is not complete or has not been tested
-Warning: "GenericNegativeTests.bs", line 36, column 10: (S0028)
-  Support for generics in this release is not complete or has not been tested
 Error: "GenericNegativeTests.bs", line 26, column 10: (T0020)
   Type error at:
     refl