projects
/
matthijs
/
master-project
/
cλash.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
s/normalise/normalize/
[matthijs/master-project/cλash.git]
/
cλash
/
CLasH
/
Utils
/
Core
/
CoreTools.hs
diff --git
a/cλash/CLasH/Utils/Core/CoreTools.hs
b/cλash/CLasH/Utils/Core/CoreTools.hs
index ce42678a7683634edd4368351709384b8d777310..ab3654f36b68a81f16053659b5f8f3ca5d2899bc 100644
(file)
--- a/
cλash/CLasH/Utils/Core/CoreTools.hs
+++ b/
cλash/CLasH/Utils/Core/CoreTools.hs
@@
-53,7
+53,7
@@
type Binding = (CoreSyn.CoreBndr, CoreSyn.CoreExpr)
tfp_to_int :: Type.Type -> TypeSession Int
tfp_to_int ty = do
hscenv <- MonadState.get tsHscEnv
tfp_to_int :: Type.Type -> TypeSession Int
tfp_to_int ty = do
hscenv <- MonadState.get tsHscEnv
- let norm_ty = normali
s
e_tfp_int hscenv ty
+ let norm_ty = normali
z
e_tfp_int hscenv ty
case Type.splitTyConApp_maybe norm_ty of
Just (tycon, args) -> do
let name = Name.getOccString (TyCon.tyConName tycon)
case Type.splitTyConApp_maybe norm_ty of
Just (tycon, args) -> do
let name = Name.getOccString (TyCon.tyConName tycon)
@@
-71,7
+71,7
@@
tfp_to_int' :: Type.Type -> TypeSession Int
tfp_to_int' ty = do
lens <- MonadState.get tsTfpInts
hscenv <- MonadState.get tsHscEnv
tfp_to_int' ty = do
lens <- MonadState.get tsTfpInts
hscenv <- MonadState.get tsHscEnv
- let norm_ty = normali
s
e_tfp_int hscenv ty
+ let norm_ty = normali
z
e_tfp_int hscenv ty
let existing_len = Map.lookup (OrdType norm_ty) lens
case existing_len of
Just len -> return len
let existing_len = Map.lookup (OrdType norm_ty) lens
case existing_len of
Just len -> return len
@@
-101,10
+101,10
@@
eval_tfp_int env ty =
libdir = DynFlags.topDir dynflags
dynflags = HscTypes.hsc_dflags env
libdir = DynFlags.topDir dynflags
dynflags = HscTypes.hsc_dflags env
-normali
s
e_tfp_int :: HscTypes.HscEnv -> Type.Type -> Type.Type
-normali
s
e_tfp_int env ty =
+normali
z
e_tfp_int :: HscTypes.HscEnv -> Type.Type -> Type.Type
+normali
z
e_tfp_int env ty =
System.IO.Unsafe.unsafePerformIO $
System.IO.Unsafe.unsafePerformIO $
- normali
s
eType env ty
+ normali
z
eType env ty
-- | Get the width of a SizedWord type
-- sized_word_len :: HscTypes.HscEnv -> Type.Type -> Int
-- | Get the width of a SizedWord type
-- sized_word_len :: HscTypes.HscEnv -> Type.Type -> Int