NAME "General"
COMPILED true
TIME 1160775740

IMPORT "Prelude"

OPERATION "coin" 0 0  public :: "Prelude"."Int"
{
 MakeInt 0
 MakeInt 1
 Choice
}

OPERATION "double" 0 1  public :: ->("Prelude"."Int","Prelude"."Int")
{
 Load 0
 Push
 Load 0
 Push
 MakeTerm "+" "Prelude"
 Pop
 Replace
}

OPERATION "fibo" 0 1  public :: ->("Prelude"."Int","Prelude"."Int")
{
 MakeInt 0
 Load 0
 Push
 MakeTerm "==" "Prelude"
 Load 0
 Push
 MakeTerm "#ORCASE_0" "General"
 Pop
 Replace
}

OPERATION "#ORCASE_0" 0 2  private :: ->(3,->(2,0))
{
 Load 1
 Branch
 {
  {
  Residuate
  }
  {
  Fail
  }
  {
  MakeInt 1
  Load 0
  Push
  MakeTerm "==" "Prelude"
  Load 0
  Push
  MakeTerm "#ORCASE_1" "General"
  Pop
  Replace
  }
  {
  MakeInt 0
  Pop
  Replace
  }}
}

OPERATION "#ORCASE_1" 0 2  private :: ->(3,->(2,0))
{
 Load 1
 Branch
 {
  {
  Residuate
  }
  {
  Fail
  }
  {
  MakeInt 2
  Load 0
  Push
  MakeTerm "-" "Prelude"
  MakeTerm "fibo" "General"
  MakeInt 1
  Load 0
  Push
  MakeTerm "-" "Prelude"
  MakeTerm "fibo" "General"
  MakeTerm "+" "Prelude"
  Pop
  Replace
  }
  {
  MakeInt 1
  Pop
  Replace
  }}
}