Aufgabe7.hs_1.out

   1 Punkte pro Testfall: 5; Abzug pro fehlerhaften Testfall: 0; Maximum: 25
   2
   3 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
   4 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
   5 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"
   6 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
   7 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
   8 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"
   9 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
  10 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
  11 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"
  12 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
  13 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
  14 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"
  15 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
  16 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
  17 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"
  18 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
  19 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
  20 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"
  21
  22 Testfaelle OK: 0; Testfaelle FALSCH: 6
  23 Punkte : 0
  24
  25 Punkte pro Testfall: 5; Abzug pro fehlerhaften Testfall: 0; Maximum: 25
  26
  27 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
  28 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]
  29 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"
  30 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
  31 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
  32 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"
  33 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
  34 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
  35 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"
  36 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
  37 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
  38 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"
  39 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
  40 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
  41 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"
  42
  43 Testfaelle OK: 0; Testfaelle FALSCH: 5
  44 Punkte : 0
  45
  46 Punkte pro Testfall: 5; Abzug pro fehlerhaften Testfall: 0; Maximum: 25
  47
  48 Testfall: {-3,1-}traverse ((flip (-)) 1) odd (ALbg [(0,5,[0..3]), (1,4,[0..3]), (2,333,[]), (3,2,[])])  ; Testfall FALSCH
  49 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,[])]
  50 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"
  51 Testfall: {-3,2-}(traverse ((*) 3) ((/=) 0 . (flip mod) 3) (ALbg [(0,5,[0..3]), (1,4,[0..3]), (2,333,[]), (3,2,[])]))  ; Testfall FALSCH
  52 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,[])]
  53 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"
  54 Testfall: {-3,3-}[traverse (+1)(\x->True)(ALbg [(i,i,[ ])])|i<-[1..9]]  ; Testfall FALSCH
  55 Erwartet: {-3,3-}[traverse (+1)(\x->True)(ALbg [(i,i,[ ])])|i<-[1..9]] == [(ALbg [(i,i+1,[])])|i<-[1..9]]
  56 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"
  57 Testfall: {-3,4-}[traverse (+1)(\x->True)(ALbg [(i,i,[i])])|i<-[1..9]]  ; Testfall FALSCH
  58 Erwartet: {-3,4-}[traverse (+1)(\x->True)(ALbg [(i,i,[i])])|i<-[1..9]] == [(ALbg [(i,i+1,[i])])|i<-[1..9]]
  59 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"
  60 Testfall: {-3,5-}[traverse (+1)(\x->False)(ALbg [(i,i,[])])|i<-[1..9]]  ; Testfall FALSCH
  61 Erwartet: {-3,5-}[traverse (+1)(\x->False)(ALbg [(i,i,[])])|i<-[1..9]] == [(ALbg [(i,i,[])])|i<-[1..9]]
  62 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"
  63
  64 Testfaelle OK: 0; Testfaelle FALSCH: 5
  65 Punkte : 0
  66
  67 Punkte pro Testfall: 5; Abzug pro fehlerhaften Testfall: 0; Maximum: 25
  68
  69 Testfall: {-4,1-}isWellColored (Ug[(0,Red,[1..3]), (1,Blue,[0,2,3]),(2,Green,[]), (3,Yellow,[])])  ; Testfall FALSCH
  70 Erwartet: {-4,1-}isWellColored (Ug[(0,Red,[1..3]), (1,Blue,[0,2,3]),(2,Green,[]), (3,Yellow,[])]) == True
  71 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"
  72 Testfall: {-4,2-}isWellColored (Ug[(0,Red,[1..3]), (1,Blue,[0,2,3]),(2,Yellow,[]),(3,Yellow,[])])  ; Testfall FALSCH
  73 Erwartet: {-4,2-}isWellColored (Ug[(0,Red,[1..3]), (1,Blue,[0,2,3]),(2,Yellow,[]),(3,Yellow,[])]) == True
  74 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"
  75 Testfall: {-4,3-}isWellColored (Ug[(0,Blue,[1..3]),(1,Blue,[0,2,3]),(2,Yellow,[]),(3,Yellow,[])])  ; Testfall FALSCH
  76 Erwartet: {-4,3-}isWellColored (Ug[(0,Blue,[1..3]),(1,Blue,[0,2,3]),(2,Yellow,[]),(3,Yellow,[])]) == False
  77 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"
  78 Testfall: {-4,4-}isWellColored (Ug[(0,Blue,[0])])  ; Testfall FALSCH
  79 Erwartet: {-4,4-}isWellColored (Ug[(0,Blue,[0])]) == False
  80 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"
  81 Testfall: {-4,5-}isWellColored (Ug[(0,Blue,[1]),(1,Red,[0])])  ; Testfall FALSCH
  82 Erwartet: {-4,5-}isWellColored (Ug[(0,Blue,[1]),(1,Red,[0])]) == True
  83 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"
  84 Testfall: {-4,5'-}isWellColored (Ug[(0,Blue,[])])  ; Testfall FALSCH
  85 Erwartet: {-4,5'-}isWellColored (Ug[(0,Blue,[])]) == True
  86 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"
  87
  88 Testfaelle OK: 0; Testfaelle FALSCH: 6
  89 Punkte : 0
  90
  91 Punkte gesamt: 0
  92