tytime

kadena-io · Oct 17, 2023 · 0fd5253 · 0fd5253
1 parent a7eea4a
commit 0fd5253
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/pact-core/Pact/Core/PactValue.hs b/pact-core/Pact/Core/PactValue.hs
@@ -115,7 +115,7 @@ checkPvType ty = \case
     _ -> Nothing
   PCapToken _ -> Nothing
   PTime _ -> case ty of
-    TyPrim PrimTime -> Just $ TyPrim PrimTime
+    TyTime -> Just $ TyTime
     _ -> Nothing
 
 

diff --git a/pact-core/Pact/Core/Type.hs b/pact-core/Pact/Core/Type.hs
@@ -13,7 +13,7 @@ module Pact.Core.Type
 --  , TypeScheme(..)
  , pattern TyInt
  , pattern TyDecimal
---  , pattern TyTime
+ , pattern TyTime
  , pattern TyBool
  , pattern TyString
  , pattern TyUnit
@@ -60,7 +60,6 @@ instance Pretty PrimType where
   pretty = \case
     PrimInt -> "integer"
     PrimDecimal -> "decimal"
-    -- PrimTime -> "time"
     PrimBool -> "bool"
     PrimString -> "string"
     PrimGuard -> "guard"
@@ -103,8 +102,8 @@ pattern TyInt = TyPrim PrimInt
 pattern TyDecimal :: Type
 pattern TyDecimal = TyPrim PrimDecimal
 
--- pattern TyTime :: Type n
--- pattern TyTime = TyPrim PrimTime
+pattern TyTime :: Type
+pattern TyTime = TyPrim PrimTime
 
 pattern TyBool :: Type
 pattern TyBool = TyPrim PrimBool