Support for scalable large records

Usage

{-# OPTIONS_GHC -fplugin=Data.Record.Plugin #-}

import Data.Record.Plugin

{-# ANN type B largeRecord #-}
data B a = B {a :: a, b :: String}
  deriving stock (Show, Eq, Ord)

See LargeRecordOptions for the list of all possible annotations.

Usage with record-dot-preprocessor

The easiest way to use both plugins together is to do

{-# OPTIONS_GHC -fplugin=Data.Record.Plugin.WithRDP #-}

You can also load them separately, but if you do, you need to be careful with the order. Unfortunately, the correct order is different in different ghc versions. Prior to ghc 9.4, the plugins must be loaded like this:

{-# OPTIONS_GHC -fplugin=RecordDotPreprocessor -fplugin=Data.Record.Plugin #-}

From ghc 9.4 and up, they need to be loaded in the opposite order:

{-# OPTIONS_GHC -fplugin=Data.Record.Plugin -fplugin=RecordDotPreprocessor #-}