use Charms.Intrinsic

beaver-lodge · Oct 6, 2024 · e7c0521 · e7c0521
1 parent 290f88d
commit e7c0521
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/lib/charms/env.ex b/lib/charms/env.ex
@@ -1,6 +1,7 @@
 defmodule Charms.Env do
-  use Beaver
+  use Charms.Intrinsic
 
+  @impl true
   def handle_intrinsic(:t, [], opts) do
     Beaver.ENIF.Type.env(opts)
   end

diff --git a/lib/charms/prelude.ex b/lib/charms/prelude.ex
@@ -1,5 +1,5 @@
 defmodule Charms.Prelude do
-  use Beaver
+  use Charms.Intrinsic
   alias Beaver.MLIR.Dialect.{Arith, Func}
   @enif_functions Beaver.ENIF.functions()
   @binary_ops [:!=, :-, :+, :<, :>, :<=, :>=, :==, :&&, :*]
@@ -31,6 +31,7 @@ defmodule Charms.Prelude do
     v
   end
 
+  @impl true
   def handle_intrinsic(:result_at, [%MLIR.Value{} = v, i], _opts) when is_integer(i) do
     v
   end

diff --git a/lib/charms/term.ex b/lib/charms/term.ex
@@ -1,6 +1,7 @@
 defmodule Charms.Term do
-  use Beaver
+  use Charms.Intrinsic
 
+  @impl true
   def handle_intrinsic(:t, [], opts) do
     Beaver.ENIF.Type.term(opts)
   end