summaryrefslogtreecommitdiff
path: root/tests/examples/failing
diff options
context:
space:
mode:
authorAlanZimmerman <>2017-02-08 19:00:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2017-02-08 19:00:00 (GMT)
commitf9ad938aef4c5a33836070f206050b28fdd38c47 (patch)
tree45092df4d5fbd80067e80aa582b7ce398fc2a319 /tests/examples/failing
parentabaa1c9d4c1026c0a0258db4fa42a09ae66de897 (diff)
version 0.5.3.00.5.3.0
Diffstat (limited to 'tests/examples/failing')
-rw-r--r--tests/examples/failing/CtorOp.hs11
-rw-r--r--tests/examples/failing/CtorOp.hs.bad11
-rw-r--r--tests/examples/failing/List2.hs40
-rw-r--r--tests/examples/failing/List2.hs.bad40
-rw-r--r--tests/examples/failing/TensorTests.hs41
-rw-r--r--tests/examples/failing/TensorTests.hs.bad41
6 files changed, 184 insertions, 0 deletions
diff --git a/tests/examples/failing/CtorOp.hs b/tests/examples/failing/CtorOp.hs
new file mode 100644
index 0000000..2c576d6
--- /dev/null
+++ b/tests/examples/failing/CtorOp.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE TypeOperators #-}
+module Decl.CtorOp where
+
+data a :+: b = a :+: b
+
+data (a :!: b) c = a c :!: b c
+
+data ((:-:) a) b = a :-: b
+
+data (:*:) a b = a :*: b
+
diff --git a/tests/examples/failing/CtorOp.hs.bad b/tests/examples/failing/CtorOp.hs.bad
new file mode 100644
index 0000000..7cb4bef
--- /dev/null
+++ b/tests/examples/failing/CtorOp.hs.bad
@@ -0,0 +1,11 @@
+{-# LANGUAGE TypeOperators #-}
+module Decl.CtorOp where
+
+data a :+: b = a :+: b
+
+data (a :!: b) c = a c :!: b c
+
+data ((:-:) a b = a :-: b
+
+data (:*:) a b = a :*: b
+
diff --git a/tests/examples/failing/List2.hs b/tests/examples/failing/List2.hs
new file mode 100644
index 0000000..9fdfd79
--- /dev/null
+++ b/tests/examples/failing/List2.hs
@@ -0,0 +1,40 @@
+{-# LANGUAGE TypeFamilyDependencies #-}
+{-# LANGUAGE PatternSynonyms #-}
+{-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE LambdaCase #-}
+{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE GADTs #-}
+-----------------------------------------------------------------------------
+-- |
+-- Module : Type.Family.List
+-- Copyright : Copyright (C) 2015 Kyle Carter
+-- License : BSD3
+--
+-- Maintainer : Kyle Carter <kylcarte@indiana.edu>
+-- Stability : experimental
+-- Portability : RankNTypes
+--
+-- Convenient aliases and type families for working with
+-- type-level lists.
+----------------------------------------------------------------------------
+
+module Type.Family.List where
+
+import Type.Family.Constraint
+import Type.Family.Monoid
+import Type.Family.Tuple hiding (type (<$>),type (<*>),type (<&>))
+import Type.Class.Witness
+
+type Ø = '[]
+type (:<) = '(:)
+infixr 5 :<
+
diff --git a/tests/examples/failing/List2.hs.bad b/tests/examples/failing/List2.hs.bad
new file mode 100644
index 0000000..f233bf6
--- /dev/null
+++ b/tests/examples/failing/List2.hs.bad
@@ -0,0 +1,40 @@
+{-# LANGUAGE TypeFamilyDependencies #-}
+{-# LANGUAGE PatternSynonyms #-}
+{-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE LambdaCase #-}
+{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE GADTs #-}
+-----------------------------------------------------------------------------
+-- |
+-- Module : Type.Family.List
+-- Copyright : Copyright (C) 2015 Kyle Carter
+-- License : BSD3
+--
+-- Maintainer : Kyle Carter <kylcarte@indiana.edu>
+-- Stability : experimental
+-- Portability : RankNTypes
+--
+-- Convenient aliases and type families for working with
+-- type-level lists.
+----------------------------------------------------------------------------
+
+module Type.Family.List where
+
+import Type.Family.Constraint
+import Type.Family.Monoid
+import Type.Family.Tuple hiding (type (<$>),type (<*>),type (<&>))
+import Type.Class.Witness
+
+type Ø = '[]
+type (:<) = (:)
+infixr 5 :<
+
diff --git a/tests/examples/failing/TensorTests.hs b/tests/examples/failing/TensorTests.hs
new file mode 100644
index 0000000..d212198
--- /dev/null
+++ b/tests/examples/failing/TensorTests.hs
@@ -0,0 +1,41 @@
+{-# LANGUAGE ConstraintKinds, FlexibleContexts, DataKinds, NoImplicitPrelude,
+ RebindableSyntax, ScopedTypeVariables, TypeFamilies, TypeOperators,
+ UndecidableInstances #-}
+
+module TensorTests (tensorTests) where
+
+import Apply.Cyc
+import Tests
+import Utils
+
+import TestTypes
+
+import Crypto.Lol
+import Crypto.Lol.CRTrans
+import Crypto.Lol.Cyclotomic.Tensor
+import Crypto.Lol.Types
+
+import Control.Applicative
+
+import Data.Maybe
+
+import Data.Singletons
+import Data.Promotion.Prelude.Eq
+import Data.Singletons.TypeRepStar ()
+
+import qualified Test.Framework as TF
+
+type TMRParams = ( '(,) <$> Tensors) <*> MRCombos
+tmrParams :: Proxy TMRParams
+tmrParams = Proxy
+
+--type ExtParams = ( '(,) <$> Tensors) <*> MRExtCombos
+type TrEmParams = ( '(,) <$> Tensors) <*> MM'RCombos
+tremParams :: Proxy TrEmParams
+tremParams = Proxy
+
+type NormParams = ( '(,) <$> '[RT]) <*> (Filter Liftable MRCombos)
+
+data Liftable :: TyFun (Factored, *) Bool -> *
+type instance Apply Liftable '(m,zq) = Int64 :== (LiftOf zq)
+
diff --git a/tests/examples/failing/TensorTests.hs.bad b/tests/examples/failing/TensorTests.hs.bad
new file mode 100644
index 0000000..1a818c7
--- /dev/null
+++ b/tests/examples/failing/TensorTests.hs.bad
@@ -0,0 +1,41 @@
+{-# LANGUAGE ConstraintKinds, FlexibleContexts, DataKinds, NoImplicitPrelude,
+ RebindableSyntax, ScopedTypeVariables, TypeFamilies, TypeOperators,
+ UndecidableInstances #-}
+
+module TensorTests (tensorTests) where
+
+import Apply.Cyc
+import Tests
+import Utils
+
+import TestTypes
+
+import Crypto.Lol
+import Crypto.Lol.CRTrans
+import Crypto.Lol.Cyclotomic.Tensor
+import Crypto.Lol.Types
+
+import Control.Applicative
+
+import Data.Maybe
+
+import Data.Singletons
+import Data.Promotion.Prelude.Eq
+import Data.Singletons.TypeRepStar ()
+
+import qualified Test.Framework as TF
+
+type TMRParams = ( (,) <$> Tensors) <*> MRCombos
+tmrParams :: Proxy TMRParams
+tmrParams = Proxy
+
+--type ExtParams = ( '(,) <$> Tensors) <*> MRExtCombos
+type TrEmParams = ( (,) <$> Tensors) <*> MM'RCombos
+tremParams :: Proxy TrEmParams
+tremParams = Proxy
+
+type NormParams = ( (,) <$> '[RT]) <*> (Filter Liftable MRCombos)
+
+data Liftable :: TyFun (Factored, *) Bool -> *
+type instance Apply Liftable '(m,zq) = Int64 :== (LiftOf zq)
+