-
Notifications
You must be signed in to change notification settings - Fork 15
/
Copy pathscott.smli
99 lines (97 loc) · 5.57 KB
/
scott.smli
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
(*
* Licensed to Julian Hyde under one or more contributor license
* agreements. See the NOTICE file distributed with this work
* for additional information regarding copyright ownership.
* Julian Hyde licenses this file to you under the Apache
* License, Version 2.0 (the "License"); you may not use this
* file except in compliance with the License. You may obtain a
* copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing,
* software distributed under the License is distributed on an
* "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
* either express or implied. See the License for the specific
* language governing permissions and limitations under the
* License.
*)
Sys.set ("printLength", 64);
> val it = () : unit
val scott = {
bonus = [] : {comm:real, ename:string, job:string, sal:real} list,
emp = [
{comm = 0.0, deptno = 20, empno = 7369, ename = "SMITH", hiredate = "1980-12-16", job = "CLERK", mgr = 7902, sal = 800.0},
{comm = 300.0, deptno = 30, empno = 7499, ename = "ALLEN", hiredate = "1981-02-19", job = "SALESMAN", mgr = 7698, sal = 1600.0},
{comm = 500.0, deptno = 30, empno = 7521, ename = "WARD", hiredate = "1981-02-21", job = "SALESMAN", mgr = 7698, sal = 1250.0},
{comm = 0.0, deptno = 20, empno = 7566, ename = "JONES", hiredate = "1981-02-03", job = "MANAGER", mgr = 7839, sal = 2975.0},
{comm = 1400.0, deptno = 30, empno = 7654, ename = "MARTIN", hiredate = "1981-09-27", job = "SALESMAN", mgr = 7698, sal = 1250.0},
{comm = 0.0, deptno = 30, empno = 7698, ename = "BLAKE", hiredate = "1981-01-04", job = "MANAGER", mgr = 7839, sal = 2850.0},
{comm = 0.0, deptno = 10, empno = 7782, ename = "CLARK", hiredate = "1981-06-08", job = "MANAGER", mgr = 7839, sal = 2450.0},
{comm = 0.0, deptno = 20, empno = 7788, ename = "SCOTT", hiredate = "1987-04-18", job = "ANALYST", mgr = 7566, sal = 3000.0},
{comm = 0.0, deptno = 10, empno = 7839, ename = "KING", hiredate = "1981-11-16", job = "PRESIDENT", mgr = 0, sal = 5000.0},
{comm = 0.0, deptno = 30, empno = 7844, ename = "TURNER", hiredate = "1981-09-07", job = "SALESMAN", mgr = 7698, sal = 1500.0},
{comm = 0.0, deptno = 20, empno = 7876, ename = "ADAMS", hiredate = "1987-05-22", job = "CLERK", mgr = 7788, sal = 1100.0},
{comm = 0.0, deptno = 30, empno = 7900, ename = "JAMES", hiredate = "1981-12-02", job = "CLERK", mgr = 7698, sal = 950.0},
{comm = 0.0, deptno = 20, empno = 7902, ename = "FORD", hiredate = "1981-12-02", job = "ANALYST", mgr = 7566, sal = 3000.0},
{comm = 0.0, deptno = 10, empno = 7934, ename = "MILLER", hiredate = "1982-01-22", job = "CLERK", mgr = 7782, sal = 1300.0}],
dept = [
{deptno = 10, dname = "ACCOUNTING", loc = "NEW YORK"},
{deptno = 20, dname = "RESEARCH", loc = "DALLAS"},
{deptno = 30, dname = "SALES", loc = "CHICAGO"},
{deptno = 40, dname = "OPERATIONS", loc = "BOSTON"}],
salgrade = [
{grade = 1, hisal = 1200.0, losal = 700.0},
{grade = 2, hisal = 1400.0, losal = 1201.0},
{grade = 3, hisal = 2000.0, losal = 1401.0},
{grade = 4, hisal = 3000.0, losal = 2001.0},
{grade = 5, hisal = 9999.0, losal = 3001.0}]
};
> val scott =
> {bonus=[],
> dept=
> [{deptno=10,dname="ACCOUNTING",loc="NEW YORK"},
> {deptno=20,dname="RESEARCH",loc="DALLAS"},
> {deptno=30,dname="SALES",loc="CHICAGO"},
> {deptno=40,dname="OPERATIONS",loc="BOSTON"}],
> emp=
> [
> {comm=0.0,deptno=20,empno=7369,ename="SMITH",hiredate="1980-12-16",
> job="CLERK",mgr=7902,sal=800.0},
> {comm=300.0,deptno=30,empno=7499,ename="ALLEN",hiredate="1981-02-19",
> job="SALESMAN",mgr=7698,sal=1600.0},
> {comm=500.0,deptno=30,empno=7521,ename="WARD",hiredate="1981-02-21",
> job="SALESMAN",mgr=7698,sal=1250.0},
> {comm=0.0,deptno=20,empno=7566,ename="JONES",hiredate="1981-02-03",
> job="MANAGER",mgr=7839,sal=2975.0},
> {comm=1400.0,deptno=30,empno=7654,ename="MARTIN",hiredate="1981-09-27",
> job="SALESMAN",mgr=7698,sal=1250.0},
> {comm=0.0,deptno=30,empno=7698,ename="BLAKE",hiredate="1981-01-04",
> job="MANAGER",mgr=7839,sal=2850.0},
> {comm=0.0,deptno=10,empno=7782,ename="CLARK",hiredate="1981-06-08",
> job="MANAGER",mgr=7839,sal=2450.0},
> {comm=0.0,deptno=20,empno=7788,ename="SCOTT",hiredate="1987-04-18",
> job="ANALYST",mgr=7566,sal=3000.0},
> {comm=0.0,deptno=10,empno=7839,ename="KING",hiredate="1981-11-16",
> job="PRESIDENT",mgr=0,sal=5000.0},
> {comm=0.0,deptno=30,empno=7844,ename="TURNER",hiredate="1981-09-07",
> job="SALESMAN",mgr=7698,sal=1500.0},
> {comm=0.0,deptno=20,empno=7876,ename="ADAMS",hiredate="1987-05-22",
> job="CLERK",mgr=7788,sal=1100.0},
> {comm=0.0,deptno=30,empno=7900,ename="JAMES",hiredate="1981-12-02",
> job="CLERK",mgr=7698,sal=950.0},
> {comm=0.0,deptno=20,empno=7902,ename="FORD",hiredate="1981-12-02",
> job="ANALYST",mgr=7566,sal=3000.0},
> {comm=0.0,deptno=10,empno=7934,ename="MILLER",hiredate="1982-01-22",
> job="CLERK",mgr=7782,sal=1300.0}],
> salgrade=
> [{grade=1,hisal=1200.0,losal=700.0},{grade=2,hisal=1400.0,losal=1201.0},
> {grade=3,hisal=2000.0,losal=1401.0},{grade=4,hisal=3000.0,losal=2001.0},
> {grade=5,hisal=9999.0,losal=3001.0}]}
> : {bonus:{comm:real, ename:string, job:string, sal:real} list,
> dept:{deptno:int, dname:string, loc:string} list,
> emp:
> {comm:real, deptno:int, empno:int, ename:string, hiredate:string,
> job:string, mgr:int, sal:real} list,
> salgrade:{grade:int, hisal:real, losal:real} list}
(*) End scott.smli