Commit e97dd268 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-04-04 13:47:56 by cvscast] Empty log message

Original author: cvscast
Date: 2003-04-04 13:47:56+00:00
parent 9189aab2
......@@ -163,6 +163,13 @@ driver/examples.ml: cduce.opt tests/web.cd tests/examples.xml
web/files: cduce.opt web/site.cd
(cd web; ../cduce.opt -quiet site.cd)
write_header:
headache -h header $(DEPEND)
remove_header:
headache -r $(DEPEND)
# Site-specific installation
build_web:
rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface.opt"
......@@ -174,3 +181,4 @@ install_web_local:
build_website:
rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files"
scp web/*.php web/cduce.css cduce@iris:public_html/
let examples = [ "functions","
(* Simple functions can be defined this way: *)
......
CDuce
Alain Frisch, LIENS (quipe Langages)
http://www.cduce.org/
......@@ -3,7 +3,6 @@ type Text = [ (Char | (Letter+ ' '* Note))* ];;
type Letter = 'a'--'z' | 'A'--'Z';;
type Note = <note>[ PCDATA ];;
(*
type Flow = [ (Char | <ref no=Int>[ PCDATA ])* ];;
type Notes = [ <note no=Int>[ PCDATA ]* ];;
type Result = <doc>[ <body>Flow <notes>Notes ];;
......@@ -18,11 +17,10 @@ let fun text ( (Text,Int) -> (Flow,Notes) )
(pre @ [<ref no=count>word] @ body,
[<note no=count>n] @ notes)
| (body,_) -> (body, []);;
*)
try
match load_xml "tests/notes.xml" with
| x & Doc -> [] (* format x *)
| x & Doc -> format x
| _ -> raise "Invalid input document"
with _ -> "Bon ca va";;
(*
let fun g ({a =(1--8);b=(1--8)} -> Int)
{a=(1|09);b=(1|09)} -> 1
| {a=(1|10);b=(2|09)} -> 1
| {a=(1|11);b=(3|09)} -> 1
| {a=(1|12);b=(4|09)} -> 1
| {a=(1|13);b=(5|09)} -> 1
| {a=(1|14);b=(6|09)} -> 1
| {a=(1|15);b=(7|09)} -> 1
| {a=(1|16);b=(8|09)} -> 1
| {a=(2|09);b=(1|10)} -> 1
| {a=(2|10);b=(2|10)} -> 1
| {a=(2|11);b=(3|10)} -> 1
| {a=(2|12);b=(4|10)} -> 1
| {a=(2|13);b=(5|10)} -> 1
| {a=(2|14);b=(6|10)} -> 1
| {a=(2|15);b=(7|10)} -> 1
| {a=(2|16);b=(8|10)} -> 1
| {a=(3|09);b=(1|11)} -> 1
| {a=(3|10);b=(2|11)} -> 1
| {a=(3|11);b=(3|11)} -> 1
| {a=(3|12);b=(4|11)} -> 1
| {a=(3|13);b=(5|11)} -> 1
| {a=(3|14);b=(6|11)} -> 1
| {a=(3|15);b=(7|11)} -> 1
| {a=(3|16);b=(8|11)} -> 1
| {a=(4|09);b=(1|12)} -> 1
| {a=(4|10);b=(2|12)} -> 1
| {a=(4|11);b=(3|12)} -> 1
| {a=(4|12);b=(4|12)} -> 1
| {a=(4|13);b=(5|12)} -> 1
| {a=(4|14);b=(6|12)} -> 1
| {a=(4|15);b=(7|12)} -> 1
| {a=(4|16);b=(8|12)} -> 1
| {a=(5|09);b=(1|13)} -> 1
| {a=(5|10);b=(2|13)} -> 1
| {a=(5|11);b=(3|13)} -> 1
| {a=(5|12);b=(4|13)} -> 1
| {a=(5|13);b=(5|13)} -> 1
| {a=(5|14);b=(6|13)} -> 1
| {a=(5|15);b=(7|13)} -> 1
| {a=(5|16);b=(8|13)} -> 1
| {a=(6|09);b=(1|14)} -> 1
| {a=(6|10);b=(2|14)} -> 1
| {a=(6|11);b=(3|14)} -> 1
| {a=(6|12);b=(4|14)} -> 1
| {a=(6|13);b=(5|14)} -> 1
| {a=(6|14);b=(6|14)} -> 1
| {a=(6|15);b=(7|14)} -> 1
| {a=(6|16);b=(8|14)} -> 1
| {a=(7|09);b=(1|15)} -> 1
| {a=(7|10);b=(2|15)} -> 1
| {a=(7|11);b=(3|15)} -> 1
| {a=(7|12);b=(4|15)} -> 1
| {a=(7|13);b=(5|15)} -> 1
| {a=(7|14);b=(6|15)} -> 1
| {a=(7|15);b=(7|15)} -> 1
| {a=(7|16);b=(8|15)} -> 1
| {a=(8|09);b=(1|16)} -> 1
| {a=(8|10);b=(2|16)} -> 1
| {a=(8|11);b=(3|16)} -> 1
| {a=(8|12);b=(4|16)} -> 1
| {a=(8|13);b=(5|16)} -> 1
| {a=(8|14);b=(6|16)} -> 1
| {a=(8|15);b=(7|16)} -> 1
| {a=(8|16);b=(8|16)} -> 1
;;
g { a = 1; b = 2 };;
*)
(*
let fun g ((1--8 , 1--8) -> Int)
(1|09,1|09) -> 1
| (1|10,2|09) -> 1
| (1|11,3|09) -> 1
| (1|12,4|09) -> 1
| (1|13,5|09) -> 1
| (1|14,6|09) -> 1
| (1|15,7|09) -> 1
| (1|16,8|09) -> 1
| (2|09,1|10) -> 1
| (2|10,2|10) -> 1
| (2|11,3|10) -> 1
| (2|12,4|10) -> 1
| (2|13,5|10) -> 1
| (2|14,6|10) -> 1
| (2|15,7|10) -> 1
| (2|16,8|10) -> 1
| (3|09,1|11) -> 1
| (3|10,2|11) -> 1
| (3|11,3|11) -> 1
| (3|12,4|11) -> 1
| (3|13,5|11) -> 1
| (3|14,6|11) -> 1
| (3|15,7|11) -> 1
| (3|16,8|11) -> 1
| (4|09,1|12) -> 1
| (4|10,2|12) -> 1
| (4|11,3|12) -> 1
| (4|12,4|12) -> 1
| (4|13,5|12) -> 1
| (4|14,6|12) -> 1
| (4|15,7|12) -> 1
| (4|16,8|12) -> 1
| (5|09,1|13) -> 1
| (5|10,2|13) -> 1
| (5|11,3|13) -> 1
| (5|12,4|13) -> 1
| (5|13,5|13) -> 1
| (5|14,6|13) -> 1
| (5|15,7|13) -> 1
| (5|16,8|13) -> 1
| (6|09,1|14) -> 1
| (6|10,2|14) -> 1
| (6|11,3|14) -> 1
| (6|12,4|14) -> 1
| (6|13,5|14) -> 1
| (6|14,6|14) -> 1
| (6|15,7|14) -> 1
| (6|16,8|14) -> 1
| (7|09,1|15) -> 1
| (7|10,2|15) -> 1
| (7|11,3|15) -> 1
| (7|12,4|15) -> 1
| (7|13,5|15) -> 1
| (7|14,6|15) -> 1
| (7|15,7|15) -> 1
| (7|16,8|15) -> 1
| (8|09,1|16) -> 1
| (8|10,2|16) -> 1
| (8|11,3|16) -> 1
| (8|12,4|16) -> 1
| (8|13,5|16) -> 1
| (8|14,6|16) -> 1
| (8|15,7|16) -> 1
| (8|16,8|16) -> 1
;;
*)
(*
g (1,2);;
*)
(*
debug compile (1--8,1--8)
(1|11,1|09)
(1|11,2|09)
(1|11,3|09)
(1|12,4|09)
(1|13,5|09)
(1|14,6|09)
(1|15,7|09)
(1|16,8|09)
(2|09,1|10)
(2|10,2|10)
(2|11,3|10)
(2|12,4|10)
(2|13,5|10)
(2|14,6|10)
(2|15,7|10)
(2|16,8|10)
(3|09,1|11)
(3|10,2|11)
(3|11,3|11)
(3|12,4|11)
(3|13,5|11)
(3|14,6|11)
(3|15,7|11)
(3|16,8|11)
(4|09,1|12)
(4|10,2|12)
(4|11,3|12)
(4|12,4|12)
(4|13,5|12)
(4|14,6|12)
(4|15,7|12)
(4|16,8|12)
(5|09,1|13)
(5|10,2|13)
(5|11,3|13)
(5|12,4|13)
(5|13,5|13)
(5|14,6|13)
(5|15,7|13)
(5|16,8|13)
(6|09,1|14)
(6|10,2|14)
(6|11,3|14)
(6|12,4|14)
(6|13,5|14)
(6|14,6|14)
(6|15,7|14)
(6|16,8|14)
(7|09,1|15)
(7|10,2|15)
(7|11,3|15)
(7|12,4|15)
(7|13,5|15)
(7|14,6|15)
(7|15,7|15)
(7|16,8|15)
(8|09,1|16)
(8|10,2|16)
(8|11,3|16)
(8|12,4|16)
(8|13,5|16)
(8|14,6|16)
(8|15,7|16)
(8|16,8|16)
;;
*)
debug compile ('1'--'8','1'--'8')
('1','1')
('1','2')
('1','3')
('1','4')
('1','5')
('1','6')
('1','7')
('1','8')
('2','1')
('2','2')
('2','3')
('2','4')
('2','5')
('2','6')
('2','7')
('2','8')
('3','1')
('3','2')
('3','3')
('3','4')
('3','5')
('3','6')
('3','7')
('3','8')
('4','1')
('4','2')
('4','3')
('4','4')
('4','5')
('4','6')
('4','7')
('4','8')
('5','1')
('5','2')
('5','3')
('5','4')
('5','5')
('5','6')
('5','7')
('5','8')
('6','1')
('6','2')
('6','3')
('6','4')
('6','5')
('6','6')
('6','7')
('6','8')
('7','1')
('7','2')
('7','3')
('7','4')
('7','5')
('7','6')
('7','7')
('7','8')
('8','1')
('8','2')
('8','3')
('8','4')
('8','5')
('8','6')
('8','7')
('8','8')
;;
(*
let fun g (('1'--'8','1'--'8') -> Int)
| ('1','1') -> 1
| ('1','2') -> 1
| ('1','3') -> 1
| ('1','4') -> 1
| ('1','5') -> 1
| ('1','6') -> 1
| ('1','7') -> 1
| ('1','8') -> 1
| ('2','1') -> 1
| ('2','2') -> 1
| ('2','3') -> 1
| ('2','4') -> 1
| ('2','5') -> 1
| ('2','6') -> 1
| ('2','7') -> 1
| ('2','8') -> 1
| ('3','1') -> 1
| ('3','2') -> 1
| ('3','3') -> 1
| ('3','4') -> 1
| ('3','5') -> 1
| ('3','6') -> 1
| ('3','7') -> 1
| ('3','8') -> 1
| ('4','1') -> 1
| ('4','2') -> 1
| ('4','3') -> 1
| ('4','4') -> 1
| ('4','5') -> 1
| ('4','6') -> 1
| ('4','7') -> 1
| ('4','8') -> 1
| ('5','1') -> 1
| ('5','2') -> 1
| ('5','3') -> 1
| ('5','4') -> 1
| ('5','5') -> 1
| ('5','6') -> 1
| ('5','7') -> 1
| ('5','8') -> 1
| ('6','1') -> 1
| ('6','2') -> 1
| ('6','3') -> 1
| ('6','4') -> 1
| ('6','5') -> 1
| ('6','6') -> 1
| ('6','7') -> 1
| ('6','8') -> 1
| ('7','1') -> 1
| ('7','2') -> 1
| ('7','3') -> 1
| ('7','4') -> 1
| ('7','5') -> 1
| ('7','6') -> 1
| ('7','7') -> 1
| ('7','8') -> 1
| ('8','1') -> 1
| ('8','2') -> 1
| ('8','3') -> 1
| ('8','4') -> 1
| ('8','5') -> 1
| ('8','6') -> 1
| ('8','7') -> 1
| ('8','8') -> 1
;;
*)
(*
debug compile ('1'--'2','1'--'2')
('1','1')
('1','2')
('2','1')
('2','2') ;;
*)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment