Changeset 16123 in project


Ignore:
Timestamp:
10/03/09 14:11:30 (10 years ago)
Author:
Ivan Raikov
Message:

save

Location:
release/4
Files:
1 deleted
5 edited

Legend:

Unmodified
Added
Removed
  • release/4/internet-message/trunk/tests/run.scm

    r15071 r16123  
    180180                (parse-message (lambda (s) (test (apply sprintf "~S -> ~S" p) res  s)) (string->input-stream inp))))
    181181            message-cases))
    182 
    183            
    184 
    185 
    186 
    187 
  • release/4/multidoc/trunk/multidoc.scm

    r15912 r16123  
    4444   LaTeX-packages
    4545   LaTeX-label
    46 ;;   multidoc-Texinfo-transformation-rules
     46   multidoc-Texinfo-transformation-rules
    4747   )
    4848
     
    536536          "@end titlepage"
    537537          )))
     538
     539(define (Texinfo-collect-nodes level content)
     540  (pre-post-order
     541   content
     542   `(
     543     (Section ;; (Section level "content ...")
     544      ((*text* . ,(lambda (tag str) str)))
     545      . ,(lambda (tag section-level head-word . elems)
     546           (cond ((< section-level level) (list))
     547                 ((= section-level level) (cons head-word elems))
     548                 ((> section-level level) (list))))
     549      )
     550
     551     (*default*
     552      . ,(lambda (tag . elems) elems))
     553     
     554     (*text* . ,(lambda (trigger str) (list))))
     555   ))
     556
     557(define (Texinfo-format-menu-line section)
     558  (list "* " section "::"))
     559
    538560#|
     561
     562-- | Convert Pandoc block elements to Texinfo.
     563blockListToTexinfo :: [Block]
     564                   -> State WriterState Doc
     565blockListToTexinfo [] = return $ empty
     566blockListToTexinfo (x:xs) = do
     567  x' <- blockToTexinfo x
     568  case x of
     569    Header level _ -> do
     570      -- We need need to insert a menu for this node.
     571      let (before, after) = break isHeader xs
     572      before' <- blockListToTexinfo before
     573      let menu = if level < 4
     574                    then collectNodes (level + 1) after
     575                    else []
     576      lines' <- mapM makeMenuLine menu
     577      let menu' = if null lines'
     578                    then empty
     579                    else text "@menu" $$
     580                         vcat lines' $$
     581                         text "@end menu"
     582      after' <- blockListToTexinfo after
     583      return $ x' $$ before' $$ menu' $$ after'
     584    Para _ -> do
     585      xs' <- blockListToTexinfo xs
     586      case xs of
     587           ((CodeBlock _ _):_) -> return $ x' $$ xs'
     588           _                   -> return $ x' $$ text "" $$ xs'
     589    _ -> do
     590      xs' <- blockListToTexinfo xs
     591      return $ x' $$ xs'
     592
     593|#
     594
     595
    539596(define (multidoc-Texinfo-transformation-rules content)
    540597  `((
     
    765822
    766823
    767 |#
    768 
    769824)
  • release/4/rb-tree/trunk/rb-tree.setup

    r15392 r16123  
    44  (make-pathname #f fn ##sys#load-dynamic-extension))   
    55
    6 (compile -O -d2 -s rb-tree.scm -j rb-tree)
    7 (compile -O -d2 -s rb-tree.import.scm)
     6(compile -O2 -d0 -s rb-tree.scm -j rb-tree)
     7(compile -O2 -d0 -s rb-tree.import.scm)
    88
    99
  • release/4/rb-tree/trunk/tests/run.scm

    r14465 r16123  
    1111
    1212(define min-key 1)
    13 (define max-key 100)
     13(define max-key 10000)
    1414           
    1515(define rb-tree (make-rb-tree (lambda (x y) (- x y))))
  • release/4/tinyclos/trunk/tinyclos.setup

    r15260 r16123  
    11;;;; -*- Scheme -*-
    22
    3 (compile -s -O2 -d1 tinyclos.scm -j tinyclos)
     3(compile -s -O -d2 tinyclos.scm -j tinyclos)
    44(compile -s -O2 -d0 tinyclos.import.scm)
    5 (compile -c -O2 -d1 tinyclos.scm)
     5(compile -c -O -d2 tinyclos.scm)
    66
    77(install-extension 'tinyclos
Note: See TracChangeset for help on using the changeset viewer.