holoed / juniornative Goto Github PK

const anf_17 = applyClosure(__eqeq, getEnv("eqInt", _env));
const anf_20 = applyClosure(anf_17, getEnv("i", _env));
const anf_18 = applyClosure(fromInteger, getEnv("numInt", _env));
const anf_19 = 65;
const anf_21 = applyClosure(anf_18, anf_19);
const anf_22 = applyClosure(anf_20, anf_21);

const anf_19 = 65;
const anf_22 = getEnv("i", _env) == anf_19;

Bug repro
let add (z1, z2) = 
  let (a, b) = z1 in
  let (c, d) = z2 in
  (a + c, b + d)
  
let main = add ((2, 3), (4, 5)) 

 instance Functor Tree where
       fmap f (Leaf      ) = Leaf
       fmap f (Node l a r) = Node (fmap f l) (f a) (fmap f r)

match a with                                                                   
 | S Z -> e1                                    
 | S x  -> e2                
 | Z    -> e3                                                    
                                                        

match a with
| S a1 -> match a1 with
              | Z -> e1
              | a2 -> let x = a2 in e2
| Z -> e3

let fix f x = f (fix f) x

let cata psi f = psi . fmap f . fixOut

let cataRec psi = fix (cata psi)

let example = fixIn (Cons 5 (fixIn Empty))

let main = cataRec productAlg example

data Option a = None | Some a

let foo x = match x with
               | Some x -> x
               | None -> 0

data Option a = None | Some a

let foo x = if (isSome x) then (extractSome x)
            else if (isNone x) then 0
            else undefined