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
|
(*
Copyright (c) 2013, 2015 David C.J. Matthews
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License version 2.1 as published by the Free Software Foundation.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*)
signature MatchCompilerSig =
sig
type parsetree
type typeVarMap
type level
type codetree
type matchtree
type codeBinding
type lexan
type location =
{ file: string, startLine: FixedInt.int, startPosition: FixedInt.int,
endLine: FixedInt.int, endPosition: FixedInt.int }
and matchContext =
{ mkAddr: int->int, level: level, typeVarMap: typeVarMap, lex: lexan }
val codeMatchPatterns:
matchtree list * codetree * bool * location * (int -> codetree) * matchContext -> codetree * bool
and codeBindingPattern:
parsetree * codetree * location * matchContext -> codeBinding list * bool
structure Sharing:
sig
type parsetree = parsetree
type typeVarMap = typeVarMap
type level = level
type codetree = codetree
type matchtree = matchtree
type codeBinding = codeBinding
type lexan = lexan
end
end;
|
