t0yv0

open System.Net.Sockets

type A = System.Net.Sockets.SocketAsyncEventArgs
type B = System.ArraySegment<byte>

exception SocketIssue of SocketError with
    override this.ToString() =
        string this.Data0

/// Wraps the Socket.xxxAsync logic into F# async logic.

t0yv0

module Serialization.Binary

exception EncodingError

exception NoEncoding of System.Type with
    override this.ToString() =
        sprintf "Failed to derive a binary encoding for type: %O" this.Data0

type E = (string -> int) -> System.IO.BinaryWriter -> obj -> unit
type D = (int -> string) -> System.IO.BinaryReader -> obj

t0yv0

/*

Add an option to ProgramTest framework to allow testing a Pulumi program against mock providers that
replay conversations from a previous run. Think of this as a useful way to test that P->P' program updates behave
identically in a quick-and-easy way.

- Unlike vanilla ProgramTest, on a warm cache the test does not touch the cloud.

- Unlike testing with mocks, there is no need to write mocks. Just record a successful run of the program.

t0yv0

*.pyc
venv/
rsa
rsa.pub

t0yv0

precompiled

t0yv0

I0930 16:39:26.624970    6791 backend.go:461] found username for access token
I0930 16:39:27.051280    6791 util.go:557] errors detecting git metadata: 1 error occurred:
	* detecting Git remote URL: could not read origin information: remote not found

I0930 16:39:27.052175    6791 backend.go:461] found username for access token
I0930 16:39:27.163292    6791 ignore.go:44] Explicitly ignoring and discarding error: could not read origin information: remote not found
I0930 16:39:27.274070    6791 backend.go:461] found username for access token
I0930 16:39:27.273620    6791 backend.go:1018] Stack dev being updated to version 103
I0930 16:39:27.491770    6791 update.go:190] *** Starting Update(preview=true) ***
I0930 16:39:27.491985    6791 plugins.go:120] gatherPluginsFromProgram(): gathering plugins from language host

t0yv0

/*

To reliably hit the race NullPointerException with Pulumi, modify Pulumi.Core Resource.cs constructor to introduce a delay:

            + System.Threading.Thread.Sleep(100);
            + System.Console.WriteLine($"Delaying resource: {name}");

            Deployment.InternalInstance.ReadOrRegisterResource(this, remote, urn => new DependencyResource(urn), args, options);

*/

t0yv0

Require Import String.

Definition Parser (a : Type) :=
  string -> option (a * string).

Definition Return {a} (x: a) : Parser a :=
  fun s => Some (x, s).

Definition Bind {a b} (x: Parser a) (f: a -> Parser b) : Parser b :=
  fun s =>

t0yv0

TBD

t0yv0

Require Import Utf8.

Inductive subtype (a b : Set) : Set :=
| ST : (a -> b) -> subtype a b.

Infix ":>" := subtype (at level 50).

Definition st {x y} f := ST x y f.

Definition unpack {a b : Set} (st : a :> b) :=