ormolu/data/examples/other/pragma.hs

-- | Header comment.

{-# LANGUAGE LambdaCase #-}
{-#LANGuagE ViewPatterns #-}
{-# LANGUAGE OverloadedStrings#-}
{-# OPTIONS_GHC -Wall -Werror #-}
{-# language DataKinds, LambdaCase #-}
{-# OPTIONS_HADDOCK   prune, show-extensions #-}
{-# OPTIONS_GHC -O2 -H 300    #-}
{-# language IncoherentInstances
           , AllowAmbiguousTypes #-}

module Foo () where
Sort language pragmas and fix their placement in modules The approach we take here is parsing of language pragmas on creation of comment stream and then pretty-printing them in a separate block. 2019-07-01 05:56:59 +03:00			`-- \| Header comment.`

			`{-# LANGUAGE LambdaCase #-}`
Workaround GHC tokenizer bug while extracting LANGUAGE pragmas 2019-08-09 00:49:58 +03:00			`{-#LANGuagE ViewPatterns #-}`
			`{-# LANGUAGE OverloadedStrings#-}`
Handle OPTIONS_GHC and OPTIONS_HADDOCK pragmas This change adds an ad-hoc parser for module pragmas to handle OPTIONS_* pragmas. I did not want to use an existing tokenizer, because I felt like tokenizing and pretty printing the GHC options are more prone to error without providing much benefit. 2019-08-09 03:11:52 +03:00			`{-# OPTIONS_GHC -Wall -Werror #-}`
Sort language pragmas and fix their placement in modules The approach we take here is parsing of language pragmas on creation of comment stream and then pretty-printing them in a separate block. 2019-07-01 05:56:59 +03:00			`{-# language DataKinds, LambdaCase #-}`
Handle OPTIONS_GHC and OPTIONS_HADDOCK pragmas This change adds an ad-hoc parser for module pragmas to handle OPTIONS_* pragmas. I did not want to use an existing tokenizer, because I felt like tokenizing and pretty printing the GHC options are more prone to error without providing much benefit. 2019-08-09 03:11:52 +03:00			`{-# OPTIONS_HADDOCK prune, show-extensions #-}`
			`{-# OPTIONS_GHC -O2 -H 300 #-}`
Workaround GHC tokenizer bug while extracting LANGUAGE pragmas 2019-08-09 00:49:58 +03:00			`{-# language IncoherentInstances`
			`, AllowAmbiguousTypes #-}`
Sort language pragmas and fix their placement in modules The approach we take here is parsing of language pragmas on creation of comment stream and then pretty-printing them in a separate block. 2019-07-01 05:56:59 +03:00
			`module Foo () where`