[ refactor ] export signal to code conversions

idris-lang · Aug 18, 2024 · bf1c245 · bf1c245
1 parent 2482ebb
commit bf1c245
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/libs/base/System/Signal.idr b/libs/base/System/Signal.idr
@@ -105,6 +105,7 @@ Eq Signal where
   SigPosix x == SigPosix y = x == y
   _ == _ = False
 
+export
 signalCode : Signal -> Int
 signalCode SigINT   = prim__sigint
 signalCode SigABRT  = prim__sigabrt
@@ -117,6 +118,7 @@ signalCode (SigPosix SigTRAP ) = prim__sigtrap
 signalCode (SigPosix SigUser1) = prim__sigusr1
 signalCode (SigPosix SigUser2) = prim__sigusr2
 
+export
 toSignal : Int -> Maybe Signal
 toSignal (-1) = Nothing
 toSignal x    = lookup x codes