Input and output codes now looks similar to Haskell (or Curry?)
[darcs-mirror-sem_syn.git] / example / initHalf.txt
1 --  This program requires further preprocessing 
2 --  to get effective "put" function.
3 --
4 --  However, "shap"ication makes the preprocess easier.
5 --
6 --  After the shapificatoin, 
7 --  we can easily observe that the first parameter 
8 --  of initHalfWork is useless.   
9
10 initHalf []     = []
11 initHalf (a:x)  = a:initHalfWork x x
12
13 initHalfWork xs []  = []
14 initHalfWork xs [x] = []
15 initHalfWork (a:x) (b:c:y)
16     = a:initHalfWork x y
17