# HG changeset patch
# User haftmann
# Date 1291027140 -3600
# Node ID c8494f89690a5e4d395d0a2ec9e54e2beb4a28cc
# Parent  3f66ea311d44ac74212b9c8e64e938bf6dd9cdbc
less ghc-specific pragma

diff -r 3f66ea311d44 -r c8494f89690a src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Mon Nov 29 11:38:59 2010 +0100
+++ b/src/Tools/Code/code_haskell.ML	Mon Nov 29 11:39:00 2010 +0100
@@ -356,7 +356,7 @@
             val _ = Isabelle_System.mkdir (Path.dir filepath);
           in
             (File.write filepath o format [] width o Pretty.chunks2)
-              [str "{-# OPTIONS_GHC -fglasgow-exts #-}", content]
+              [str "{-# LANGUAGE ScopedTypeVariables #-}", content]
           end
       | write_module width NONE (_, content) = writeln (format [] width content);
   in