Fix a TODO (#115)

This commit is contained in:
Patrick Stevens
2025-08-24 20:27:38 +01:00
committed by GitHub
parent f9e186ba8f
commit 91aff34d1e

View File

@@ -72,6 +72,7 @@ module Intrinsics =
| [ field ] -> go field.ContentsEval
| _ -> failwith $"TODO: %O{vt}"
| EvalStackValue.ManagedPointer ManagedPointerSource.Null -> failwith "TODO: throw NRE"
| EvalStackValue.ObjectRef addr
| EvalStackValue.ManagedPointer (ManagedPointerSource.Heap addr) -> Some addr
| s -> failwith $"TODO: called with unrecognised arg %O{s}"