diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2018-05-07 10:33:14 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2018-05-07 10:33:14 +0200 |
| commit | a1d84fcb94d3e2f96d837643519806fd49522634 (patch) | |
| tree | 5f98731303435219c14c9e0625e06d7c1938f6a5 /edit-lens/src/Data | |
| parent | 6d1f39826963890e9612b39f92843f134b6973f3 (diff) | |
| download | incremental-dfsts-a1d84fcb94d3e2f96d837643519806fd49522634.tar incremental-dfsts-a1d84fcb94d3e2f96d837643519806fd49522634.tar.gz incremental-dfsts-a1d84fcb94d3e2f96d837643519806fd49522634.tar.bz2 incremental-dfsts-a1d84fcb94d3e2f96d837643519806fd49522634.tar.xz incremental-dfsts-a1d84fcb94d3e2f96d837643519806fd49522634.zip | |
Move non-breaking language extensions to package.yaml
Diffstat (limited to 'edit-lens/src/Data')
| -rw-r--r-- | edit-lens/src/Data/String/DFST.hs | 4 | ||||
| -rw-r--r-- | edit-lens/src/Data/String/DFST/Lens.lhs | 3 |
2 files changed, 1 insertions, 6 deletions
diff --git a/edit-lens/src/Data/String/DFST.hs b/edit-lens/src/Data/String/DFST.hs index 75ca1cd..702a0d8 100644 --- a/edit-lens/src/Data/String/DFST.hs +++ b/edit-lens/src/Data/String/DFST.hs | |||
| @@ -1,6 +1,4 @@ | |||
| 1 | {-# LANGUAGE RecordWildCards | 1 | {-# LANGUAGE ScopedTypeVariables |
| 2 | , PatternGuards | ||
| 3 | , ScopedTypeVariables | ||
| 4 | #-} | 2 | #-} |
| 5 | 3 | ||
| 6 | {-| | 4 | {-| |
diff --git a/edit-lens/src/Data/String/DFST/Lens.lhs b/edit-lens/src/Data/String/DFST/Lens.lhs index 52c80d0..e4d9083 100644 --- a/edit-lens/src/Data/String/DFST/Lens.lhs +++ b/edit-lens/src/Data/String/DFST/Lens.lhs | |||
| @@ -1,7 +1,4 @@ | |||
| 1 | \begin{code} | 1 | \begin{code} |
| 2 | {-# LANGUAGE TupleSections | ||
| 3 | #-} | ||
| 4 | |||
| 5 | module Data.String.DFST.Lens | 2 | module Data.String.DFST.Lens |
| 6 | ( | 3 | ( |
| 7 | ) where | 4 | ) where |