
GHC       = ghc
GHC_FLAGS = -package std -package lang -i:/users/cs/fidel/Work/Hugs/MyLib98 -prof -auto-all

.PHONY: depend clean
.SUFFIXES: .o .hs .hi

.o.hi:
	@:
	
.hs.o:
	$(GHC) -c $< $(GHC_FLAGS)

SRCS =  /users/cs/fidel/Work/Hugs/MyLib98/AVL.hs            \
	/users/cs/fidel/Work/Hugs/MyLib98/FMap.hs           \
	/users/cs/fidel/Work/Hugs/MyLib98/Table.hs          \
	/users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hs      \
	/users/cs/fidel/Work/Hugs/MyLib98/BasicParser.hs    \
	/users/cs/fidel/Work/Hugs/MyLib98/Position.hs       \
	/users/cs/fidel/Work/Hugs/MyLib98/Lexer.hs          \
	/users/cs/fidel/Work/Hugs/MyLib98/Parser.hs         \
	/users/cs/fidel/Work/Hugs/MyLib98/PrettyPrinter.hs  \
	/users/cs/fidel/Work/Hugs/MyLib98/Error.hs          \
	/users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hs      \
	MetaVbles.hs               \
	BasicData.hs               \
	SourceLang.hs              \
	SourceLangParse.hs         \
	SourceLangPrint.hs         \
	SourceDataManagement.hs    \
	SourceTypeCheckMonad.hs    \
	SourceUnification.hs       \
	SourceTypeCheck.hs         \
	ResidualLang.hs            \
	ResidualLangPrint.hs       \
	ResidualReduction.hs       \
	ResidualDataManagement.hs  \
	SpecState.hs               \
	SpecMonad.hs               \
	ResidualGeneralizable.hs   \
	ResidualLangFVs.hs         \
	SpecAuxRels.hs             \
	ResidualUnification.hs     \
	PredsSimplify.hs           \
	SolvingFailure.hs          \
	SolvingFunS.hs             \
	SolvingMG.hs               \
	PredsSolving.hs            \
	Spec.hs                    \
	Main.hs 

OBJS = $(SRCS:.hs=.o)

main: $(OBJS)
	@rm -f $@
	$(GHC) -o $@ $(GHC_FLAGS) $(OBJS)
	@strip $@

depend:
	ghc -M $(GHC_FLAGS) $(SRCS)

clean:
	@rm -f *.o *.hi *.hi-boot
# DO NOT DELETE: Beginning of Haskell dependencies
/users/cs/fidel/Work/Hugs/MyLib98/AVL.o : /users/cs/fidel/Work/Hugs/MyLib98/AVL.hs
/users/cs/fidel/Work/Hugs/MyLib98/FMap.o : /users/cs/fidel/Work/Hugs/MyLib98/FMap.hs
/users/cs/fidel/Work/Hugs/MyLib98/FMap.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
/users/cs/fidel/Work/Hugs/MyLib98/Table.o : /users/cs/fidel/Work/Hugs/MyLib98/Table.hs
/users/cs/fidel/Work/Hugs/MyLib98/Table.o : /users/cs/fidel/Work/Hugs/MyLib98/PrettyPrinter.hi
/users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hs
/users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
/users/cs/fidel/Work/Hugs/MyLib98/BasicParser.o : /users/cs/fidel/Work/Hugs/MyLib98/BasicParser.hs
/users/cs/fidel/Work/Hugs/MyLib98/BasicParser.o : /users/cs/fidel/Work/Hugs/MyLib98/Position.hi
/users/cs/fidel/Work/Hugs/MyLib98/BasicParser.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
/users/cs/fidel/Work/Hugs/MyLib98/BasicParser.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
/users/cs/fidel/Work/Hugs/MyLib98/Position.o : /users/cs/fidel/Work/Hugs/MyLib98/Position.hs
/users/cs/fidel/Work/Hugs/MyLib98/Lexer.o : /users/cs/fidel/Work/Hugs/MyLib98/Lexer.hs
/users/cs/fidel/Work/Hugs/MyLib98/Lexer.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
/users/cs/fidel/Work/Hugs/MyLib98/Lexer.o : /users/cs/fidel/Work/Hugs/MyLib98/BasicParser.hi
/users/cs/fidel/Work/Hugs/MyLib98/Lexer.o : /users/cs/fidel/Work/Hugs/MyLib98/Position.hi
/users/cs/fidel/Work/Hugs/MyLib98/Parser.o : /users/cs/fidel/Work/Hugs/MyLib98/Parser.hs
/users/cs/fidel/Work/Hugs/MyLib98/Parser.o : /users/cs/fidel/Work/Hugs/MyLib98/Position.hi
/users/cs/fidel/Work/Hugs/MyLib98/Parser.o : /users/cs/fidel/Work/Hugs/MyLib98/Lexer.hi
/users/cs/fidel/Work/Hugs/MyLib98/Parser.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
/users/cs/fidel/Work/Hugs/MyLib98/Parser.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
/users/cs/fidel/Work/Hugs/MyLib98/Parser.o : /users/cs/fidel/Work/Hugs/MyLib98/BasicParser.hi
/users/cs/fidel/Work/Hugs/MyLib98/PrettyPrinter.o : /users/cs/fidel/Work/Hugs/MyLib98/PrettyPrinter.hs
/users/cs/fidel/Work/Hugs/MyLib98/PrettyPrinter.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
/users/cs/fidel/Work/Hugs/MyLib98/Error.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hs
/users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hs
MetaVbles.o : MetaVbles.hs
MetaVbles.o : /users/cs/fidel/Work/Hugs/MyLib98/Table.hi
MetaVbles.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
BasicData.o : BasicData.hs
SourceLang.o : SourceLang.hs
SourceLang.o : ./BasicData.hi
SourceLangParse.o : SourceLangParse.hs
SourceLangParse.o : ./BasicData.hi
SourceLangParse.o : ./SourceLang.hi
SourceLangParse.o : /users/cs/fidel/Work/Hugs/MyLib98/Parser.hi
SourceLangPrint.o : SourceLangPrint.hs
SourceLangPrint.o : ./BasicData.hi
SourceLangPrint.o : ./SourceLang.hi
SourceLangPrint.o : /users/cs/fidel/Work/Hugs/MyLib98/PrettyPrinter.hi
SourceLangPrint.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
SourceDataManagement.o : SourceDataManagement.hs
SourceDataManagement.o : ./SourceLang.hi
SourceDataManagement.o : ./BasicData.hi
SourceDataManagement.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
SourceTypeCheckMonad.o : SourceTypeCheckMonad.hs
SourceTypeCheckMonad.o : ./BasicData.hi
SourceTypeCheckMonad.o : ./SourceDataManagement.hi
SourceTypeCheckMonad.o : ./SourceLangPrint.hi
SourceTypeCheckMonad.o : ./SourceLang.hi
SourceTypeCheckMonad.o : ./MetaVbles.hi
SourceTypeCheckMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
SourceTypeCheckMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/AVL.hi
SourceTypeCheckMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/Table.hi
SourceTypeCheckMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/FMap.hi
SourceTypeCheckMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
SourceTypeCheckMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
SourceUnification.o : SourceUnification.hs
SourceUnification.o : ./SourceTypeCheckMonad.hi
SourceUnification.o : ./SourceLangPrint.hi
SourceUnification.o : ./SourceLang.hi
SourceTypeCheck.o : SourceTypeCheck.hs
SourceTypeCheck.o : ./SourceDataManagement.hi
SourceTypeCheck.o : ./SourceUnification.hi
SourceTypeCheck.o : ./SourceTypeCheckMonad.hi
SourceTypeCheck.o : ./SourceLangPrint.hi
SourceTypeCheck.o : ./SourceLang.hi
SourceTypeCheck.o : ./BasicData.hi
SourceTypeCheck.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
SourceTypeCheck.o : /users/cs/fidel/Work/Hugs/MyLib98/AVL.hi
SourceTypeCheck.o : /users/cs/fidel/Work/Hugs/MyLib98/Table.hi
SourceTypeCheck.o : /users/cs/fidel/Work/Hugs/MyLib98/FMap.hi
SourceTypeCheck.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
SourceTypeCheck.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
ResidualLang.o : ResidualLang.hs
ResidualLang.o : ./SourceLang.hi
ResidualLang.o : ./BasicData.hi
ResidualLang.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
ResidualLangPrint.o : ResidualLangPrint.hs
ResidualLangPrint.o : ./ResidualLang.hi
ResidualLangPrint.o : ./SourceLangPrint.hi
ResidualLangPrint.o : ./SourceLang.hi
ResidualLangPrint.o : ./BasicData.hi
ResidualLangPrint.o : /users/cs/fidel/Work/Hugs/MyLib98/PrettyPrinter.hi
ResidualLangPrint.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
ResidualReduction.o : ResidualReduction.hs
ResidualReduction.o : ./ResidualLang.hi
ResidualReduction.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
ResidualDataManagement.o : ResidualDataManagement.hs
ResidualDataManagement.o : ./ResidualLang.hi
ResidualDataManagement.o : ./BasicData.hi
ResidualDataManagement.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
SpecState.o : SpecState.hs
SpecState.o : ./ResidualDataManagement.hi
SpecState.o : ./ResidualLang.hi
SpecState.o : ./SourceTypeCheckMonad.hi
SpecState.o : ./MetaVbles.hi
SpecState.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
SpecMonad.o : SpecMonad.hs
SpecMonad.o : ./SpecState.hi
SpecMonad.o : ./MetaVbles.hi
SpecMonad.o : ./ResidualDataManagement.hi
SpecMonad.o : ./ResidualLangPrint.hi
SpecMonad.o : ./ResidualLang.hi
SpecMonad.o : ./SourceTypeCheckMonad.hi
SpecMonad.o : ./SourceLangPrint.hi
SpecMonad.o : ./SourceLang.hi
SpecMonad.o : ./BasicData.hi
SpecMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
SpecMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
SpecMonad.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
ResidualGeneralizable.o : ResidualGeneralizable.hs
ResidualGeneralizable.o : ./SpecMonad.hi
ResidualGeneralizable.o : ./ResidualLang.hi
ResidualGeneralizable.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
ResidualGeneralizable.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
ResidualLangFVs.o : ResidualLangFVs.hs
ResidualLangFVs.o : ./ResidualGeneralizable.hi
ResidualLangFVs.o : ./SpecMonad.hi
ResidualLangFVs.o : ./ResidualLang.hi
ResidualLangFVs.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
SpecAuxRels.o : SpecAuxRels.hs
SpecAuxRels.o : ./ResidualLangFVs.hi
SpecAuxRels.o : ./ResidualUnification.hi
SpecAuxRels.o : ./ResidualGeneralizable.hi
SpecAuxRels.o : ./SpecMonad.hi
SpecAuxRels.o : ./ResidualLang.hi
SpecAuxRels.o : ./SourceLang.hi
SpecAuxRels.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
SpecAuxRels.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
ResidualUnification.o : ResidualUnification.hs
ResidualUnification.o : ./ResidualLangFVs.hi
ResidualUnification.o : ./SpecMonad.hi
ResidualUnification.o : ./SpecState.hi
ResidualUnification.o : ./ResidualReduction.hi
ResidualUnification.o : ./ResidualLangPrint.hi
ResidualUnification.o : ./ResidualLang.hi
ResidualUnification.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
PredsSimplify.o : PredsSimplify.hs
PredsSimplify.o : ./SpecAuxRels.hi
PredsSimplify.o : ./ResidualLangFVs.hi
PredsSimplify.o : ./ResidualGeneralizable.hi
PredsSimplify.o : ./ResidualUnification.hi
PredsSimplify.o : ./ResidualReduction.hi
PredsSimplify.o : ./SpecMonad.hi
PredsSimplify.o : ./SpecState.hi
PredsSimplify.o : ./ResidualLangPrint.hi
PredsSimplify.o : ./ResidualLang.hi
PredsSimplify.o : ./SourceUnification.hi
PredsSimplify.o : ./SourceTypeCheckMonad.hi
PredsSimplify.o : ./SourceLang.hi
PredsSimplify.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
PredsSimplify.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
SolvingFailure.o : SolvingFailure.hs
SolvingFailure.o : ./SpecMonad.hi
SolvingFailure.o : ./ResidualLangPrint.hi
SolvingFailure.o : ./ResidualLang.hi
SolvingFunS.o : SolvingFunS.hs
SolvingFunS.o : ./SolvingFailure.hi
SolvingFunS.o : ./PredsSimplify.hi
SolvingFunS.o : ./ResidualUnification.hi
SolvingFunS.o : ./ResidualReduction.hi
SolvingFunS.o : ./SpecMonad.hi
SolvingFunS.o : ./SpecState.hi
SolvingFunS.o : ./ResidualLang.hi
SolvingFunS.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
SolvingFunS.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
SolvingMG.o : SolvingMG.hs
SolvingMG.o : ./SolvingFailure.hi
SolvingMG.o : ./PredsSimplify.hi
SolvingMG.o : ./SpecMonad.hi
SolvingMG.o : ./SpecState.hi
SolvingMG.o : ./ResidualLangPrint.hi
SolvingMG.o : ./ResidualLang.hi
SolvingMG.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
SolvingMG.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
PredsSolving.o : PredsSolving.hs
PredsSolving.o : ./SolvingMG.hi
PredsSolving.o : ./SolvingFunS.hi
PredsSolving.o : ./SolvingFailure.hi
PredsSolving.o : ./PredsSimplify.hi
PredsSolving.o : ./ResidualReduction.hi
PredsSolving.o : ./ResidualLangFVs.hi
PredsSolving.o : ./SpecMonad.hi
PredsSolving.o : ./ResidualLang.hi
PredsSolving.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
Spec.o : Spec.hs
Spec.o : ./ResidualLangFVs.hi
Spec.o : ./ResidualUnification.hi
Spec.o : ./PredsSolving.hi
Spec.o : ./PredsSimplify.hi
Spec.o : ./SpecAuxRels.hi
Spec.o : ./ResidualReduction.hi
Spec.o : ./SpecMonad.hi
Spec.o : ./SpecState.hi
Spec.o : ./ResidualLangPrint.hi
Spec.o : ./ResidualLang.hi
Spec.o : ./SourceTypeCheckMonad.hi
Spec.o : ./SourceLangPrint.hi
Spec.o : ./SourceLang.hi
Spec.o : ./BasicData.hi
Spec.o : /users/cs/fidel/Work/Hugs/MyLib98/MoreMonad.hi
Spec.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
Spec.o : /users/cs/fidel/Work/Hugs/MyLib98/MyPrelude.hi
Main.o : Main.hs
Main.o : ./PredsSolving.hi
Main.o : ./PredsSimplify.hi
Main.o : ./SpecMonad.hi
Main.o : ./SpecState.hi
Main.o : ./Spec.hi
Main.o : ./ResidualReduction.hi
Main.o : ./ResidualLangPrint.hi
Main.o : ./ResidualLang.hi
Main.o : ./SourceTypeCheck.hi
Main.o : ./SourceLangPrint.hi
Main.o : ./SourceLangParse.hi
Main.o : ./SourceLang.hi
Main.o : /users/cs/fidel/Work/Hugs/MyLib98/Error.hi
# DO NOT DELETE: End of Haskell dependencies
