X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc%2Fcompiler%2Freader%2FReadPragmas2.lhs;h=b34fefbff594228cd0c101f51e0065c1c40756c2;hp=0bfb1786da7ed3e68752754e27e166081e7f513f;hb=68a1f0233996ed79824d11d946e9801473f6946c;hpb=ed7464364646a28aaf27d1dbc2ceaf7a9d9ce62f

diff --git a/ghc/compiler/reader/ReadPragmas2.lhs b/ghc/compiler/reader/ReadPragmas2.lhs
index 0bfb178..b34fefb 100644
--- a/ghc/compiler/reader/ReadPragmas2.lhs
+++ b/ghc/compiler/reader/ReadPragmas2.lhs
@@ -97,32 +97,6 @@ wlkInstPragma pragma
 	wlkList rd_constm constm_stuff `thenUgn` \ constm_pragmas ->
 	returnUgn (Just modname, ConstantInstancePragma gen_pragma constm_pragmas)
 
-      U_iinst_spec_pragma modname dfun_gen spec_stuff ->
-	wlkGenPragma	dfun_gen    `thenUgn` \ gen_pragma   ->
-	wlkList rd_spec	spec_stuff  `thenUgn` \ spec_pragmas ->
-	returnUgn (Just modname, SpecialisedInstancePragma gen_pragma spec_pragmas)
-  where
-    rd_spec pt
-      = rdU_hpragma pt `thenUgn` \ stuff ->
-	case stuff of { U_iinst_pragma_3s maybe_tys num_dicts gen consts  ->
-
-	wlkList rdMonoTypeMaybe maybe_tys `thenUgn` \ mono_tys_maybe ->
-	wlkGenPragma            gen	 `thenUgn` \ gen_prag	    ->
-	wlkList rd_constm       consts	 `thenUgn` \ constms	    ->
-	let
-	    inst_prag
-	      = if null constms then
-		   if null_gen_prag gen_prag
-		   then NoInstancePragmas
-		   else SimpleInstancePragma gen_prag
-		else -- some constms...
-		   ConstantInstancePragma gen_prag constms
-	in
-	returnUgn (mono_tys_maybe, num_dicts, inst_prag) }
-      where
-	null_gen_prag NoGenPragmas = True
-	null_gen_prag _		   = False
-
 rd_constm pt
   = rdU_hpragma pt  `thenUgn` \ stuff ->
     case stuff of { U_iname_pragma_pr name gen ->