"infer" Environment: Results: lookupEnv emptyEnv ? ==> ! lookup lookupEnv emptyEnv ? ==> ! lookup lookupEnv (makeEnv ([])) ? ==> ! lookup lookupEnv emptyEnv ? ==> ! lookup lookupEnv (makeEnv ([])) ? ==> ! lookup lookupEnv emptyEnv ? ==> ! lookup lookupEnv (makeEnv ([])) ? ==> ! lookup lookupEnv (makeEnv (: ((,) (: ? ?1) ?2) ([]))) ([]) ==> ! lookup lookupEnv (makeEnv (: ((,) ([]) ?) ([]))) (: ?1 ?2) ==> ! lookup lookupEnv (extendLocal emptyEnv (: ? ?1) ?2) ([]) ==> ! lookup lookupEnv (extendLocal emptyEnv ([]) ?) (: ?1 ?2) ==> ! lookup lookupEnv (extendGlobal emptyEnv (: ? ?1) ?2) ([]) ==> ! lookup lookupEnv (extendGlobal emptyEnv ([]) ?) (: ?1 ?2) ==> ! lookup FiniteMap: Results: lookupFM ? (emptyFM) ?1 ==> ! lookup lookupFM ? (emptyFM) ?1 ==> ! lookup lookupFM ? (makeFM ([])) ?1 ==> ! lookup Infer: Results: InferMonad: Results: useI ? (freshesI -1) ==> ! useI ? (eachI (freshesI -1) ?1) ==> ! Main: Results: MaybeM: Results: theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM theM (Nothing) ==> ! MaybeM.hs:25:0-26: Non-exhaustive patterns in function theM MyList: Results: Parse: Results: Shows: Results: State: Results: StateX: Results: Substitution: Results: Term: Results: Type: Results: Writing: Environment.hs.html Writing: FiniteMap.hs.html Writing: Infer.hs.html Writing: InferMonad.hs.html Writing: Main.hs.html Writing: MaybeM.hs.html Writing: MyList.hs.html Writing: Parse.hs.html Writing: Shows.hs.html Writing: State.hs.html Writing: StateX.hs.html Writing: Substitution.hs.html Writing: Term.hs.html Writing: Type.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html ["Environment.hs","FiniteMap.hs","Infer.hs","InferMonad.hs","Main.hs","MaybeM.hs","MyList.hs","Parse.hs","Shows.hs","State.hs","StateX.hs","Substitution.hs","Term.hs","Type.hs"]