[svn] Log of /cduce/trunk/typing/typer.mli

Revision 1956 - (view) (annotate) - [select for diffs]
Modified Wed Jul 11 13:01:15 2007 UTC (5 years, 10 months ago) by abate
File length: 2001 byte(s)
Diff to previous 1952

new svn layout

Revision 1952 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:34:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2001 byte(s)
Diff to previous 1755

[r2007-06-12 12:58:41 by afrisch] starting to upgrade to OCaml 3.10

Original author: afrisch
Date: 2007-06-12 12:59:44+00:00

Revision 1755 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:20:31 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1996 byte(s)
Diff to previous 1753

[r2005-07-07 15:03:35 by afrisch] open

Original author: afrisch
Date: 2005-07-07 15:03:35+00:00

Revision 1753 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:20:18 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1945 byte(s)
Diff to previous 1746

[r2005-07-07 13:57:17 by afrisch] Export namespaces, schemas, ...

Original author: afrisch
Date: 2005-07-07 13:57:18+00:00

Revision 1746 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:19:37 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1995 byte(s)
Diff to previous 1645

[r2005-07-05 13:49:21 by afrisch] Merging cduce_serialize branch

Original author: afrisch
Date: 2005-07-05 13:49:26+00:00

Revision 1645 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:11:16 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2106 byte(s)
Diff to previous 1560

[r2005-04-22 13:18:00 by afrisch] Factor-out internalization of types/patterns

Original author: afrisch
Date: 2005-04-22 13:18:01+00:00

Revision 1560 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:02:51 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2838 byte(s)
Diff to previous 1554

[r2005-03-15 23:31:43 by afrisch] Namespaces bindings in data model

Original author: afrisch
Date: 2005-03-15 23:31:45+00:00

Revision 1554 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:02:14 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2803 byte(s)
Diff to previous 1553

[r2005-03-13 16:11:53 by afrisch] Clean. Bug fix for type corresponding to fixed constraint

Original author: afrisch
Date: 2005-03-13 16:11:53+00:00

Revision 1553 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:02:05 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2806 byte(s)
Diff to previous 1552

[r2005-03-13 14:55:06 by afrisch] Typo

Original author: afrisch
Date: 2005-03-13 14:55:06+00:00

Revision 1552 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:02:02 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2805 byte(s)
Diff to previous 1551

[r2005-03-13 14:54:00 by afrisch] Clean

Original author: afrisch
Date: 2005-03-13 14:54:00+00:00

Revision 1551 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:01:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1900 byte(s)
Diff to previous 1501

[r2005-03-13 13:59:33 by afrisch] Menage

Original author: afrisch
Date: 2005-03-13 13:59:34+00:00

Revision 1501 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:57:09 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2244 byte(s)
Diff to previous 1497

[r2005-03-04 13:13:40 by afrisch] Removed namespace/schema binding

Original author: afrisch
Date: 2005-03-04 13:13:41+00:00

Revision 1497 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:56:42 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2259 byte(s)
Diff to previous 1496

[r2005-03-04 12:11:52 by afrisch] cduce_mktop

Original author: afrisch
Date: 2005-03-04 12:11:54+00:00

Revision 1496 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:56:12 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2212 byte(s)
Diff to previous 1495

[r2005-03-04 01:16:24 by afrisch] More uniform treatment of cduce,ocaml,schema units

Original author: afrisch
Date: 2005-03-04 01:16:26+00:00

Revision 1495 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:55:50 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2145 byte(s)
Diff to previous 1487

[r2005-03-03 23:47:00 by afrisch] Identifiers are now qualified names. Uniform dot syntax for external
CDuce and OCaml unit

Original author: afrisch
Date: 2005-03-03 23:47:02+00:00

Revision 1487 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:54:41 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2129 byte(s)
Diff to previous 1474

[r2005-02-25 10:35:06 by afrisch] Bind namespace prefix when loading a schema

Original author: afrisch
Date: 2005-02-25 10:35:06+00:00

Revision 1474 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:53:27 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2114 byte(s)
Diff to previous 1465

[r2005-02-23 01:17:28 by afrisch] Print

Original author: afrisch
Date: 2005-02-23 01:17:29+00:00

Revision 1465 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:52:41 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2267 byte(s)
Diff to previous 1460

[r2005-02-22 00:41:58 by afrisch] New translation for types

Original author: afrisch
Date: 2005-02-22 00:41:59+00:00

Revision 1460 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:52:10 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2272 byte(s)
Diff to previous 1239

[r2005-02-18 17:36:34 by afrisch] Schema and namespaces

Original author: afrisch
Date: 2005-02-18 17:36:35+00:00

Revision 1239 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:34:02 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2267 byte(s)
Diff to previous 1238

[r2004-07-08 15:50:08 by afrisch] Clean up: delete old system for operators

Original author: afrisch
Date: 2004-07-08 15:51:05+00:00

Revision 1238 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:33:42 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2485 byte(s)
Diff to previous 1237

[r2004-07-08 13:55:14 by afrisch] Operators

Original author: afrisch
Date: 2004-07-08 13:55:15+00:00

Revision 1237 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:33:29 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2448 byte(s)
Diff to previous 1215

[r2004-07-08 11:54:48 by afrisch] New system for operators

Original author: afrisch
Date: 2004-07-08 11:54:50+00:00

Revision 1215 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:31:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2384 byte(s)
Diff to previous 1190

[r2004-07-05 13:19:51 by afrisch] eval

Original author: afrisch
Date: 2004-07-05 13:19:52+00:00

Revision 1190 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:30:01 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2384 byte(s)
Diff to previous 1096

[r2004-07-02 23:26:38 by afrisch] Serialize schema by reference

Original author: afrisch
Date: 2004-07-02 23:26:39+00:00

Revision 1096 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:22:13 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2395 byte(s)
Diff to previous 956

[r2004-05-05 21:14:46 by afrisch] New semantics for 'using'

Original author: afrisch
Date: 2004-05-05 21:14:47+00:00

Revision 956 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:13:56 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2303 byte(s)
Diff to previous 862

[r2004-01-20 16:12:13 by afrisch] Debut des types abstraits

Original author: afrisch
Date: 2004-01-20 16:12:15+00:00

Revision 862 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:07:54 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2251 byte(s)
Diff to previous 812

[r2003-11-28 11:18:14 by szach] better error message while referencing an unregistered schema

Original author: szach
Date: 2003-11-28 11:18:14+00:00

Revision 812 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:04:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2213 byte(s)
Diff to previous 786

[r2003-11-24 16:03:12 by szach] use Utf8 everywhere in schema support

Original author: szach
Date: 2003-11-24 16:03:14+00:00

Revision 786 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:03:06 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2235 byte(s)
Diff to previous 756

[r2003-11-20 11:40:08 by szach] - factorized code for schema types lookup

- added backend for #print_{type,schema} directives

Original author: szach
Date: 2003-11-20 11:40:08+00:00

Revision 756 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:01:02 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1955 byte(s)
Diff to previous 713

[r2003-10-24 09:36:01 by szach] removed some old schema methods

Original author: szach
Date: 2003-10-24 09:36:01+00:00

Revision 713 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:58:04 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2216 byte(s)
Diff to previous 698

[r2003-10-08 21:24:38 by cvscast] Separate compilation

Original author: cvscast
Date: 2003-10-08 21:25:22+00:00

Revision 698 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:56:40 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2117 byte(s)
Diff to previous 695

[r2003-10-04 02:00:15 by cvscast] Compilation + serialization

Original author: cvscast
Date: 2003-10-04 02:01:37+00:00

Revision 695 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:56:03 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2496 byte(s)
Diff to previous 691

[r2003-10-02 20:04:31 by cvscast] Cleaning + new semantics for default values in regexps

Original author: cvscast
Date: 2003-10-02 20:04:32+00:00

Revision 691 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:55:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2447 byte(s)
Diff to previous 686

[r2003-09-27 12:41:30 by cvscast] Serialization, new system for operators, ...

Original author: cvscast
Date: 2003-09-27 12:41:34+00:00

Revision 686 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:54:32 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2371 byte(s)
Diff to previous 677

[r2003-09-25 22:48:47 by cvscast] Cleaning

Original author: cvscast
Date: 2003-09-25 22:48:47+00:00

Revision 677 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:53:53 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2269 byte(s)
Diff to previous 656

[r2003-09-24 23:21:08 by cvscast] Cleaning

Original author: cvscast
Date: 2003-09-24 23:21:10+00:00

Revision 656 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:51:50 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2108 byte(s)
Diff to previous 637

[r2003-09-16 21:30:42 by cvscast] Cleaning in progress... + no more uppercase/lowercase distinction for
identifiers

Original author: cvscast
Date: 2003-09-16 21:30:45+00:00

Revision 637 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:49:47 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2101 byte(s)
Diff to previous 553

[r2003-07-30 10:34:39 by cvscast] Don't report unused branches after error in toplevel

Original author: cvscast
Date: 2003-07-30 10:34:39+00:00

Revision 553 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:44:06 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2060 byte(s)
Diff to previous 552

[r2003-07-02 09:24:27 by cvscast] reinit_ns directive

Original author: cvscast
Date: 2003-07-02 09:24:28+00:00

Revision 552 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:43:53 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 2016 byte(s)
Diff to previous 542

[r2003-06-30 21:35:52 by cvscast] Review internal pretting printing of namespaces -- Alain

Original author: cvscast
Date: 2003-06-30 21:35:53+00:00

Revision 542 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:43:11 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1972 byte(s)
Diff to previous 529

[r2003-06-29 20:28:52 by cvscast] Continuing namespaces : records and print_xml -- Alain

Original author: cvscast
Date: 2003-06-29 20:28:53+00:00

Revision 529 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:42:07 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1775 byte(s)
Diff to previous 501

[r2003-06-25 23:11:01 by cvscast] Starting Namespaces -- Alain

Original author: cvscast
Date: 2003-06-25 23:11:03+00:00

Revision 501 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:39:47 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1726 byte(s)
Diff to previous 431

[r2003-06-12 13:15:56 by cvscast] Merging schema branch

Original author: cvscast
Date: 2003-06-12 13:16:00+00:00

Revision 431 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:34:25 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1359 byte(s)
Diff to previous 421

[r2003-05-25 16:53:21 by cvscast] toplevel

Original author: cvscast
Date: 2003-05-25 16:53:22+00:00

Revision 421 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:33:25 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1359 byte(s)
Diff to previous 374

[r2003-05-25 10:34:50 by cvscast] review Builtin

Original author: cvscast
Date: 2003-05-25 10:34:50+00:00

Revision 374 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:29:46 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1187 byte(s)
Diff to previous 368

[r2003-05-20 13:27:25 by cvscast] Unicode support

Original author: cvscast
Date: 2003-05-20 13:27:27+00:00

Revision 368 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:28:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1191 byte(s)
Diff to previous 355

[r2003-05-18 16:03:03 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-18 16:03:04+00:00

Revision 355 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:27:46 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1192 byte(s)
Diff to previous 314

[r2003-05-15 09:26:56 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-15 09:30:09+00:00

Revision 314 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:24:30 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1132 byte(s)
Diff to previous 278

[r2003-05-10 17:49:06 by cvscast] Unused branches

Original author: cvscast
Date: 2003-05-10 17:49:06+00:00

Revision 278 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:21:59 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1046 byte(s)
Diff to previous 277

[r2003-03-24 22:41:38 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-24 22:42:11+00:00

Revision 277 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:21:46 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1004 byte(s)
Diff to previous 233

[r2003-03-23 21:09:48 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-23 21:09:49+00:00

Revision 233 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:17:31 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1173 byte(s)
Diff to previous 225

[r2003-03-10 22:35:20 by cvscast] De nouveau rapides, les records

Original author: cvscast
Date: 2003-03-10 22:35:21+00:00

Revision 225 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:16:34 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1217 byte(s)
Diff to previous 107

[r2003-03-08 15:10:01 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-08 15:10:03+00:00

Revision 107 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:06:47 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1219 byte(s)
Diff to previous 66

[r2002-11-10 16:13:31 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-10 16:13:32+00:00

Revision 66 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:02:51 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 1253 byte(s)
Diff to previous 36

[r2002-10-31 16:59:46 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-31 17:00:08+00:00

Revision 36 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:59:49 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 961 byte(s)
Diff to previous 28

[r2002-10-22 14:01:35 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-22 14:01:36+00:00

Revision 28 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:59:15 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 931 byte(s)
Diff to previous 26

[r2002-10-21 18:07:22 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-21 18:07:23+00:00

Revision 26 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:59:08 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 892 byte(s)
Diff to previous 19

[r2002-10-20 23:34:54 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-20 23:34:54+00:00

Revision 19 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:58:37 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 842 byte(s)
Diff to previous 13

[r2002-10-20 19:07:35 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-20 19:08:05+00:00

Revision 13 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:57:42 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 572 byte(s)
Diff to previous 9

[r2002-10-16 16:18:48 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-16 16:18:48+00:00

Revision 9 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:57:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 444 byte(s)
Diff to previous 6

[r2002-10-14 22:05:40 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-14 22:05:40+00:00

Revision 6 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:57:08 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 353 byte(s)
Diff to previous 5

[r2002-10-10 16:39:45 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-10 16:39:45+00:00

Revision 5 - (view) (annotate) - [select for diffs]
Added Tue Jul 10 16:57:03 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing/typer.mli
File length: 240 byte(s)

[r2002-10-10 15:40:34 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-10 15:41:10+00:00

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

Links to HEAD:	(view) (annotate)
Sticky Revision:

	Diffs between and
	Type of Diff should be a