Type-annotate a field (#57)

This commit is contained in:
Patrick Stevens
2025-06-19 00:43:38 +01:00
committed by GitHub
parent 53929192f4
commit 71b12b5684

View File

@@ -11,7 +11,7 @@ type ThreadState =
ActiveAssembly : AssemblyName
}
member this.MethodState = this.MethodStates.[this.ActiveMethodState]
member this.MethodState : MethodState = this.MethodStates.[this.ActiveMethodState]
static member New (activeAssy : AssemblyName) (methodState : MethodState) =
{