Skip to content

Instantly share code, notes, and snippets.

@palladin
Created May 22, 2019 12:21
Show Gist options
  • Save palladin/6b312c1d650b0f1cefd549b3f9ec5d15 to your computer and use it in GitHub Desktop.
Save palladin/6b312c1d650b0f1cefd549b3f9ec5d15 to your computer and use it in GitHub Desktop.
Example3 output
let f (x0 : int[]) (x1 : int[]) =
let x2 = ref 0
let x3 = ref true
let x4 = ref false
let x5 = ref 0
let x6 = ref 0
let x7 = ref true
let x8 = ref true
let x9 = ref 0
let x10 = ref 0
let x11 = ref 0
let x12 = ref true
let x13 = ref true
let x14 = ref 0
let x15 = ref 0
let x16 = ref 0
while ( !x8 && !x13 ) do
if !x3 then
if !x7 then
if not ( !x10 < x0.Length ) then
x8 := false
else
let x17 = x0.[!x10]
x9 := x17;
x7 := false;
x10 := ( !x10 + 1 );
else
if ( !x11 < x0.Length ) then
let x17 = x0.[!x11]
let x18 = x17
if ( !x9 = x18 ) then
x5 := x18;
x3 := false;
x4 := true;
else ()
x11 := ( !x11 + 1 );
else
x11 := 0;
x7 := true;
if !x4 then
if !x12 then
if not (( !x15 < x1.Length ) ) then
x13 := false
else
let x17 = x1.[!x15]
x14 := x17;
x12 := false;
x15 := ( !x15 + 1 );
else
if ( !x16 < x1.Length ) then
let x17 = x1.[!x16]
let x18 = x17
if ( !x14 = x18 ) then
x6 := x18;
x4 := false;
else ()
x16 := ( !x16 + 1 )
else
x16 := 0;
x12 := true
if ( not (!x3 ) && not (!x4 ) ) then
x2 := ( ( !x5 * !x6 ) + !x2 );
x3 := true
!x2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment