blob: 2db1c4ee206036eba10fa353f47e84e9704b4610 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module T15547 where
import GHC.TypeNats
import Data.Proxy
import GHC.Word
import GHC.Exts
nat2Word# :: KnownNat n => Proxy# n -> Word#
nat2Word# p = case fromIntegral (natVal' p) of
W# w -> w
foo (# #) = nat2Word# (proxy# :: Proxy# 18)
-- functions from the ticket
fd (_ :: Proxy n) = nat2Word# (proxy# @(Div (n + 63) 64))
fm (_ :: Proxy n) = nat2Word# (proxy# @(Mod (n - 1) 64 + 1))
fp (_ :: Proxy n) = nat2Word# (proxy# @(2^(Mod (n + 63) 64 + 1)))
d (# #) = fd (Proxy @137)
m (# #) = fm (Proxy @137)
p (# #) = fp (Proxy @137)
|
