diff options
author | Daniel Winograd-Cort <dwincort@gmail.com> | 2021-02-21 12:06:38 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-03-03 08:12:28 -0500 |
commit | eea96042f1e8682605ae68db10f2bcdd7dab923e (patch) | |
tree | 6bbf81e67f072b1cdf07097a4c18e5dcb4da1be7 /testsuite/tests/lib/base | |
parent | 59e95bdf83c68993903525d06dbe245cf916e2e6 (diff) | |
download | haskell-eea96042f1e8682605ae68db10f2bcdd7dab923e.tar.gz |
Add cmpNat, cmpSymbol, and cmpChar
Add Data.Type.Ord
Add and update tests
Metric Increase:
MultiLayerModules
Diffstat (limited to 'testsuite/tests/lib/base')
-rw-r--r-- | testsuite/tests/lib/base/DataTypeOrd.hs | 21 | ||||
-rw-r--r-- | testsuite/tests/lib/base/DataTypeOrd.stdout | 6 | ||||
-rw-r--r-- | testsuite/tests/lib/base/all.T | 1 |
3 files changed, 28 insertions, 0 deletions
diff --git a/testsuite/tests/lib/base/DataTypeOrd.hs b/testsuite/tests/lib/base/DataTypeOrd.hs new file mode 100644 index 0000000000..1f190d3efe --- /dev/null +++ b/testsuite/tests/lib/base/DataTypeOrd.hs @@ -0,0 +1,21 @@ +{-# LANGUAGE DataKinds #-} +{-# LANGUAGE PolyKinds #-} +{-# LANGUAGE RankNTypes #-} +{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE TypeApplications #-} + +module Main where + +import Data.Type.Ord +import GHC.TypeLits + +data Prox t = Prox + +main :: IO () +main = do + print $ cmpSymbol (Prox @"foo") (Prox @"qux") + print $ cmpSymbol (Prox @"foo") (Prox @"foo") + print $ cmpSymbol (Prox @"foo") (Prox @"bar") + print $ cmpNat (Prox @1) (Prox @3) + print $ cmpNat (Prox @5) (Prox @5) + print $ cmpNat (Prox @7) (Prox @2) diff --git a/testsuite/tests/lib/base/DataTypeOrd.stdout b/testsuite/tests/lib/base/DataTypeOrd.stdout new file mode 100644 index 0000000000..c14e6794f3 --- /dev/null +++ b/testsuite/tests/lib/base/DataTypeOrd.stdout @@ -0,0 +1,6 @@ +LTI +EQI +GTI +LTI +EQI +GTI diff --git a/testsuite/tests/lib/base/all.T b/testsuite/tests/lib/base/all.T index 695b60b51c..6bf890c148 100644 --- a/testsuite/tests/lib/base/all.T +++ b/testsuite/tests/lib/base/all.T @@ -1,3 +1,4 @@ +test('DataTypeOrd', normal, compile_and_run, ['']) test('T16586', normal, compile_and_run, ['-O2']) # Event-manager not supported on Windows test('T16916', when(opsys('mingw32'), skip), compile_and_run, ['-O2 -threaded -with-rtsopts="-I0" -rtsopts']) |