OSDN Git Service
(root)
/
happyabc
/
happyabc.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
change headr file name
[happyabc/happyabc.git]
/
swflib
/
highInst.mlp
1
open Base
2
open MethodType
3
4
#include "high.type.h"
5
6
type s = [
7
#include "type.inst.h"
8
]
9
and method_ = s MethodType.method_
10
and class_ = s MethodType.class_
11
12
type t = LowInst.t
13
14
let rec some_only =
15
function
16
[] ->
17
[]
18
| None::xs ->
19
some_only xs
20
| Some x::xs ->
21
x::some_only xs
22
23
let const =
24
function
25
#include "const.inst.h"