rename/RnMonad_HC_OPTS = -O2 -O2-for-C
endif
-utils/StringBuffer_HC_OPTS = -fvia-C -fno-prune-tydecls
utils/Digraph_HC_OPTS = -fglasgow-exts
ifeq "$(bootstrapped)" "YES"
returnDs (mkIfThenElse expr2 rest
(App (App fail_id (Type b_ty)) core_msg))
- go (LetStmt binds : stmts )
+ go (LetStmt binds : stmts)
= go stmts `thenDs` \ rest ->
dsLet binds rest
-- OK, we're ready to typecheck the stmts
traceTc (text "tcs 2") ;
((ids, tc_stmts), lie) <-
- getLIE $
- tcStmtsAndThen combine stmt_ctxt stmts $
+ getLIE $
+ tcStmtsAndThen combine stmt_ctxt all_stmts $
do {
-- Look up the names right in the middle,
-- where they will all be in scope
-- This is the making of a TyCon. Just the same as the old mkAlgTyCon,
-- but now you also have to pass in the generic information about the type
-- constructor - you can get hold of it easily (see Generics module)
-mkAlgTyCon name kind tyvars theta argvrcs cons sels flavour rec
+mkAlgTyCon name kind tyvars theta argvrcs cons sels flavour is_rec
gen_info
= AlgTyCon {
tyConName = name,
selIds = sels,
algTyConClass = Nothing,
algTyConFlavour = flavour,
- algTyConRec = rec,
+ algTyConRec = is_rec,
genInfo = gen_info
}
-mkClassTyCon name kind tyvars argvrcs con clas flavour rec
+mkClassTyCon name kind tyvars argvrcs con clas flavour is_rec
= AlgTyCon {
tyConName = name,
tyConUnique = nameUnique name,
selIds = [],
algTyConClass = Just clas,
algTyConFlavour = flavour,
- algTyConRec = rec,
+ algTyConRec = is_rec,
genInfo = Nothing
}