songpp

#!/usr/bin/env perl
# Remember `chmod a+x hslint, after putting on path.
    
$ghc = '/usr/bin/ghc';    # where is ghc
    
@ghc_options  = ('-Wall');      # e.g. ('-fglasgow-exts')
@ghc_packages = ();             # e.g. ('QuickCheck')
    
### the following should not been edited ###
    

songpp

// scala 2.7 simple type constraint. This can only constrain a type parameter of this function.
// Below, in ListW.sumint28, we can't use this approach because we want to constrain T, 
// a type param of the enclosing trait.
def sumint27A[T <: Int](l: List[T]) : Int = l.reduceLeft((a: Int, b: Int) => a + b)

trait IntLike[X] extends (X => Int)
object IntLike {
  implicit val intIntLike: IntLike[Int] = new IntLike[Int] { def apply(x: Int) = identity(x) }
}

songpp

#include <stdio.h>
#include <stdlib.h>
#include <assert.h>

typedef unsigned int u32;
typedef unsigned long long u64;

//-------------------------------------------------------------------------
// WorkArea
//-------------------------------------------------------------------------