Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Software
CoPaR
Commits
3ac1e9b9
Commit
3ac1e9b9
authored
Nov 20, 2020
by
Hans-Peter Deifel
🐢
Browse files
Remove unneeded MultiParamTypeClasses occurrences
parent
6f351b49
Changes
5
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
copar.cabal
View file @
3ac1e9b9
...
...
@@ -333,7 +333,6 @@ executable random-dfa
default-language: Haskell2010
default-extensions: OverloadedStrings
, LambdaCase
, MultiParamTypeClasses
, FlexibleInstances
, FunctionalDependencies
build-depends: base >= 4.11
...
...
@@ -358,7 +357,6 @@ library random-wta-lib
default-language: Haskell2010
default-extensions: OverloadedStrings
, LambdaCase
, MultiParamTypeClasses
, FlexibleInstances
, FunctionalDependencies
build-depends: base >= 4.11
...
...
src/Copar/Coalgebra/Parser.hs
View file @
3ac1e9b9
...
...
@@ -5,7 +5,6 @@
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE ScopedTypeVariables #-}
module
Copar.Coalgebra.Parser
...
...
src/Data/RefinablePartition.hs
View file @
3ac1e9b9
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE TemplateHaskell #-}
...
...
src/prism-converter/lib/Mdp.hs
View file @
3ac1e9b9
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}
...
...
tests/Copar/Coalgebra/ParserSpec.hs
View file @
3ac1e9b9
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module
Copar.Coalgebra.ParserSpec
(
spec
)
where
import
Test.Hspec
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment