[WIP] PyO3 walking skeleton for Python

src/Fable.Transforms/Python/Fable2Python.fs

@@ -438,14 +438,14 @@ module Reflection =
         | Fable.String -> pyTypeof "<class 'str'>" expr
         | Fable.Number(kind, _b) ->
             match kind, typ with
-            | _, Fable.Type.Number(UInt8, _) -> pyTypeof "<fable_modules.fable_library.types.uint8'>>" expr
-            | _, Fable.Type.Number(Int8, _) -> pyTypeof "<class 'fable_modules.fable_library.types.int8'>" expr
-            | _, Fable.Type.Number(Int16, _) -> pyTypeof "<class 'fable_modules.fable_library.types.int16'>" expr
-            | _, Fable.Type.Number(UInt16, _) -> pyTypeof "<class 'fable_modules.fable_library.types.uint16'>" expr
+            | _, Fable.Type.Number(UInt8, _) -> pyTypeof "<class fable.UInt8'>>" expr
+            | _, Fable.Type.Number(Int8, _) -> pyTypeof "<class 'fableInt8'>" expr
+            | _, Fable.Type.Number(Int16, _) -> pyTypeof "<class 'fable.Int16'>" expr
+            | _, Fable.Type.Number(UInt16, _) -> pyTypeof "<class 'fable.UInt16'>" expr
             | _, Fable.Type.Number(Int32, _) -> pyTypeof "<class 'int'>" expr
-            | _, Fable.Type.Number(UInt32, _) -> pyTypeof "<class 'fable_modules.fable_library.types.uint32>" expr
-            | _, Fable.Type.Number(Int64, _) -> pyTypeof "<class 'fable_modules.fable_library.types.int64'>" expr
-            | _, Fable.Type.Number(UInt64, _) -> pyTypeof "<class 'fable_modules.fable_library.types.uint32'>" expr
+            | _, Fable.Type.Number(UInt32, _) -> pyTypeof "<class 'fable.UInt32>" expr
+            | _, Fable.Type.Number(Int64, _) -> pyTypeof "<class 'fable.Int64'>" expr
+            | _, Fable.Type.Number(UInt64, _) -> pyTypeof "<class 'fable.UInt36'>" expr
             | _, Fable.Type.Number(Float32, _) -> pyTypeof "<class 'fable_modules.fable_library.types.float32'>" expr
             | _, Fable.Type.Number(Float64, _) -> pyTypeof "<class 'float'>" expr
             | _ -> pyTypeof "<class 'int'>" expr

src/fable-library-py/fable_library/core/__init__.py

@@ -1,18 +1,17 @@
 from typing import TypeAlias
 
-# from ._core import Int64 as int64
 from ._core import (
     Int8,
     Int16,
     Int32,
+    Int64,
     UInt8,
     UInt16,
     UInt32,
+    UInt64,
 )
 
 
-# from ._core import UInt64 as uint64
-
 # Type aliases for the built-in types
 byte: TypeAlias = UInt8
 sbyte: TypeAlias = Int8
@@ -22,6 +21,8 @@
 uint16: TypeAlias = UInt16
 int32: TypeAlias = Int32
 uint32: TypeAlias = UInt32
+int64: TypeAlias = Int64
+uint64: TypeAlias = UInt64
 
 __all__ = [
     "sbyte",
@@ -38,4 +39,8 @@
     "UInt16",
     "Int32",
     "UInt32",
+    "Int64",
+    "UInt64",
+    "int64",
+    "uint64",
 ]

src/fable-library-py/fable_library/core/_core.pyi

@@ -30,6 +30,7 @@ class Numeric:
     def __radd__(self, other: Any) -> Any: ...
     def __rsub__(self, other: Any) -> Any: ...
     def __rmul__(self, other: Any) -> Any: ...
+    def __abs__(self) -> Self: ...
 
 @final
 class UInt8(Numeric): ...
@@ -48,3 +49,9 @@ class UInt32(Numeric): ...
 
 @final
 class Int32(Numeric): ...
+
+@final
+class UInt64(Numeric): ...
+
+@final
+class Int64(Numeric): ...

src/fable-library-py/fable_library/types.py

@@ -11,7 +11,7 @@
     cast,
 )
 
-from .core import byte, int16, int32, sbyte, uint16, uint32
+from .core import byte, int16, int32, int64, sbyte, uint16, uint32, uint64
 from .util import Array, IComparable, compare
 
 
@@ -274,7 +274,7 @@ def __lt__(self, other: Any) -> bool:
             else:
                 return True
 
-        return super().__lt__(other)
+        return False
 
     def __hash__(self) -> int:
         return hash(self.Data0)
@@ -293,14 +293,6 @@ class char(int):
     __slots__ = ()
 
 
-class int64(int):
-    __slots__ = ()
-
-
-class uint64(int):
-    __slots__ = ()
-
-
 class float32(float):
     __slots__ = ()
 

src/fable-library-py/src/lib.rs

@@ -20,7 +20,7 @@ fn _core(_py: Python, m: &Bound<'_, PyModule>) -> PyResult<()> {
     m.add_class::<UInt16>()?;
     m.add_class::<Int32>()?;
     m.add_class::<UInt32>()?;
-    //m.add_class::<Int64>()?;
-    //m.add_class::<UInt64>()?;
+    m.add_class::<Int64>()?;
+    m.add_class::<UInt64>()?;
     Ok(())
 }