Add util to unwrap a Port value

Author: krame505

src/Libraries/Base1/Prelude.bs

@@ -260,7 +260,7 @@ package Prelude(
 
         primMethod, -- TODO: Needed only in PreludeBSV for vMkRWire1, should be removed.
         WrapField(..), WrapMethod(..), WrapPorts(..),
-        Port(..), SplitPorts(..)
+        Port(..), unPort, SplitPorts(..)
         ) where
 
 infixr  0 $
@@ -4629,6 +4629,9 @@ class SplitPorts a p | a -> p where
 data Port a = Port a
   deriving (FShow)
 
+unPort :: Port a -> a
+unPort (Port a) = a
+
 -- XXX if the default instance is the only one, then it gets inlined in CtxReduce
 -- and other instances for this class are ignored.
 instance SplitPorts () () where
@@ -4639,7 +4642,7 @@ instance SplitPorts () () where
 -- Default instance: don't split anything we don't know how to split.
 instance SplitPorts a (Port a) where
   splitPorts = Port
-  unsplitPorts (Port a) = a
+  unsplitPorts = unPort
   portNames _  base = Cons base Nil
 
 {-

src/Libraries/Base1/SplitPorts.bs

@@ -92,12 +92,12 @@ class DeepSplitPorts a p | a -> p where
 
 instance DeepSplitPorts (UInt n) (Port (UInt n)) where
   deepSplitPorts = Port
-  deepUnsplitPorts (Port x) = x
+  deepUnsplitPorts = unPort
   deepSplitPortNames _ base = Cons base Nil
 
 instance DeepSplitPorts (Int n) (Port (Int n)) where
   deepSplitPorts = Port
-  deepUnsplitPorts (Port x) = x
+  deepUnsplitPorts = unPort
   deepSplitPortNames _ base = Cons base Nil
 
 instance DeepSplitPorts () () where