+test/QuickSort.hs working!

Ignore-this: 3eece9acb53c4e1a02039dfd809fa297

darcs-hash:20100223023712-09b00-109842a8c3d73fb1c1875bf1bf55ec82283ba0e2

Front.hs

@@ -411,6 +411,7 @@ instance WeakDesugar HsDecl where
     wds (HsTypeSig loc ns ty)=HsTypeSig loc ns ty
     wds (HsDataDecl loc [] n vs cdecls [])=HsDataDecl loc [] n vs cdecls []
     wds (HsDataDecl _ _ _ _ _ _)=error "WeakDesugar: HsDataDecl: context/deriving is not supported"
+    wds (HsInfixDecl loc assoc lv ops)=HsInfixDecl loc assoc lv ops
 
 instance WeakDesugar HsExp where
     wds (HsApp e0 e1)=HsApp (wds e0) (wds e1)

auto-test

@@ -17,7 +17,7 @@ and test_bf test/LocalFun.hs
 and test_bf test/Lambda.hs
 and test_bf test/Arithmetic.hs
 and test_bf test/ShowList.hs
-# and test_bf test/QuickSort.hs
+and test_bf test/QuickSort.hs
 # and test_bf test/TypeClass.hs
 # and test_bf test/ConstPattern.hs
 # and test_bf test/

test/Prelude.hs

@@ -1,5 +1,7 @@
 
+infixr 0 $
 f $ x=f x
+
 f $! x=x `seq` (f x)
 
 data Bool
@@ -99,8 +101,16 @@ filter f (x:xs)
     |n `eqByte` 0 = x
     |otherwise    = xs !! (n `subByte` 1)
 
+{- I don't know why, but this code doesn't work!
 []++ys=ys
 (x:xs)++ys=x:(xs++ys)
+-}
+
+xs ++ ys=
+    case xs of
+        []   -> ys
+        x:xs -> x:(xs++ys)
+
 
 length []=0
 length (x:xs)=1 `addByte` (length xs)

test/QuickSort.hs

@@ -0,0 +1,9 @@
+
+main=outputStr Halt (qsort "etsb")
+
+qsort []=[]
+qsort (x:xs)=qsort (filter (gtByte x) xs)++[x]++qsort (filter (leByte x) xs)
+
+outputStr k []=k
+outputStr k (x:xs)=Output x (outputStr k xs)
+

test/ShowList.hs

@@ -1,6 +1,6 @@
 
 
-main=outputStr Halt (map showByte1 [1,2,3,4])
+main=outputStr Halt ((map showByte1 [1,2,3])++"\n")
 
 showByte1 x=addByte '0' x