Specify underlying types of opaque types

propensive · Jan 19, 2024 · 5b8be3e · 5b8be3e
1 parent a6bbc97
commit 5b8be3e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/fury b/fury
@@ -12,7 +12,7 @@ project aviation
   module core
     compiler  scala
     sources   src/core
-    include   eucalyptus/core cardinality/core kaleidoscope/core quantitative/core hypotenuse/core
+    include   eucalyptus/core cardinality/core kaleidoscope/core quantitative/core hypotenuse/core anticipation/opaque
 
   module test
     compiler  scala

diff --git a/src/core/time.scala b/src/core/time.scala
@@ -66,6 +66,7 @@ object Dates:
   opaque type Date = Int
 
   object Date:
+    erased given underlying: Underlying[Date, Int] = ###
     def of(day: Int): Date = day
 
     def apply
@@ -201,12 +202,14 @@ object Timing:
   opaque type TaiInstant = Long
 
   object TaiInstant:
+    erased given underlying: Underlying[TaiInstant, Long] = ###
     given generic: GenericInstant[Timing.TaiInstant] with
       def instant(millisecondsSinceEpoch: Long): Timing.TaiInstant = millisecondsSinceEpoch
       def millisecondsSinceEpoch(instant: Timing.TaiInstant): Long = instant
 
 
   object Instant:
+    erased given underlying: Underlying[Instant, Long] = ###
     def of(millis: Long): Instant = millis
 
     given generic: GenericInstant[Timing.Instant] with