File: control

package info (click to toggle)
smlnj 110.79-4
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 82,508 kB
  • ctags: 117,516
  • sloc: ansic: 32,532; asm: 6,314; sh: 2,303; makefile: 1,821; perl: 1,170; pascal: 295; yacc: 190; cs: 78; python: 77; lisp: 19
file content (218 lines) | stat: -rw-r--r-- 9,484 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
Source: smlnj
Section: devel
Priority: optional
Maintainer: Debian QA Group <packages@qa.debian.org>
Build-Depends: debhelper (>= 9), gcc-multilib [amd64]
Build-Depends-Indep: ghostscript,
                     latexmk,
                     texlive-binaries,
                     texlive-generic-extra,
                     texlive-generic-recommended,
                     texlive-latex-base,
                     texlive-latex-extra,
                     texlive-latex-recommended,
                     texlive-science,
                     texlive-pictures,
                     transfig
Standards-Version: 3.9.8
Homepage: http://www.smlnj.org/
Vcs-Git: https://anonscm.debian.org/git/collab-maint/smlnj.git
Vcs-Browser: https://anonscm.debian.org/cgit/collab-maint/smlnj.git

Package: smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj-runtime (= ${binary:Version}), ${misc:Depends}
Replaces: sml-nj
Recommends: libsmlnj-smlnj
Suggests: smlnj-doc
Description: Standard ML of New Jersey interactive compiler
 SML/NJ is an implementation of the Standard ML programming language.
 Standard ML has many features, including type safety, polymorphism,
 algebraic data types with pattern matching, higher-order functions,
 and a sophisticated module system. It is especially well-suited for
 writing compilers and other language processors.
 .
 This package includes the interactive compiler (sml), the compilation
 manager (CM), and some essential libraries.  It is a "working"
 version, but believed to be stable.
 .
 Install this package if you want to program in SML.

Package: smlnj-doc
Architecture: all
Section: doc
Depends: ${misc:Depends}
Suggests: smlnj
Description: Documentation for Standard ML of New Jersey
 This package contains various documentation for SML/NJ, an
 implementation of the Standard ML programming language.
 .
 More documentation can be found on the web site.

Package: smlnj-runtime
Architecture: amd64 i386 powerpc
Depends: ${misc:Depends}, ${shlibs:Depends}
Description: Standard ML of New Jersey runtime system
 SML/NJ is an implementation of the Standard ML programming language.
 This package includes the runtime system only -- it provides garbage
 collection and other support for compiled SML programs.
 .
 Install this package if you want to run programs compiled with SML/NJ.

Package: libsmlnj-smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Description: Useful libraries for Standard ML of New Jersey
 A library for SML, including:
  * Util        A general utility library.
  * Controls    A library of support code for managing application controls.
  * HashCons    A library supporting hash-consing of data structures and
                efficient sets and maps using hash-consed keys.
  * HTML        Provides parsing and pretty printing of HTML.
  * INet        Networking utilities.
  * PP          Pretty-printing library.
  * Reactive    A low-level reactive scripting library.
  * RegExp      Regular-expression library.
  * Unix        A set of unix specific utilities.

Package: ml-lex
Architecture: amd64 i386 powerpc
Depends: smlnj-runtime (= ${binary:Version}), ${misc:Depends}
Description: Lexical analyzer generator for Standard ML
 Lexical analysis is the problem of segmenting input into words and
 recognizing different classes of words.  ml-lex uses regular
 expressions to describe classes of words.  It transforms a simple
 declarative language specification into an efficient SML program for
 analyzing that language.
 .
 Install this package if you want to produce a lexer in Standard ML.

Package: ml-yacc
Architecture: amd64 i386 powerpc
Depends: smlnj-runtime (= ${binary:Version}), ${misc:Depends}
Description: Parser generator for Standard ML
 SML version of the yacc program, generates a parser for a LALR language.
 This package is useful for SML developers requiring a parser in their
 work.

Package: ml-burg
Architecture: amd64 i386 powerpc
Depends: ml-lex (= ${binary:Version}), ${misc:Depends}
Description: Code generator for Standard ML
 ml-burg generates a Standard ML program to perform bottom-up
 rewriting of an input tree.  Cost information associated with each
 rewrite rule is used to derive the minimum rewrite cost for the
 entire tree.  A successful reduction corresponds to rewriting the
 input tree to a special non-terminal symbol called the "start"
 non-terminal.  Upon successful reduction, facilities are provided to
 walk the tree emitting semantic actions corresponding to the rules
 that matched.
 .
 Install this package if you want to write a compiler in SML using a
 burg specification.

Package: libpgraphutil-smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Description: Portable graph utility library for SML Compilation Manager
 Utility routines for use with portable dependency graphs. This
 package contains support to build list-of-edges dependency graphs and
 convert them back into valid SML code.

Package: libcml-smlnj
Architecture: amd64 i386 powerpc
Depends: libsmlnj-smlnj (= ${binary:Version}), ${misc:Depends}
Description: Concurrent ML extension of SML
 An SML library for message-passing concurrency. This library adds
 threading support to SML. Each thread is then manually executed by
 running a separate function, rather than being called directly by the
 top-level SML loop.

Package: libcmlutil-smlnj
Architecture: amd64 i386 powerpc
Depends: libcml-smlnj (= ${binary:Version}), ${misc:Depends}
Description: Concurrent ML utility library
 Not all modules in the normal SML/NJ library are thread safe. This
 library provides thread-safe implementations of these
 libraries.

Package: libexene-smlnj
Architecture: amd64 i386 powerpc
Depends: libcml-smlnj (= ${binary:Version}),
         libcmlutil-smlnj (= ${binary:Version}),
         ${misc:Depends}
Description: Concurrent ML library for the X Window System
 A multi-threaded X Window System toolkit written in Concurrent
 ML. Many other windowing toolkits, such as Xlib, register separate
 functions that are called by a centralized event processing loop. In
 contrast, eXene maintains each window and graphical object in a
 separate thread that has the ability to update itself.

Package: libckit-smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Description: SML library for parsing and type-checking C programs
 ckit is a C front end written in SML that translates C source code (after
 preprocessing) into abstract syntax represented as a set of SML datatypes.
 It also provides facilities for extending the C language with additional
 syntactic constructs, which can be useful for implementing "C-like"
 domain-specific languages as well as C dialects.

Package: libmlnlffi-smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Recommends: ml-nlffigen
Description: No Longer Foreign Function Interface
 Allows ML programs to inspect and manipulate C data structures
 directly. This is implemented through three separate libraries, one
 that provides a user-code accessible frontend, one that
 implements this, and another that handles low-level raw memory
 access.

Package: ml-nlffigen
Architecture: amd64 i386 powerpc
Depends: libckit-smlnj (= ${binary:Version}),
         libsmlnj-smlnj (= ${binary:Version}),
         ${misc:Depends}
Description: ML generator for C glue code
 This tool reads in C source code and outputs ML code and a CM
 description file for use with the ML "No Longer Foreign Function
 Interface" library. This tool works by separating each top-level C
 declaration into a new ML source file. For large programs, this
 puts some strain on the SML Compilation Manager, but this should only
 marginally increase the program run-time.

Package: libmlrisctools-smlnj
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Description: Library for generating MLRISC modules
 The MLRISC system allows an easy way to create a back-end to convert
 SML into machine code. These tools provide an easy way to generate
 MLRISC modules from machine descriptions.

Package: nowhere
Architecture: amd64 i386 powerpc
Depends: libmlrisctools-smlnj (= ${binary:Version}), ${misc:Depends}
Description: Translates programs from an extended Standard ML to Standard ML
 This is a source-to-source translation tool that expands case
 expressions that use conditional patterns. Conditional patterns that
 use the "where" keyword are converted into SML.

Package: ml-lpt
Architecture: amd64 i386 powerpc
Depends: smlnj (= ${binary:Version}), ${misc:Depends}
Provides: ml-antlr, ml-ulex
Description: SML/NJ language processing tools
 Tradition has it that when a new programming language is introduced,
 new scanner and parser generators are written in that language, and
 generate code for that language.  Traditional also has it that the
 new tools are modeled after the old lex and yacc tools, both in terms
 of the algorithms used, and often the syntax as well.  The language
 Standard ML is no exception: ml-lex and ml-yacc are the SML
 incarnations of the old Unix tools.
 .
 This package has two new tools, ml-ulex and ml-antlr, that follow
 tradition in separating scanning from parsing, but break from
 tradition in their implementation: ml-ulex is based on regular
 expression derivatives rather than subset-construction, and ml-antlr
 is based on LL(k) parsing rather than LALR(1) parsing.