Punkte pro Testfall: 5; Abzug pro fehlerhaften Testfall: 0; Maximum: 25 Testfall: {-1,1-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "ab" ; Testfall FALSCH Erwartet: {-1,1-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "ab" == True Ausgabe: {-1,1-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "ab" ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfall: {-1,1'-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "b" ; Testfall FALSCH Erwartet: {-1,1'-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "b" == True Ausgabe: {-1,1'-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "b" ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfall: {-1,2-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "aba" ; Testfall FALSCH Erwartet: {-1,2-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "aba" == False Ausgabe: {-1,2-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "aba" ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfall: {-1,3-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "bc" ; Testfall FALSCH Erwartet: {-1,3-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "bc" == False Ausgabe: {-1,3-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "bc" ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfall: {-1,4-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "cb" ; Testfall FALSCH Erwartet: {-1,4-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "cb" == False Ausgabe: {-1,4-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "cb" ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfall: {-1,5-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "a" ; Testfall FALSCH Erwartet: {-1,5-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "a" == False Ausgabe: {-1,5-}isPostfix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "a" ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfaelle OK: 0; Testfaelle FALSCH: 6 Punkte : 0 Punkte pro Testfall: 5; Abzug pro fehlerhaften Testfall: 0; Maximum: 25 Testfall: {-2,1-}[1|(Just v)<-[givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "ab"],elem v["","ab","bab","d","da","ddd","de"]] ; Testfall FALSCH Erwartet: {-2,1-}[1|(Just v)<-[givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "ab"],elem v["","ab","bab","d","da","ddd","de"]] == [1] Ausgabe: {-2,1-}[1|(Just v)<-[givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "ab"],elem v["","ab","bab","d","da","ddd","de"]] ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfall: {-2,2-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "aba" ; Testfall FALSCH Erwartet: {-2,2-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "aba" == Nothing Ausgabe: {-2,2-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "aba" ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfall: {-2,3-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "bc" ; Testfall FALSCH Erwartet: {-2,3-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "bc" == Nothing Ausgabe: {-2,3-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "bc" ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfall: {-2,4-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "ccb" ; Testfall FALSCH Erwartet: {-2,4-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "ccb" == Nothing Ausgabe: {-2,4-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "ccb" ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfall: {-2,5-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "bccb" ; Testfall FALSCH Erwartet: {-2,5-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "bccb" == Nothing Ausgabe: {-2,5-}givePrefix (AMg [(["de","a","c","b"]),(["de","a","c","b"]),(["de","a","c",""]),(["de","a","","b"])]) 0 [0,2,3] "bccb" ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "AMg" Testfaelle OK: 0; Testfaelle FALSCH: 5 Punkte : 0 Punkte pro Testfall: 5; Abzug pro fehlerhaften Testfall: 0; Maximum: 25 Testfall: {-3,1-}traverse ((flip (-)) 1) odd (ALbg [(0,5,[0..3]), (1,4,[0..3]), (2,333,[]), (3,2,[])]) ; Testfall FALSCH Erwartet: {-3,1-}traverse ((flip (-)) 1) odd (ALbg [(0,5,[0..3]), (1,4,[0..3]), (2,333,[]), (3,2,[])]) == ALbg [(0,4,[0,1,2,3]),(1,4,[0,1,2,3]),(2,332,[]),(3,2,[])] Ausgabe: {-3,1-}traverse ((flip (-)) 1) odd (ALbg [(0,5,[0..3]), (1,4,[0..3]), (2,333,[]), (3,2,[])]) ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "ALbg" Testfall: {-3,2-}(traverse ((*) 3) ((/=) 0 . (flip mod) 3) (ALbg [(0,5,[0..3]), (1,4,[0..3]), (2,333,[]), (3,2,[])])) ; Testfall FALSCH Erwartet: {-3,2-}(traverse ((*) 3) ((/=) 0 . (flip mod) 3) (ALbg [(0,5,[0..3]), (1,4,[0..3]), (2,333,[]), (3,2,[])])) == ALbg [(0,15,[0,1,2,3]),(1,12,[0,1,2,3]),(2,333,[]),(3,6,[])] Ausgabe: {-3,2-}(traverse ((*) 3) ((/=) 0 . (flip mod) 3) (ALbg [(0,5,[0..3]), (1,4,[0..3]), (2,333,[]), (3,2,[])])) ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "ALbg" Testfall: {-3,3-}[traverse (+1)(\x->True)(ALbg [(i,i,[ ])])|i<-[1..9]] ; Testfall FALSCH Erwartet: {-3,3-}[traverse (+1)(\x->True)(ALbg [(i,i,[ ])])|i<-[1..9]] == [(ALbg [(i,i+1,[])])|i<-[1..9]] Ausgabe: {-3,3-}[traverse (+1)(\x->True)(ALbg [(i,i,[ ])])|i<-[1..9]] ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "ALbg" Testfall: {-3,4-}[traverse (+1)(\x->True)(ALbg [(i,i,[i])])|i<-[1..9]] ; Testfall FALSCH Erwartet: {-3,4-}[traverse (+1)(\x->True)(ALbg [(i,i,[i])])|i<-[1..9]] == [(ALbg [(i,i+1,[i])])|i<-[1..9]] Ausgabe: {-3,4-}[traverse (+1)(\x->True)(ALbg [(i,i,[i])])|i<-[1..9]] ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "ALbg" Testfall: {-3,5-}[traverse (+1)(\x->False)(ALbg [(i,i,[])])|i<-[1..9]] ; Testfall FALSCH Erwartet: {-3,5-}[traverse (+1)(\x->False)(ALbg [(i,i,[])])|i<-[1..9]] == [(ALbg [(i,i,[])])|i<-[1..9]] Ausgabe: {-3,5-}[traverse (+1)(\x->False)(ALbg [(i,i,[])])|i<-[1..9]] ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "ALbg" Testfaelle OK: 0; Testfaelle FALSCH: 5 Punkte : 0 Punkte pro Testfall: 5; Abzug pro fehlerhaften Testfall: 0; Maximum: 25 Testfall: {-4,1-}isWellColored (Ug[(0,Red,[1..3]), (1,Blue,[0,2,3]),(2,Green,[]), (3,Yellow,[])]) ; Testfall FALSCH Erwartet: {-4,1-}isWellColored (Ug[(0,Red,[1..3]), (1,Blue,[0,2,3]),(2,Green,[]), (3,Yellow,[])]) == True Ausgabe: {-4,1-}isWellColored (Ug[(0,Red,[1..3]), (1,Blue,[0,2,3]),(2,Green,[]), (3,Yellow,[])]) ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "Red" Testfall: {-4,2-}isWellColored (Ug[(0,Red,[1..3]), (1,Blue,[0,2,3]),(2,Yellow,[]),(3,Yellow,[])]) ; Testfall FALSCH Erwartet: {-4,2-}isWellColored (Ug[(0,Red,[1..3]), (1,Blue,[0,2,3]),(2,Yellow,[]),(3,Yellow,[])]) == True Ausgabe: {-4,2-}isWellColored (Ug[(0,Red,[1..3]), (1,Blue,[0,2,3]),(2,Yellow,[]),(3,Yellow,[])]) ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "Red" Testfall: {-4,3-}isWellColored (Ug[(0,Blue,[1..3]),(1,Blue,[0,2,3]),(2,Yellow,[]),(3,Yellow,[])]) ; Testfall FALSCH Erwartet: {-4,3-}isWellColored (Ug[(0,Blue,[1..3]),(1,Blue,[0,2,3]),(2,Yellow,[]),(3,Yellow,[])]) == False Ausgabe: {-4,3-}isWellColored (Ug[(0,Blue,[1..3]),(1,Blue,[0,2,3]),(2,Yellow,[]),(3,Yellow,[])]) ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "Blue" Testfall: {-4,4-}isWellColored (Ug[(0,Blue,[0])]) ; Testfall FALSCH Erwartet: {-4,4-}isWellColored (Ug[(0,Blue,[0])]) == False Ausgabe: {-4,4-}isWellColored (Ug[(0,Blue,[0])]) ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "Blue" Testfall: {-4,5-}isWellColored (Ug[(0,Blue,[1]),(1,Red,[0])]) ; Testfall FALSCH Erwartet: {-4,5-}isWellColored (Ug[(0,Blue,[1]),(1,Red,[0])]) == True Ausgabe: {-4,5-}isWellColored (Ug[(0,Blue,[1]),(1,Red,[0])]) ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "Blue" Testfall: {-4,5'-}isWellColored (Ug[(0,Blue,[])]) ; Testfall FALSCH Erwartet: {-4,5'-}isWellColored (Ug[(0,Blue,[])]) == True Ausgabe: {-4,5'-}isWellColored (Ug[(0,Blue,[])]) ERROR "Aufgabe7.hs/fp110.hs":1 - Syntax error in declaration (unexpected symbol "Aufgabe7.hs") ==ERROR - Undefined data constructor "Blue" Testfaelle OK: 0; Testfaelle FALSCH: 6 Punkte : 0 Punkte gesamt: 0