blob: eed6008748e4e64bfa28936aff4b544f6f1c4d50 (
plain)
1
2
3
4
5
6
|
{-# OPTIONS -fplugin PurePlugin -fplugin-opt ImpurePlugin:First_Option -fplugin-opt PurePlugin:Second_Option -fplugin-opt PurePlugin:Second_Option_2 -fplugin FingerprintPlugin -fplugin-opt FingerprintPlugin:1 #-}
-- Are plugins loaded in the correct order?
module Main where
main = pure ()
|