Prog "CASS.Dependencies" ["Analysis.Files","Analysis.Logging","Analysis.Types","CASS.Configuration","Directory","List","Maybe","Prelude","ReadShowTerm","Time","FlatCurry.Types","FlatCurry.Goodies","Analysis.ProgInfo"] [] [Func ("CASS.Dependencies","getModulesToAnalyze") 3 Public (FuncType (TCons ("Prelude","Bool") []) (FuncType (TCons ("Analysis.Types","Analysis") [TVar 0]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]])))) (Rule [1,2,3] (Let [(4,Comb FuncCall ("Analysis.Types","analysisName") [Var 2])] (Case Rigid (Comb FuncCall ("Analysis.Types","isSimpleAnalysis") [Var 2]) [Branch (Pattern ("Prelude","True") []) (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("CASS.Dependencies","isAnalysisFileNewer") [Var 4,Var 3],Comb (FuncPartCall 1) ("CASS.Dependencies","getModulesToAnalyze._#lambda2") [Var 1,Var 3]]),Branch (Pattern ("Prelude","False") []) (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("CASS.Dependencies","isAnalysisValid") [Var 4,Var 3],Comb (FuncPartCall 1) ("CASS.Dependencies","getModulesToAnalyze._#lambda5") [Var 1,Var 4,Var 3]])]))),Func ("CASS.Dependencies","getModulesToAnalyze._#lambda2") 3 Private (FuncType (TCons ("Prelude","Bool") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","Bool") []) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]])))) (Rule [1,2,3] (Let [(4,Var 3)] (Comb FuncCall ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [Case Rigid (Comb FuncCall ("Prelude","&&") [Var 4,Comb FuncCall ("Prelude","not") [Var 1]]) [Branch (Pattern ("Prelude","True") []) (Comb ConsCall ("Prelude","[]") []),Branch (Pattern ("Prelude","False") []) (Comb ConsCall ("Prelude",":") [Comb ConsCall ("Prelude","(,)") [Var 2,Comb ConsCall ("Prelude","[]") []],Comb ConsCall ("Prelude","[]") []])]]))),Func ("CASS.Dependencies","getModulesToAnalyze._#lambda5") 4 Private (FuncType (TCons ("Prelude","Bool") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","Bool") []) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]]))))) (Rule [1,2,3,4] (Let [(5,Var 4)] (Case Rigid (Comb FuncCall ("Prelude","&&") [Var 5,Comb FuncCall ("Prelude","not") [Var 1]]) [Branch (Pattern ("Prelude","True") []) (Comb FuncCall ("Prelude","_impl#>>#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Analysis.Logging","debugMessage") [Lit (Intc 3),Comb FuncCall ("Prelude","++") [Comb ConsCall ("Prelude",":") [Lit (Charc 'A'),Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc 'a'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'y'),Comb ConsCall ("Prelude",":") [Lit (Charc 's'),Comb ConsCall ("Prelude",":") [Lit (Charc 'i'),Comb ConsCall ("Prelude",":") [Lit (Charc 's'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc 'f'),Comb ConsCall ("Prelude",":") [Lit (Charc 'i'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc 'f'),Comb ConsCall ("Prelude",":") [Lit (Charc 'o'),Comb ConsCall ("Prelude",":") [Lit (Charc 'r'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc '\''),Comb ConsCall ("Prelude","[]") []]]]]]]]]]]]]]]]]]]],Comb FuncCall ("Prelude","++") [Var 3,Comb ConsCall ("Prelude",":") [Lit (Charc '\''),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc 'u'),Comb ConsCall ("Prelude",":") [Lit (Charc 'p'),Comb ConsCall ("Prelude",":") [Lit (Charc '-'),Comb ConsCall ("Prelude",":") [Lit (Charc 't'),Comb ConsCall ("Prelude",":") [Lit (Charc 'o'),Comb ConsCall ("Prelude",":") [Lit (Charc '-'),Comb ConsCall ("Prelude",":") [Lit (Charc 'd'),Comb ConsCall ("Prelude",":") [Lit (Charc 'a'),Comb ConsCall ("Prelude",":") [Lit (Charc 't'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude","[]") []]]]]]]]]]]]]]]],Comb FuncCall ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [Comb ConsCall ("Prelude","[]") []]]),Branch (Pattern ("Prelude","False") []) (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("CASS.Dependencies","getDependencyList") [Comb ConsCall ("Prelude",":") [Var 3,Comb ConsCall ("Prelude","[]") []],Comb ConsCall ("Prelude","[]") []],Comb (FuncPartCall 1) ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12") [Var 1,Var 2,Var 3]])]))),Func ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12") 4 Private (FuncType (TCons ("Prelude","Bool") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]]))))) (Rule [1,2,3,4] (Let [(5,Var 4)] (Comb FuncCall ("Prelude","_impl#>>#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Analysis.Logging","debugMessage") [Lit (Intc 3),Comb FuncCall ("Prelude","++") [Comb ConsCall ("Prelude",":") [Lit (Charc 'C'),Comb ConsCall ("Prelude",":") [Lit (Charc 'o'),Comb ConsCall ("Prelude",":") [Lit (Charc 'm'),Comb ConsCall ("Prelude",":") [Lit (Charc 'p'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc 't'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc 'm'),Comb ConsCall ("Prelude",":") [Lit (Charc 'o'),Comb ConsCall ("Prelude",":") [Lit (Charc 'd'),Comb ConsCall ("Prelude",":") [Lit (Charc 'u'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'i'),Comb ConsCall ("Prelude",":") [Lit (Charc 's'),Comb ConsCall ("Prelude",":") [Lit (Charc 't'),Comb ConsCall ("Prelude",":") [Lit (Charc ':'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude","[]") []]]]]]]]]]]]]]]]]]]]]]],Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","_impl#show#Prelude.Show#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Show#(,)") [Comb FuncCall ("Prelude","_inst#Prelude.Show#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Show#Prelude.Char") []],Comb FuncCall ("Prelude","_inst#Prelude.Show#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Show#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Show#Prelude.Char") []]]]],Var 5]]],Let [(6,Comb FuncCall ("Prelude","map") [Comb (FuncPartCall 1) ("Prelude","fst") [],Var 5])] (Comb FuncCall ("Prelude","_impl#>>#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Analysis.Files","storeImportModuleList") [Var 3,Var 6],Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","mapIO") [Comb (FuncPartCall 1) ("Analysis.Files","getSourceFileTime") []],Var 6],Comb (FuncPartCall 1) ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14") [Var 1,Var 2,Var 6,Var 5]]])]))),Func ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14") 5 Private (FuncType (TCons ("Prelude","Bool") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Time","ClockTime") []]]) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]])))))) (Rule [1,2,3,4,5] (Let [(6,Var 5)] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","mapIO") [Comb (FuncPartCall 1) ("Analysis.Files","getFlatCurryFileTime") []],Var 3],Comb (FuncPartCall 1) ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14._#lambda16") [Var 1,Var 2,Var 3,Var 6,Var 4]]))),Func ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14._#lambda16") 6 Private (FuncType (TCons ("Prelude","Bool") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Time","ClockTime") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]]))))))) (Rule [1,2,3,4,5,6] (Let [(7,Var 6)] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","mapIO") [Comb (FuncPartCall 1) ("CASS.Dependencies","getAnaFileTime") [Var 2]],Var 3],Comb (FuncPartCall 1) ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14._#lambda16._#lambda18") [Var 1,Var 4,Var 5,Var 7]]))),Func ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14._#lambda16._#lambda18") 5 Private (FuncType (TCons ("Prelude","Bool") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Time","ClockTime") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]])))))) (Rule [1,2,3,4,5] (Let [(6,Var 5),(7,Comb FuncCall ("CASS.Dependencies","findModulesToAnalyze") [Var 3,Var 6,Var 2,Var 4,Comb ConsCall ("Prelude","(,)") [Comb ConsCall ("Prelude","[]") [],Comb ConsCall ("Prelude","[]") []]]),(8,Comb FuncCall ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14._#lambda16._#lambda18._#selFP2#modulesToDo") [Var 7]),(9,Comb FuncCall ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14._#lambda16._#lambda18._#selFP3#modulesUpToDate") [Var 7])] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("CASS.Configuration","getWithPrelude") [],Comb (FuncPartCall 1) ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14._#lambda16._#lambda18._#lambda20") [Var 1,Var 9,Var 3,Var 8]]))),Func ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14._#lambda16._#lambda18._#selFP2#modulesToDo") 1 Private (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]) (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]])) (Rule [1] (Case Flex (Var 1) [Branch (Pattern ("Prelude","(,)") [2,3]) (Var 2)])),Func ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14._#lambda16._#lambda18._#selFP3#modulesUpToDate") 1 Private (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]) (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (Rule [1] (Case Flex (Var 1) [Branch (Pattern ("Prelude","(,)") [2,3]) (Var 3)])),Func ("CASS.Dependencies","getModulesToAnalyze._#lambda5._#lambda12._#lambda14._#lambda16._#lambda18._#lambda20") 5 Private (FuncType (TCons ("Prelude","Bool") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]])))))) (Rule [1,2,3,4,5] (Let [(6,Var 5),(7,Case Rigid (Var 1) [Branch (Pattern ("Prelude","True") []) (Var 3),Branch (Pattern ("Prelude","False") []) (Case Rigid (Comb FuncCall ("Prelude","_impl#==#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#Prelude.Char") [],Var 6,Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc 'o'),Comb ConsCall ("Prelude","[]") []]]]) [Branch (Pattern ("Prelude","True") []) (Let [(8,Comb FuncCall ("CASS.Dependencies","reduceDependencies") [Var 4,Comb FuncCall ("Prelude","++") [Var 2,Comb ConsCall ("Prelude",":") [Comb ConsCall ("Prelude",":") [Lit (Charc 'P'),Comb ConsCall ("Prelude",":") [Lit (Charc 'r'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'u'),Comb ConsCall ("Prelude",":") [Lit (Charc 'd'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude","[]") []]]]]]]],Comb ConsCall ("Prelude","[]") []]]])] (Case Rigid (Var 8) [Branch (Pattern ("Prelude",":") [9,10]) (Case Rigid (Var 9) [Branch (Pattern ("Prelude","(,)") [11,12]) (Case Rigid (Var 11) [Branch (Pattern ("Prelude",":") [13,14]) (Case Rigid (Comb FuncCall ("Prelude","_impl#==#Prelude.Eq#Prelude.Char") [Var 13,Lit (Charc 'P')]) [Branch (Pattern ("Prelude","True") []) (Case Rigid (Var 14) [Branch (Pattern ("Prelude",":") [15,16]) (Case Rigid (Comb FuncCall ("Prelude","_impl#==#Prelude.Eq#Prelude.Char") [Var 15,Lit (Charc 'r')]) [Branch (Pattern ("Prelude","True") []) (Case Rigid (Var 16) [Branch (Pattern ("Prelude",":") [17,18]) (Case Rigid (Comb FuncCall ("Prelude","_impl#==#Prelude.Eq#Prelude.Char") [Var 17,Lit (Charc 'e')]) [Branch (Pattern ("Prelude","True") []) (Case Rigid (Var 18) [Branch (Pattern ("Prelude",":") [19,20]) (Case Rigid (Comb FuncCall ("Prelude","_impl#==#Prelude.Eq#Prelude.Char") [Var 19,Lit (Charc 'l')]) [Branch (Pattern ("Prelude","True") []) (Case Rigid (Var 20) [Branch (Pattern ("Prelude",":") [21,22]) (Case Rigid (Comb FuncCall ("Prelude","_impl#==#Prelude.Eq#Prelude.Char") [Var 21,Lit (Charc 'u')]) [Branch (Pattern ("Prelude","True") []) (Case Rigid (Var 22) [Branch (Pattern ("Prelude",":") [23,24]) (Case Rigid (Comb FuncCall ("Prelude","_impl#==#Prelude.Eq#Prelude.Char") [Var 23,Lit (Charc 'd')]) [Branch (Pattern ("Prelude","True") []) (Case Rigid (Var 24) [Branch (Pattern ("Prelude",":") [25,26]) (Case Rigid (Comb FuncCall ("Prelude","_impl#==#Prelude.Eq#Prelude.Char") [Var 25,Lit (Charc 'e')]) [Branch (Pattern ("Prelude","True") []) (Case Rigid (Var 26) [Branch (Pattern ("Prelude","[]") []) (Var 10),Branch (Pattern ("Prelude",":") [27,28]) (Var 8)]),Branch (Pattern ("Prelude","False") []) (Var 8)]),Branch (Pattern ("Prelude","[]") []) (Var 8)]),Branch (Pattern ("Prelude","False") []) (Var 8)]),Branch (Pattern ("Prelude","[]") []) (Var 8)]),Branch (Pattern ("Prelude","False") []) (Var 8)]),Branch (Pattern ("Prelude","[]") []) (Var 8)]),Branch (Pattern ("Prelude","False") []) (Var 8)]),Branch (Pattern ("Prelude","[]") []) (Var 8)]),Branch (Pattern ("Prelude","False") []) (Var 8)]),Branch (Pattern ("Prelude","[]") []) (Var 8)]),Branch (Pattern ("Prelude","False") []) (Var 8)]),Branch (Pattern ("Prelude","[]") []) (Var 8)]),Branch (Pattern ("Prelude","False") []) (Var 8)]),Branch (Pattern ("Prelude","[]") []) (Var 8)])]),Branch (Pattern ("Prelude","[]") []) (Var 8)])),Branch (Pattern ("Prelude","False") []) (Comb FuncCall ("CASS.Dependencies","reduceDependencies") [Var 4,Var 2])])])] (Comb FuncCall ("Prelude","_impl#>>#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Analysis.Logging","debugMessage") [Lit (Intc 3),Comb FuncCall ("Prelude","++") [Comb ConsCall ("Prelude",":") [Lit (Charc 'M'),Comb ConsCall ("Prelude",":") [Lit (Charc 'o'),Comb ConsCall ("Prelude",":") [Lit (Charc 'd'),Comb ConsCall ("Prelude",":") [Lit (Charc 'u'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc 's'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc 't'),Comb ConsCall ("Prelude",":") [Lit (Charc 'o'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc 'a'),Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc 'a'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'y'),Comb ConsCall ("Prelude",":") [Lit (Charc 'z'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc ':'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude","[]") []]]]]]]]]]]]]]]]]]]]],Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","_impl#show#Prelude.Show#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Show#(,)") [Comb FuncCall ("Prelude","_inst#Prelude.Show#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Show#Prelude.Char") []],Comb FuncCall ("Prelude","_inst#Prelude.Show#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Show#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Show#Prelude.Char") []]]]],Var 7]]],Comb FuncCall ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [Var 7]]))),Func ("CASS.Dependencies","isAnalysisFileNewer") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []]))) (Rule [1,2] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("CASS.Dependencies","getAnaFileTime") [Var 1,Var 2],Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisFileNewer._#lambda26") [Var 2]])),Func ("CASS.Dependencies","isAnalysisFileNewer._#lambda26") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []]))) (Rule [1,2] (Let [(3,Var 2)] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Analysis.Files","getSourceFileTime") [Var 1],Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisFileNewer._#lambda26._#lambda28") [Var 1,Var 3]]))),Func ("CASS.Dependencies","isAnalysisFileNewer._#lambda26._#lambda28") 3 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Time","ClockTime") []]) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []])))) (Rule [1,2,3] (Let [(4,Var 3)] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Analysis.Files","getFlatCurryFileTime") [Var 1],Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisFileNewer._#lambda26._#lambda28._#lambda30") [Var 4,Var 2]]))),Func ("CASS.Dependencies","isAnalysisFileNewer._#lambda26._#lambda28._#lambda30") 3 Private (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Time","ClockTime") []]) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []])))) (Rule [1,2,3] (Let [(4,Var 3)] (Comb FuncCall ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [Comb FuncCall ("CASS.Dependencies","isAnalysisFileTimeNewer") [Comb FuncCall ("Prelude","snd") [Var 2],Comb ConsCall ("Prelude","Just") [Comb FuncCall ("Prelude","snd") [Var 1]],Comb FuncCall ("Prelude","snd") [Var 4]]]))),Func ("CASS.Dependencies","isAnalysisFileTimeNewer") 3 Private (FuncType (TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]) (FuncType (TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]) (FuncType (TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]) (TCons ("Prelude","Bool") [])))) (Rule [1,2,3] (Comb FuncCall ("Prelude","&&") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","_impl#>=#Prelude.Ord#Prelude.Maybe") [Comb FuncCall ("Time","_inst#Prelude.Ord#Time.ClockTime") []],Var 1],Var 2],Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","_impl#>=#Prelude.Ord#Prelude.Maybe") [Comb FuncCall ("Time","_inst#Prelude.Ord#Time.ClockTime") []],Var 1],Var 3]])),Func ("CASS.Dependencies","isAnalysisValid") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []]))) (Rule [1,2] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Analysis.Files","getImportModuleListFile") [Var 2],Comb (FuncPartCall 1) ("Prelude","maybe") [Comb FuncCall ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [Comb ConsCall ("Prelude","False") []],Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisValid._#lambda32") [Var 1,Var 2]]])),Func ("CASS.Dependencies","isAnalysisValid._#lambda32") 3 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []])))) (Rule [1,2,3] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Directory","getModificationTime") [Var 3],Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35") [Var 1,Var 3,Var 2]])),Func ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35") 4 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Time","ClockTime") []) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []]))))) (Rule [1,2,3,4] (Let [(5,Var 4)] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Analysis.Files","getSourceFileTime") [Var 3],Comb FuncCall ("Prelude",".") [Comb (FuncPartCall 1) ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [],Comb (FuncPartCall 1) ("Prelude","snd") []]],Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37") [Var 5,Var 1,Var 2]]))),Func ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37") 4 Private (FuncType (TCons ("Time","ClockTime") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Time","ClockTime") []) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []]))))) (Rule [1,2,3,4] (Let [(5,Var 4)] (Case Rigid (Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Time","_impl#>=#Prelude.Ord#Time.ClockTime") [],Var 1],Var 5]) [Branch (Pattern ("Prelude","True") []) (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Prelude","readFile") [Var 3],Comb FuncCall ("Prelude",".") [Comb (FuncPartCall 1) ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [],Comb (FuncPartCall 1) ("ReadShowTerm","readQTerm") []]],Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37._#lambda43") [Var 2]]),Branch (Pattern ("Prelude","False") []) (Comb FuncCall ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [Comb ConsCall ("Prelude","False") []])]))),Func ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37._#lambda43") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []]))) (Rule [1,2] (Let [(3,Var 2)] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","mapIO") [Comb (FuncPartCall 1) ("Analysis.Files","getSourceFileTime") []],Var 3],Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37._#lambda43._#lambda45") [Var 1,Var 3]]))),Func ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37._#lambda43._#lambda45") 3 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Time","ClockTime") []]]) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []])))) (Rule [1,2,3] (Let [(4,Var 3)] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","mapIO") [Comb (FuncPartCall 1) ("Analysis.Files","getFlatCurryFileTime") []],Var 2],Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37._#lambda43._#lambda45._#lambda47") [Var 1,Var 2,Var 4]]))),Func ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37._#lambda43._#lambda45._#lambda47") 4 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Time","ClockTime") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []]))))) (Rule [1,2,3,4] (Let [(5,Var 4)] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","mapIO") [Comb (FuncPartCall 1) ("CASS.Dependencies","getAnaFileTime") [Var 1]],Var 2],Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37._#lambda43._#lambda45._#lambda47._#lambda49") [Var 3,Var 5]]))),Func ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37._#lambda43._#lambda45._#lambda47._#lambda49") 3 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Time","ClockTime") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]) (TCons ("Prelude","IO") [TCons ("Prelude","Bool") []])))) (Rule [1,2,3] (Let [(4,Var 3)] (Comb FuncCall ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","all") [Comb (FuncPartCall 1) ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37._#lambda43._#lambda45._#lambda47._#lambda49._#lambda51") []],Comb FuncCall ("Prelude","zip3") [Comb FuncCall ("Prelude","map") [Comb (FuncPartCall 1) ("Prelude","snd") [],Var 4],Comb FuncCall ("Prelude","map") [Comb FuncCall ("Prelude",".") [Comb (ConsPartCall 1) ("Prelude","Just") [],Comb (FuncPartCall 1) ("Prelude","snd") []],Var 1],Comb FuncCall ("Prelude","map") [Comb (FuncPartCall 1) ("Prelude","snd") [],Var 2]]]]))),Func ("CASS.Dependencies","isAnalysisValid._#lambda32._#lambda35._#lambda37._#lambda43._#lambda45._#lambda47._#lambda49._#lambda51") 1 Private (FuncType (TCons ("Prelude","(,,)") [TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]) (TCons ("Prelude","Bool") [])) (Rule [1] (Case Flex (Var 1) [Branch (Pattern ("Prelude","(,,)") [2,3,4]) (Comb FuncCall ("CASS.Dependencies","isAnalysisFileTimeNewer") [Var 2,Var 3,Var 4])])),Func ("CASS.Dependencies","getDependencyList") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]]))) (Rule [1,2] (Case Flex (Var 1) [Branch (Pattern ("Prelude","[]") []) (Comb FuncCall ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [Var 2]),Branch (Pattern ("Prelude",":") [3,4]) (Comb FuncCall ("Prelude","maybe") [Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Analysis.Files","getImports") [Var 3],Comb (FuncPartCall 1) ("CASS.Dependencies","getDependencyList._#lambda53") [Var 3,Var 4,Var 2]],Comb (FuncPartCall 1) ("CASS.Dependencies","getDependencyList._#lambda55") [Var 4],Comb FuncCall ("CASS.Dependencies","lookupAndReorder") [Var 3,Comb ConsCall ("Prelude","[]") [],Var 2]])])),Func ("CASS.Dependencies","getDependencyList._#lambda53") 4 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]]))))) (Rule [1,2,3,4] (Let [(5,Var 4)] (Comb FuncCall ("CASS.Dependencies","getDependencyList") [Comb FuncCall ("CASS.Dependencies","addNewMods") [Var 2,Var 5],Comb ConsCall ("Prelude",":") [Comb ConsCall ("Prelude","(,)") [Var 1,Var 5],Var 3]]))),Func ("CASS.Dependencies","getDependencyList._#lambda55") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]]))) (Rule [1,2] (Case Flex (Var 2) [Branch (Pattern ("Prelude","(,)") [3,4]) (Comb FuncCall ("CASS.Dependencies","getDependencyList") [Comb FuncCall ("CASS.Dependencies","addNewMods") [Var 1,Var 4],Var 3])])),Func ("CASS.Dependencies","addNewMods") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]))) (Rule [1,2] (Comb FuncCall ("Prelude","++") [Var 1,Comb FuncCall ("Prelude","filter") [Comb (FuncPartCall 1) ("Prelude","flip") [Comb (FuncPartCall 1) ("Prelude","notElem") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#Prelude.Char") []]],Var 1],Var 2]])),Func ("CASS.Dependencies","lookupAndReorder") 3 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (TCons ("Prelude","Maybe") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]])))) (Rule [1,2,3] (Case Flex (Var 3) [Branch (Pattern ("Prelude","[]") []) (Comb ConsCall ("Prelude","Nothing") []),Branch (Pattern ("Prelude",":") [4,5]) (Case Flex (Var 4) [Branch (Pattern ("Prelude","(,)") [6,7]) (Case Rigid (Comb FuncCall ("Prelude","_impl#==#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#Prelude.Char") [],Var 1,Var 6]) [Branch (Pattern ("Prelude","True") []) (Comb ConsCall ("Prelude","Just") [Comb ConsCall ("Prelude","(,)") [Comb ConsCall ("Prelude",":") [Comb ConsCall ("Prelude","(,)") [Var 6,Var 7],Comb FuncCall ("Prelude","++") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","reverse") [],Var 2],Var 5]],Var 7]]),Branch (Pattern ("Prelude","False") []) (Case Rigid (Comb FuncCall ("Prelude","otherwise") []) [Branch (Pattern ("Prelude","True") []) (Comb FuncCall ("CASS.Dependencies","lookupAndReorder") [Var 1,Comb ConsCall ("Prelude",":") [Comb ConsCall ("Prelude","(,)") [Var 6,Var 7],Var 2],Var 5]),Branch (Pattern ("Prelude","False") []) (Comb FuncCall ("Prelude","failed") [])])])])])),Func ("CASS.Dependencies","getAnaFileTime") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","IO") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]))) (Rule [1,2] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Analysis.Files","getAnalysisPublicFile") [Var 2,Var 1],Comb (FuncPartCall 1) ("CASS.Dependencies","getAnaFileTime._#lambda58") [Var 2]])),Func ("CASS.Dependencies","getAnaFileTime._#lambda58") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","IO") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]))) (Rule [1,2] (Let [(3,Var 2)] (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Directory","doesFileExist") [Var 3],Comb (FuncPartCall 1) ("CASS.Dependencies","getAnaFileTime._#lambda58._#lambda60") [Var 3,Var 1]]))),Func ("CASS.Dependencies","getAnaFileTime._#lambda58._#lambda60") 3 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","Bool") []) (TCons ("Prelude","IO") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]])))) (Rule [1,2,3] (Case Rigid (Var 3) [Branch (Pattern ("Prelude","True") []) (Comb FuncCall ("Prelude","_impl#>>=#Prelude.Monad#Prelude.IO") [Comb FuncCall ("Directory","getModificationTime") [Var 1],Comb (FuncPartCall 1) ("CASS.Dependencies","getAnaFileTime._#lambda58._#lambda60._#lambda63") [Var 2]]),Branch (Pattern ("Prelude","False") []) (Comb FuncCall ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [Comb ConsCall ("Prelude","(,)") [Var 2,Comb ConsCall ("Prelude","Nothing") []]])])),Func ("CASS.Dependencies","getAnaFileTime._#lambda58._#lambda60._#lambda63") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Time","ClockTime") []) (TCons ("Prelude","IO") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]))) (Rule [1,2] (Let [(3,Var 2)] (Comb FuncCall ("Prelude","_impl#return#Prelude.Monad#Prelude.IO") [Comb ConsCall ("Prelude","(,)") [Var 1,Comb ConsCall ("Prelude","Just") [Var 3]]]))),Func ("CASS.Dependencies","findModulesToAnalyze") 5 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Time","ClockTime") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]])))))) (Rule [1,2,3,4,5] (Case Flex (Var 1) [Branch (Pattern ("Prelude","[]") []) (Case Flex (Var 5) [Branch (Pattern ("Prelude","(,)") [6,7]) (Comb ConsCall ("Prelude","(,)") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","reverse") [],Var 6],Var 7])]),Branch (Pattern ("Prelude",":") [8,9]) (Case Flex (Var 8) [Branch (Pattern ("Prelude","(,)") [10,11]) (Case Flex (Var 5) [Branch (Pattern ("Prelude","(,)") [12,13]) (Case Rigid (Comb FuncCall ("Prelude","lookup") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#Prelude.Char") []],Var 10,Var 2]) [Branch (Pattern ("Prelude","Just") [14]) (Case Rigid (Var 14) [Branch (Pattern ("Prelude","Nothing") []) (Comb FuncCall ("CASS.Dependencies","findModulesToAnalyze") [Var 9,Var 2,Var 3,Var 4,Comb ConsCall ("Prelude","(,)") [Comb ConsCall ("Prelude",":") [Var 8,Var 12],Var 13]]),Branch (Pattern ("Prelude","Just") [15]) (Case Rigid (Comb FuncCall ("CASS.Dependencies","checkTime") [Var 10,Var 15,Var 11,Var 2,Var 3,Var 4,Var 12]) [Branch (Pattern ("Prelude","True") []) (Comb FuncCall ("CASS.Dependencies","findModulesToAnalyze") [Var 9,Var 2,Var 3,Var 4,Comb ConsCall ("Prelude","(,)") [Var 12,Comb ConsCall ("Prelude",":") [Var 10,Var 13]]]),Branch (Pattern ("Prelude","False") []) (Comb FuncCall ("CASS.Dependencies","findModulesToAnalyze") [Var 9,Var 2,Var 3,Var 4,Comb ConsCall ("Prelude","(,)") [Comb ConsCall ("Prelude",":") [Var 8,Var 12],Var 13]])])]),Branch (Pattern ("Prelude","Nothing") []) (Comb FuncCall ("Prelude","error") [Comb ConsCall ("Prelude",":") [Lit (Charc 'I'),Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc 't'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc 'r'),Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc 'a'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc 'r'),Comb ConsCall ("Prelude",":") [Lit (Charc 'r'),Comb ConsCall ("Prelude",":") [Lit (Charc 'o'),Comb ConsCall ("Prelude",":") [Lit (Charc 'r'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc 'i'),Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc ' '),Comb ConsCall ("Prelude",":") [Lit (Charc 'A'),Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc 'a'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'y'),Comb ConsCall ("Prelude",":") [Lit (Charc 's'),Comb ConsCall ("Prelude",":") [Lit (Charc 'i'),Comb ConsCall ("Prelude",":") [Lit (Charc 's'),Comb ConsCall ("Prelude",":") [Lit (Charc 'D'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc 'p'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc 'd'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc 'c'),Comb ConsCall ("Prelude",":") [Lit (Charc 'i'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc 's'),Comb ConsCall ("Prelude",":") [Lit (Charc '.'),Comb ConsCall ("Prelude",":") [Lit (Charc 'f'),Comb ConsCall ("Prelude",":") [Lit (Charc 'i'),Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc 'd'),Comb ConsCall ("Prelude",":") [Lit (Charc 'M'),Comb ConsCall ("Prelude",":") [Lit (Charc 'o'),Comb ConsCall ("Prelude",":") [Lit (Charc 'd'),Comb ConsCall ("Prelude",":") [Lit (Charc 'u'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'e'),Comb ConsCall ("Prelude",":") [Lit (Charc 's'),Comb ConsCall ("Prelude",":") [Lit (Charc 'T'),Comb ConsCall ("Prelude",":") [Lit (Charc 'o'),Comb ConsCall ("Prelude",":") [Lit (Charc 'A'),Comb ConsCall ("Prelude",":") [Lit (Charc 'n'),Comb ConsCall ("Prelude",":") [Lit (Charc 'a'),Comb ConsCall ("Prelude",":") [Lit (Charc 'l'),Comb ConsCall ("Prelude",":") [Lit (Charc 'y'),Comb ConsCall ("Prelude",":") [Lit (Charc 'z'),Comb ConsCall ("Prelude","[]") []]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]])])])])])),Func ("CASS.Dependencies","checkTime") 7 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Time","ClockTime") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Time","ClockTime") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","Maybe") [TCons ("Time","ClockTime") []]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (TCons ("Prelude","Bool") [])))))))) (Rule [1,2,3,4,5,6,7] (Case Flex (Var 3) [Branch (Pattern ("Prelude","[]") []) (Comb FuncCall ("CASS.Dependencies","isAnalysisFileTimeNewer") [Comb ConsCall ("Prelude","Just") [Var 2],Comb FuncCall ("Prelude","lookup") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#Prelude.Char") []],Var 1,Var 5],Comb FuncCall ("Maybe","fromMaybe") [Comb ConsCall ("Prelude","Nothing") [],Comb FuncCall ("Prelude","lookup") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#Prelude.Char") []],Var 1,Var 6]]]),Branch (Pattern ("Prelude",":") [8,9]) (Comb FuncCall ("Prelude","&&") [Comb FuncCall ("Prelude","_impl#==#Prelude.Eq#Prelude.Maybe") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#Prelude.Char") []]],Comb FuncCall ("Prelude","lookup") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#Prelude.Char") []],Var 8,Var 7],Comb ConsCall ("Prelude","Nothing") []],Comb FuncCall ("Prelude","&&") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","_impl#>=#Prelude.Ord#Prelude.Maybe") [Comb FuncCall ("Time","_inst#Prelude.Ord#Time.ClockTime") []],Comb ConsCall ("Prelude","Just") [Var 2]],Comb FuncCall ("Maybe","fromMaybe") [Comb ConsCall ("Prelude","Nothing") [],Comb FuncCall ("Prelude","lookup") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#Prelude.Char") []],Var 8,Var 4]]],Comb FuncCall ("CASS.Dependencies","checkTime") [Var 1,Var 2,Var 9,Var 4,Var 5,Var 6,Var 7]]])])),Func ("CASS.Dependencies","reduceDependencies") 2 Public (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]]))) (Rule [1,2] (Case Flex (Var 2) [Branch (Pattern ("Prelude","[]") []) (Var 1),Branch (Pattern ("Prelude",":") [3,4]) (Let [(5,Comb FuncCall ("Prelude","map") [Comb (FuncPartCall 1) ("CASS.Dependencies","reduceDependencies._#lambda66") [Var 3],Var 1])] (Comb FuncCall ("CASS.Dependencies","reduceDependencies") [Var 5,Var 4]))])),Func ("CASS.Dependencies","reduceDependencies._#lambda66") 2 Private (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]))) (Rule [1,2] (Case Flex (Var 2) [Branch (Pattern ("Prelude","(,)") [3,4]) (Comb ConsCall ("Prelude","(,)") [Var 3,Comb FuncCall ("Prelude","apply") [Comb FuncCall ("Prelude","apply") [Comb FuncCall ("List","delete") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#[]") [Comb FuncCall ("Prelude","_inst#Prelude.Eq#Prelude.Char") []]],Var 1],Var 4]])]))] []