Skip to content

Commit 256b270

Browse files
authored
Change default option for datatype compilation (#7309)
1 parent 13ff994 commit 256b270

File tree

82 files changed

+249
-193
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

82 files changed

+249
-193
lines changed

cardano-constitution/src/Cardano/Constitution/Validator/Data/Sorted.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:target-version=1.1.0 #-}
99
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:remove-trace #-}
1010
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:defer-errors #-}
11+
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:datatypes=BuiltinCasing #-}
1112

1213
module Cardano.Constitution.Validator.Data.Sorted
1314
( constitutionValidator

cardano-constitution/src/Cardano/Constitution/Validator/Data/Unsorted.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:target-version=1.1.0 #-}
1010
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:remove-trace #-}
1111
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:defer-errors #-}
12+
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:datatypes=BuiltinCasing #-}
1213

1314
module Cardano.Constitution.Validator.Data.Unsorted
1415
( constitutionValidator

cardano-constitution/src/Cardano/Constitution/Validator/Sorted.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:target-version=1.1.0 #-}
99
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:remove-trace #-}
1010
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:defer-errors #-}
11+
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:datatypes=BuiltinCasing #-}
1112

1213
module Cardano.Constitution.Validator.Sorted
1314
( constitutionValidator

cardano-constitution/src/Cardano/Constitution/Validator/Unsorted.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:target-version=1.1.0 #-}
1010
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:remove-trace #-}
1111
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:defer-errors #-}
12+
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:datatypes=BuiltinCasing #-}
1213

1314
module Cardano.Constitution.Validator.Unsorted
1415
( constitutionValidator

doc/docusaurus/docs/delve-deeper/plinth-compiler-options.md

Lines changed: 2 additions & 0 deletions

plutus-benchmark/bitwise/src/PlutusBenchmark/Ed25519/Compiled.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
{-# LANGUAGE OverloadedStrings #-}
44
{-# LANGUAGE TemplateHaskell #-}
55
{-# LANGUAGE TypeApplications #-}
6+
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:datatypes=BuiltinCasing #-}
67

78
module PlutusBenchmark.Ed25519.Compiled
89
( checkValidCompiled

plutus-benchmark/bitwise/src/PlutusBenchmark/NQueens/Compiled.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
{-# LANGUAGE DataKinds #-}
22
{-# LANGUAGE NoImplicitPrelude #-}
33
{-# LANGUAGE TemplateHaskell #-}
4+
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:datatypes=BuiltinCasing #-}
45

56
module PlutusBenchmark.NQueens.Compiled (
67
nqueensCompiled,

plutus-benchmark/bls12-381-costs/src/PlutusBenchmark/BLS12_381/Scripts.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
{-# LANGUAGE OverloadedStrings #-}
66
{-# LANGUAGE TemplateHaskell #-}
77
{-# LANGUAGE ViewPatterns #-}
8+
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:datatypes=BuiltinCasing #-}
89

910
{- | Approximations of the sort of computations involving BLS12-381 primitives
1011
that one might wish to perform on the chain. Real on-chain code will have

plutus-benchmark/cardano-loans/src/CardanoLoans/Validator.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@
2626
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:no-conservative-optimisation #-}
2727
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:no-remove-trace #-}
2828
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:preserve-logging #-}
29+
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:datatypes=BuiltinCasing #-}
2930
{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
3031
{-# HLINT ignore "Redundant if" #-}
3132

plutus-benchmark/coop/src/PlutusBenchmark/Coop/Scripts.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
{-# LANGUAGE TemplateHaskell #-}
66
{-# LANGUAGE TypeApplications #-}
77
{-# LANGUAGE ViewPatterns #-}
8+
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:datatypes=BuiltinCasing #-}
89

910
module PlutusBenchmark.Coop.Scripts where
1011

0 commit comments

Comments
 (0)