#MoonBit source frontend

pub fn eligible(active : Bool, vip : Bool) -> Bool {
  active && !vip
}

#Cumulative source conformance

#Pinned numeric SDK calls

#SDK Integer and binary64 conversions

#String ordering

#Pinned String predicates

#Supported source

• Exactly one ordinary top-level function, with default or plain pub visibility. Every positional named parameter and the return type must explicitly use unqualified Bool. Zero parameters are allowed.
• Explicit priv fn is rejected, matching the pinned compiler. Plain fn is unexported; pub fn is exported.
• Boolean literals, parameter references, grouping, explicit Bool constraints, if with else, !, &&, ||, == and !=.
• Comments and whitespace accepted by the pinned parser.

#Typed libraries

pub fn eligible(active : Bool, vip : Bool, suspended : Bool) -> Bool {
  let allowed : Bool = ready(active, vip)
  allowed && !suspended
}

pub fn default_ready() -> Bool { ready(true, false) }

fn ready(active : Bool, vip : Bool) -> Bool { active || vip }

#Strings and scalar types

fn prefix() -> String { "Hello, " }
pub fn greet(name : String) -> String {
  let greeting : String = prefix()
  greeting + name
}
pub fn welcome(name : String, enabled : Bool) -> String {
  if enabled { greet(name) } else { "" }
}

#Function documentation

#Readable names and automatic recovery

#Diagnostics and bounds

#Observations

#Pins and acceptance

moon test -p finos/morphir-moonbit-frontend --target all

#Checked Decimal source calls

pub fn amount(text : String) -> @decimal.Decimal raise @decimal.DecimalError {
  let value = @decimal.from_string_exact(text)
  @decimal.divide(@decimal.mul(value, value), value)
}