git.iko.soy/grenade
on master help sign in
Missing test file
commitdf75beee8dc5ed04853b1ea06f1d30ed3810dbea authorHuw Campbell <huw.campbell@ambiata.com> dateThu 19 Jan 2017, 19:49 (10 years ago) parent2369ec3
1 file changed+14
compare with master
unifiedsplit
test/Test/Jack/TypeLits.hs+14
test/Test/Jack/TypeLits.hsnew file+14
@@ -0,0 +1,14 @@
1+{-# LANGUAGE RankNTypes #-}
2+{-# LANGUAGE DataKinds #-}
3+{-# LANGUAGE ScopedTypeVariables #-}
4+
5+module Test.Jack.TypeLits where
6+
7+import Disorder.Jack
8+
9+import GHC.TypeLits
10+
11+genNat :: Jack SomeNat
12+genNat = do
13+ Just n <- someNatVal <$> choose (1, 10)
14+ return n