![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to diagnostics CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / sml / src|
Return to diagnostics CVS log | Up to [Research Unix] / researchv10no / cmd / sml / src |
1.1 root 1: hello there
2: [setsoftmax()]
3: [softmax := 23000000]
4: [setratio()]
5: [ratio := 40]
6: [globalhandle := false]
7: [dumpCore := true]
8: [setreducemore()]
9: [reducemore := 0]
10: [setrounds()]
11: [rounds := 10]
12: [setbodysize()]
13: [bodysize := 20]
14: [mBoot()]
15: signature ASSEMBLY
16: [closing boot/assembly.sig]
17: [Compiling boot/core.sml]
18: functor CoreFunc
19:
20: [Increasing heap to 4305k]
21: [closing boot/core.sml]
22: structure Dummy
23: structure Core
24: [closing boot/dummy.sml]
25: signature REF
26: signature LIST
27: signature ARRAY
28: signature BYTEARRAY
29: signature BASICIO
30: signature IO
31: signature BOOL
32: signature STRING
33: signature INTEGER
34: signature BITS
35: signature REAL
36: signature GENERAL
37: [closing boot/perv.sig]
38: signature RUNTIMECONTROL
39: signature MCCONTROL
40: signature CGCONTROL
41: signature PRINTCONTROL
42: signature DEBUG
43: signature PROFILE
44: signature PROFILEINTERNALS
45: signature CONTROL
46: signature TIMER
47: signature TAGS
48: signature STATS
49: signature UNSAFE
50: signature SYSTEM
51: [closing boot/system.sig]
52: [Compiling boot/math.sml]
53: signature MATH
54: structure Math
55: boot/math.sml, line 366: Warning: match not exhaustive
56: 0 => ...
57: 1 => ...
58:
59: [Increasing heap to 6289k]
60:
61: [Increasing heap to 10025k]
62:
63: [Increasing heap to 10425k]
64:
65: [Increasing heap to 12233k]
66:
67: [Increasing heap to 12673k]
68:
69: [Increasing heap to 17569k]
70: [closing boot/math.sml]
71: [Compiling boot/perv.sml]
72: structure Initial
73: boot/perv.sml, line 1537: Warning: match not exhaustive
74: 0 => ...
75: 1 => ...
76: boot/perv.sml, line 1537: Warning: binding not exhaustive
77: ref ((k,h) :: r) = ...
78: boot/perv.sml, line 1537: Warning: binding not exhaustive
79: ref ((k,h) :: r) = ...
80: boot/perv.sml, line 1537: Warning: binding not exhaustive
81: l' as (_,_,_,ticks) :: _ = ...
82: boot/perv.sml, line 1537: Warning: match not exhaustive
83: 8487555 => ...
84: 58884480 => ...
85:
86: [Increasing heap to 20017k]
87:
88: [Increasing heap to 21241k]
89:
90: [Increasing heap to 21849k]
91:
92: [Increasing heap to 21921k]
93:
94: [Increasing heap to 21937k]
95:
96: [Major collection... 17% used (2017320/11559504), 7480 msec]
97:
98: Warning: can't increase heap
99:
100: Warning: can't increase heap
101:
102: Warning: can't increase heap
103:
104: Warning: can't increase heap
105:
106: Warning: can't increase heap
107:
108: Warning: can't increase heap
109:
110: Warning: can't increase heap
111:
112: Warning: can't increase heap
113:
114: Warning: can't increase heap
115:
116: Warning: can't increase heap
117:
118: Warning: can't increase heap
119:
120: [Major collection... 17% used (2004336/11640896), 7360 msec]
121:
122: Warning: can't increase heap
123:
124: Warning: can't increase heap
125:
126: Warning: can't increase heap
127:
128: Warning: can't increase heap
129:
130: Warning: can't increase heap
131:
132: Warning: can't increase heap
133:
134: Warning: can't increase heap
135:
136: Warning: can't increase heap
137:
138: Warning: can't increase heap
139:
140: [Major collection... 14% used (1716672/11566880), 6080 msec]
141:
142: Warning: can't increase heap
143: [closing boot/perv.sml]
144: structure Overloads
145: [closing boot/overloads.sml]
146: [Compiling boot/loader.sml]
147: signature Startup
148: functor Loader
149: [closing boot/loader.sml]
150: [Compiling util/errormsg.sig]
151: signature ERRORMSG
152: [closing util/errormsg.sig]
153: [Compiling util/errormsg.sml]
154: structure ErrorMsg
155: [closing util/errormsg.sml]
156: [Compiling util/dynamic.sml]
157: signature STATIC_ARRAY
158: signature DYNAMIC_ARRAY
159: functor Dynamic
160: [closing util/dynamic.sml]
161: [Compiling util/sort.sml]
162: structure Sort
163: [closing util/sort.sml]
164: [Compiling util/sortedlist.sml]
165: structure SortedList
166: [closing util/sortedlist.sml]
167: [Compiling util/binsort.sml]
168: structure BinSort
169: [closing util/binsort.sml]
170: [Compiling util/list2.sml]
171: structure List2
172: [closing util/list2.sml]
173: [Compiling util/intmap.sig]
174: signature INTMAP
175: [closing util/intmap.sig]
176: [Compiling util/intmap.sml]
177: structure Intmap
178: [closing util/intmap.sml]
179: [Compiling util/intstrmap.sig]
180: signature INTSTRMAP
181: [closing util/intstrmap.sig]
182: [Compiling util/intstrmap.sml]
183: structure IntStrMap
184: [closing util/intstrmap.sml]
185: [Compiling util/intset.sml]
186: structure Intset
187: [closing util/intset.sml]
188: [Compiling util/strghash.sml]
189: structure StrgHash
190: [closing util/strghash.sml]
191: [Compiling util/topsort.sml]
192: structure Topsort
193: [closing util/topsort.sml]
194: [Compiling util/union.sml]
195: signature UNIONFIND
196: structure Unionfind
197: signature SIBLINGS
198: structure Siblings
199: [closing util/union.sml]
200: [Compiling util/arrayext.sml]
201: signature ARRAYEXT
202: structure ArrayExt
203: [closing util/arrayext.sml]
204: [Compiling basics/symbol.sig]
205: signature SYMBOL
206: [closing basics/symbol.sig]
207: [Compiling basics/symbol.sml]
208: structure Symbol
209: [closing basics/symbol.sml]
210: [Compiling basics/token.sml]
211: signature TOKEN
212: structure Token
213: [closing basics/token.sml]
214: [Compiling basics/printutil.sig]
215: signature PRINTUTIL
216: [closing basics/printutil.sig]
217: [Compiling basics/printutil.sml]
218: structure PrintUtil
219: basics/printutil.sml, line 73: Warning: match not exhaustive
220: s :: nil => ...
221: a :: r => ...
222: [closing basics/printutil.sml]
223: [Compiling lex/ascii.sml]
224: structure Ascii
225: [closing lex/ascii.sml]
226: [Compiling lex/ml.lex.sml]
227: structure Mlex
228:
229: Warning: can't increase heap
230:
231: Warning: can't increase heap
232:
233: [Major collection... 9% used (1148408/11534984), 3630 msec]
234:
235: Warning: can't increase heap
236: [closing lex/ml.lex.sml]
237: [Compiling lex/hookup.sml]
238: signature LEX
239: structure Lex
240: [closing lex/hookup.sml]
241: [Compiling basics/primop.sig]
242: signature PRIMOP
243: [closing basics/primop.sig]
244: [Compiling basics/access.sig]
245: signature ACCESS
246: [closing basics/access.sig]
247: [Compiling basics/access.sml]
248: structure Access
249: basics/access.sml, line 130: Warning: match not exhaustive
250: ! => ...
251: * => ...
252: + => ...
253: - => ...
254: := => ...
255: < => ...
256: <= => ...
257: > => ...
258: >= => ...
259: alength => ...
260: boxed => ...
261: div => ...
262: cast => ...
263: eql => ...
264: fadd => ...
265: fdiv => ...
266: feql => ...
267: fge => ...
268: fgt => ...
269: fle => ...
270: flt => ...
271: fmul => ...
272: fneg => ...
273: fneq => ...
274: fsub => ...
275: gethdlr => ...
276: ieql => ...
277: ineq => ...
278: neq => ...
279: makeref => ...
280: ordof => ...
281: profile => ...
282: sethdlr => ...
283: slength => ...
284: callcc => ...
285: throw => ...
286: store => ...
287: subscript => ...
288: unboxedassign => ...
289: unboxedupdate => ...
290: update => ...
291: ~ => ...
292: rshift => ...
293: lshift => ...
294: orb => ...
295: andb => ...
296: xorb => ...
297: notb => ...
298: [closing basics/access.sml]
299: [Compiling basics/stampset.sig]
300: signature STAMPSET
301: [closing basics/stampset.sig]
302: [Compiling basics/stampset.sml]
303: structure Stampset
304: [closing basics/stampset.sml]
305: [Compiling basics/basics.sig]
306: signature BASICS
307: [closing basics/basics.sig]
308: [Compiling basics/basics.sml]
309: structure Basics
310: [closing basics/basics.sml]
311: [Compiling basics/tuples.sml]
312: signature TUPLES
313: structure Tuples
314: [closing basics/tuples.sml]
315: [Compiling basics/basictypes.sig]
316: signature BASICTYPES
317: [closing basics/basictypes.sig]
318: [Compiling basics/basictypes.sml]
319: structure BasicTypes
320: basics/basictypes.sml, line 143: Warning: binding not exhaustive
321: TYCON {stamp=unitTyconStamp,...} = ...
322: basics/basictypes.sml, line 143: Warning: binding not exhaustive
323: ref (TYCON {stamp=arrowStamp,...}) = ...
324: [closing basics/basictypes.sml]
325: [Compiling basics/typesutil.sig]
326: signature TYPESUTIL
327: [closing basics/typesutil.sig]
328: [Compiling basics/typesutil.sml]
329: structure TypesUtil
330: basics/typesutil.sml, line 515: Warning: binding not exhaustive
331: ty2 :: argTys' = ...
332: basics/typesutil.sml, line 515: Warning: match not exhaustive
333: TYCON {eq=eq,path=path,...} => ...
334: basics/typesutil.sml, line 515: Warning: binding not exhaustive
335: CONty (ref tyc',_) = ...
336: basics/typesutil.sml, line 515: Warning: binding not exhaustive
337: CONty (ref tyc',_) = ...
338: basics/typesutil.sml, line 515: Warning: match not exhaustive
339: (nil,_) => ...
340: ((tv as ref (UBOUND <pat>)) :: rest,n) => ...
341: basics/typesutil.sml, line 515: Warning: binding not exhaustive
342: TYCON {arity=arity,eq=eq,kind=kind,path=path',stamp=stamp} = ...
343: basics/typesutil.sml, line 515: Warning: binding not exhaustive
344: STRstr {env=env,...} = ...
345:
346: Warning: can't increase heap
347: [closing basics/typesutil.sml]
348: [Compiling basics/modutil.sig]
349: signature MODUTIL
350: [closing basics/modutil.sig]
351: [Compiling basics/modutil.sml]
352: structure ModUtil
353: basics/modutil.sml, line 151: Warning: binding not exhaustive
354: STRstr {kind=SIGkind {stamps=pstamps as <pat>,...},sign=psign,stamp=pstamp,...} = ...
355: basics/modutil.sml, line 151: Warning: binding not exhaustive
356: newenv as REL {s=s,...} = ...
357: [closing basics/modutil.sml]
358: [Compiling env/env.sig]
359: signature ENV
360: [closing env/env.sig]
361: [Compiling env/env.sml]
362: structure Env
363: [closing env/env.sml]
364: [Compiling env/namespace.sig]
365: signature NAMESPACE
366: [closing env/namespace.sig]
367: [Compiling env/namespace.sml]
368: structure NameSpace
369: [closing env/namespace.sml]
370: [Compiling env/prim.sml]
371: structure Prim
372: [closing env/prim.sml]
373: [Compiling env/namespace.sig]
374: signature NAMESPACE
375: [closing env/namespace.sig]
376: [Compiling env/namespace.sml]
377: structure NameSpace
378: [closing env/namespace.sml]
379: [Compiling env/envaccess.sig]
380: signature ENVACCESS
381: [closing env/envaccess.sig]
382: [Compiling env/envaccess.sml]
383: structure EnvAccess
384: env/envaccess.sml, line 632: Warning: binding not exhaustive
385: STRvar {binding=INDstr k,...} = ...
386: env/envaccess.sml, line 632: Warning: binding not exhaustive
387: STRvar {access=PATH ap,binding=binding,...} = ...
388: env/envaccess.sml, line 632: Warning: binding not exhaustive
389: STRvar {access=SLOT n,binding=binding,...} = ...
390: env/envaccess.sml, line 632: Warning: binding not exhaustive
391: (FIXbind (FIXvar {binding=binding,...}),_) = ...
392: env/envaccess.sml, line 632: Warning: binding not exhaustive
393: (FCTbind fv,_) = ...
394: env/envaccess.sml, line 632: Warning: binding not exhaustive
395: (STRbind str,info) = ...
396: env/envaccess.sml, line 632: Warning: binding not exhaustive
397: (STRbind str,info) = ...
398: env/envaccess.sml, line 632: Warning: binding not exhaustive
399: STRbind strvar = ...
400: env/envaccess.sml, line 632: Warning: binding not exhaustive
401: (SIGbind sign,_) = ...
402: env/envaccess.sml, line 632: Warning: binding not exhaustive
403: (TYVbind tyv,_) = ...
404: env/envaccess.sml, line 632: Warning: binding not exhaustive
405: VARbind v = ...
406: env/envaccess.sml, line 632: Warning: binding not exhaustive
407: ref (TYCON {arity=arity,kind=UNDEFtyc newpath,path=id :: _,...}) = ...
408: env/envaccess.sml, line 632: Warning: binding not exhaustive
409: TYCbind tycref = ...
410:
411: Warning: can't increase heap
412:
413: [Major collection... 11% used (1389516/11697780), 4760 msec]
414:
415: Warning: can't increase heap
416:
417: Warning: can't increase heap
418: [closing env/envaccess.sml]
419: [Compiling env/buildmod.sig]
420: signature BUILDMOD
421: [closing env/buildmod.sig]
422: [Compiling env/buildmod.sml]
423: structure BuildMod
424: [closing env/buildmod.sml]
425: [Compiling env/coreinfo.sig]
426: signature COREINFO
427: [closing env/coreinfo.sig]
428: [Compiling env/coreinfo.sml]
429: structure CoreInfo
430: env/coreinfo.sml, line 44: Warning: binding not exhaustive
431: VARbind x = ...
432: env/coreinfo.sml, line 44: Warning: binding not exhaustive
433: VARbind (VALvar {access=PATH p,...}) = ...
434: [closing env/coreinfo.sml]
435: [Compiling basics/printtype.sml]
436: signature PRINTTYPE
437: structure PrintType
438: basics/printtype.sml, line 243: Warning: binding not exhaustive
439: domain :: range :: nil = ...
440: basics/printtype.sml, line 243: Warning: match not exhaustive
441: TYCON {kind=RECORDtyc labels,...} => ...
442: TYCON {kind=UNDEFtyc _,path=name :: _,...} => ...
443: TYCON {kind=DEFtyc (TYFUN {body=<pat>,...}),path=path,stamp=stamp,...} => ...
444: TYCON {kind=kind,path=path,stamp=stamp,...} => ...
445: INDtyc i => ...
446: SHRtyc p => ...
447: RELtyc p => ...
448: basics/printtype.sml, line 243: Warning: binding not exhaustive
449: TYCON {stamp=arrowStamp,...} = ...
450: basics/printtype.sml, line 243: Warning: match not exhaustive
451: ABStyc => ...
452: DEFtyc _ => ...
453: DATAtyc _ => ...
454: RECORDtyc _ => ...
455: [closing basics/printtype.sml]
456: [Compiling basics/printbas.sml]
457: structure PrintBasics
458: [closing basics/printbas.sml]
459: [Compiling basics/conrep.sml]
460: structure ConRep
461: [closing basics/conrep.sml]
462: [Compiling basics/lambda.sml]
463: signature LAMBDA
464: structure Lambda
465: basics/lambda.sml, line 89: Warning: match not exhaustive
466: (DATACON {rep=TAGGED i,...},e) => ...
467: (DATACON {rep=TRANSPARENT,...},e) => ...
468: (DATACON {rep=TRANSU,...},e) => ...
469: (DATACON {rep=TRANSB,...},e) => ...
470: (DATACON {rep=REF,...},e) => ...
471: (DATACON {const=true,rep=VARIABLE (PATH <pat>),...},e) => ...
472: (DATACON {rep=VARIABLE (PATH <pat>),...},e) => ...
473: (DATACON {rep=CONSTANT i,...},e) => ...
474: basics/lambda.sml, line 89: Warning: match not exhaustive
475: i :: nil => ...
476: a :: r => ...
477: [closing basics/lambda.sml]
478: [Compiling absyn/bareabsyn.sig]
479: signature BAREABSYN
480: [closing absyn/bareabsyn.sig]
481: [Compiling absyn/bareabsyn.sml]
482: structure BareAbsyn
483: [closing absyn/bareabsyn.sml]
484: [Compiling absyn/absyn.sml]
485: structure Absyn
486: absyn/absyn.sml, line 139: Warning: match not exhaustive
487: x :: nil => ...
488: a :: r => ...
489: [closing absyn/absyn.sml]
490: [Compiling absyn/printabsyn.sml]
491: signature PRINTABSYN
492: structure PrintAbsyn
493: [closing absyn/printabsyn.sml]
494: [Compiling typing/overload.sig]
495: signature OVERLOAD
496: [closing typing/overload.sig]
497: [Compiling typing/overload.sml]
498: structure Overload
499: [closing typing/overload.sml]
500: [Compiling typing/typecheck.sig]
501: signature TYPECHECK
502: [closing typing/typecheck.sig]
503: [Compiling typing/typecheck.sml]
504: structure Typecheck
505: typing/typecheck.sml, line 418: Warning: binding not exhaustive
506: VALvar {typ=refty,...} = ...
507: typing/typecheck.sml, line 418: Warning: match not exhaustive
508: (exp as APPexp (rator,rand),abs_rator) => ...
509: typing/typecheck.sml, line 418: Warning: binding not exhaustive
510: VARpat (VALvar {typ=refty,...}) = ...
511:
512: Warning: can't increase heap
513:
514: [Major collection... 11% used (1389048/11616348), 4930 msec]
515:
516: Warning: can't increase heap
517: [closing typing/typecheck.sml]
518: [Compiling typing/sharing.sig]
519: signature SHARING
520: [closing typing/sharing.sig]
521: [Compiling typing/sharing.sml]
522: structure Sharing
523: typing/sharing.sml, line 214: Warning: binding not exhaustive
524: STRstr {stamp=s2,...} = ...
525: typing/sharing.sml, line 214: Warning: binding not exhaustive
526: STRstr {stamp=s1,...} = ...
527: typing/sharing.sml, line 214: Warning: binding not exhaustive
528: str2 as STRstr {stamp=s2,...} = ...
529: typing/sharing.sml, line 214: Warning: binding not exhaustive
530: str1 as STRstr {stamp=s1,...} = ...
531: typing/sharing.sml, line 214: Warning: binding not exhaustive
532: str as STRstr {env=env as REL <pat>,kind=kind,sign=sign,stamp=stamp,table=table} = ...
533: typing/sharing.sml, line 214: Warning: match not exhaustive
534: REL {s=s,t=t} => ...
535: typing/sharing.sml, line 214: Warning: match not exhaustive
536: (str1 as STRstr {env=REL <pat>,kind=k1,stamp=s1,...},str2 as STRstr {env=env2 as <pat>,kind=k2,stamp=s2,table=table,...}) => ...
537: typing/sharing.sml, line 214: Warning: match not exhaustive
538: (p' as STRstr {stamp=p,...},q' as STRstr {stamp=q,...}) => ...
539: typing/sharing.sml, line 214: Warning: match not exhaustive
540: (table,env as REL {s=senv,t=tenv},{strStamps=strStamps,tycStamps=tycStamps},{s=strShare,t=typeShare}) => ...
541: typing/sharing.sml, line 214: Warning: binding not exhaustive
542: id :: rpath = ...
543: typing/sharing.sml, line 214: Warning: match not exhaustive
544: (nil,str) => ...
545: (id :: rest,STRstr {env=env,table=table,...}) => ...
546: [closing typing/sharing.sml]
547: [Compiling typing/sigmatch.sig]
548: signature SIGMATCH
549: [closing typing/sigmatch.sig]
550: [Compiling typing/sigmatch.sml]
551: structure SigMatch
552: typing/sigmatch.sml, line 296: Warning: binding not exhaustive
553: DATACON {rep=VARIABLE access,typ=typ',...} = ...
554: typing/sigmatch.sml, line 296: Warning: match not exhaustive
555: (REL {s=sSig,t=tSig} : Basics.strenv,REL {s=sStr,t=tStr} : Basics.strenv) => ...
556: typing/sigmatch.sml, line 296: Warning: binding not exhaustive
557: newenv as REL {s=s,t=t} = ...
558: [closing typing/sigmatch.sml]
559: [Compiling typing/functor.sig]
560: signature FUNCTOR
561: [closing typing/functor.sig]
562: [Compiling typing/functor.sml]
563: structure Functor
564: typing/functor.sml, line 457: Warning: binding not exhaustive
565: str as STRstr {env=env as REL <pat>,...} = ...
566: typing/functor.sml, line 457: Warning: binding not exhaustive
567: STRkind {path=path'} = ...
568: typing/functor.sml, line 457: Warning: binding not exhaustive
569: STRkind {path=path'} = ...
570: typing/functor.sml, line 457: Warning: binding not exhaustive
571: STRstr {kind=SIGkind {stamps={strStamps=<pat>,tycStamps=<pat>},...},...} = ...
572: typing/functor.sml, line 457: Warning: binding not exhaustive
573: str' as STRstr {sign=sign,...} = ...
574: typing/functor.sml, line 457: Warning: binding not exhaustive
575: tyc as TYCON {arity=arity,eq=eq,kind=kind,path=spath,stamp=stamp} = ...
576:
577: Warning: can't increase heap
578: [closing typing/functor.sml]
579: [Compiling print/printval.sig]
580: signature PRINTVAL
581: [closing print/printval.sig]
582: [Compiling print/printval.sml]
583: structure PrintVal
584: print/printval.sml, line 161: Warning: match not exhaustive
585: (nf,l :: nil,ty :: nil) => ...
586: (nf,l :: restl,ty :: restty) => ...
587: (nf,nil,nil) => ...
588: print/printval.sml, line 161: Warning: match not exhaustive
589: "nil" => ...
590: "::" => ...
591: print/printval.sml, line 161: Warning: match not exhaustive
592: CONty (_,dom :: _) => ...
593: POLYty {tyfun=TYFUN {body=CONty <pat>,...},...} => ...
594: print/printval.sml, line 161: Warning: match not exhaustive
595: (_,_,_,0,_,_) => ...
596: (obj : unit,tyc as TYCON {arity=arity,...},argtys,depth : int,l : Basics.fixity,r : Basics.fixity) => ...
597: print/printval.sml, line 161: Warning: match not exhaustive
598: ABStyc => ...
599: DEFtyc _ => ...
600: DATAtyc _ => ...
601: RECORDtyc nil => ...
602: RECORDtyc labels => ...
603: print/printval.sml, line 161: Warning: match not exhaustive
604: (obj,TYCON {kind=DATAtyc dcons,...}) => ...
605: [closing print/printval.sml]
606: [Compiling print/printdec.sig]
607: signature PRINTDEC
608: [closing print/printdec.sig]
609: [Compiling print/printdec.sml]
610: structure PrintDec
611: print/printdec.sml, line 195: Warning: match not exhaustive
612: VALdec vbs => ...
613: VALRECdec rvbs => ...
614: TYPEdec tbs => ...
615: DATATYPEdec {datatycs=datatycs,withtycs=withtycs} => ...
616: ABSTYPEdec {abstycs=abstycs,body=body,withtycs=withtycs} => ...
617: EXCEPTIONdec ebs => ...
618: STRdec strbs => ...
619: FCTdec fctbs => ...
620: SIGdec sigvars => ...
621: LOCALdec (decIn,decOut) => ...
622: SEQdec decs => ...
623: OPENdec strvs => ...
624: IMPORTdec _ => ...
625: MARKdec (dec,a,b) => ...
626: print/printdec.sml, line 195: Warning: binding not exhaustive
627: TYCON {arity=arity,eq=eq,kind=kind,path=name :: _,...} = ...
628: print/printdec.sml, line 195: Warning: match not exhaustive
629: str as STRstr {env=env,kind=kind,table=table,...} => ...
630: print/printdec.sml, line 195: Warning: match not exhaustive
631: ref (TYCON {arity=arity,kind=DATAtyc dcons,path=name :: _,...}) => ...
632: print/printdec.sml, line 195: Warning: match not exhaustive
633: ref (TYCON {arity=arity,eq=eq,kind=ABStyc,path=name :: _,...}) => ...
634: print/printdec.sml, line 195: Warning: match not exhaustive
635: TB {def=def,tyc=ref (TYCON {arity=<pat>,path=<pat>,...})} => ...
636: print/printdec.sml, line 195: Warning: match not exhaustive
637: (lookup,RVB {var=VALvar {access=<pat>,name=<pat>,typ=<pat>},...}) => ...
638: [closing print/printdec.sml]
639: [Compiling parse/first.sml]
640: structure FirstSets
641:
642: [Major collection... 10% used (1228148/11537604), 3980 msec]
643:
644: Warning: can't increase heap
645: [closing parse/first.sml]
646: [Compiling parse/misc.sig]
647: signature MISC
648: [closing parse/misc.sig]
649: [Compiling parse/misc.sml]
650: structure Misc
651: parse/misc.sml, line 199: Warning: binding not exhaustive
652: oldstrvar as STRvar {binding=binding,name=name as <pat> :: <pat>,...} = ...
653: parse/misc.sml, line 199: Warning: binding not exhaustive
654: STRstr {env=env,table=table,...} = ...
655: [closing parse/misc.sml]
656: [Compiling parse/parse.sig]
657: signature PARSE
658: [closing parse/parse.sig]
659: [Compiling parse/parse.sml]
660: structure Parse
661: parse/parse.sml, line 1720: Warning: binding not exhaustive
662: LVAR plvar = ...
663: parse/parse.sml, line 1720: Warning: binding not exhaustive
664: STRstr {env=env,table=table,...} = ...
665: parse/parse.sml, line 1720: Warning: binding not exhaustive
666: param as STRstr {env=env,table=table,...} = ...
667: parse/parse.sml, line 1720: Warning: binding not exhaustive
668: TYCON {kind=DATAtyc dcons,...} = ...
669: parse/parse.sml, line 1720: Warning: binding not exhaustive
670: bottom :: rest = ...
671: parse/parse.sml, line 1720: Warning: binding not exhaustive
672: STRvar {binding=INDstr k,...} = ...
673: parse/parse.sml, line 1720: Warning: binding not exhaustive
674: newenv as REL {s=s,t=t} = ...
675: parse/parse.sml, line 1720: Warning: binding not exhaustive
676: VARexp (ref (v as VALvar {typ=<pat>,...})) = ...
677: parse/parse.sml, line 1720: Warning: binding not exhaustive
678:
679: Warning: can't increase heap
680:
681: Warning: can't increase heap
682:
683: Warning: can't increase heap
684: DATATYPEdec {datatycs=datatycs,withtycs=withtycs} = ...
685: parse/parse.sml, line 1720: Warning: binding not exhaustive
686: TYPEdec x = ...
687: parse/parse.sml, line 1720: Warning: binding not exhaustive
688: SOME id = ...
689: parse/parse.sml, line 1720: Warning: binding not exhaustive
690: CLAUSE {pats=p1,...} :: _ = ...
691: parse/parse.sml, line 1720: Warning: binding not exhaustive
692: _ :: rest = ...
693: parse/parse.sml, line 1720: Warning: binding not exhaustive
694: _ :: rest = ...
695:
696: Warning: can't increase heap
697:
698: Warning: can't increase heap
699:
700: Warning: can't increase heap
701:
702: Warning: can't increase heap
703:
704: Warning: can't increase heap
705:
706: Warning: can't increase heap
707:
708: [Major collection... 32% used (3839968/11787352), 13110 msec]
709:
710: Warning: can't increase heap
711:
712: Warning: can't increase heap
713:
714: Warning: can't increase heap
715:
716: Warning: can't increase heap
717:
718: Warning: can't increase heap
719:
720: Warning: can't increase heap
721:
722: Warning: can't increase heap
723:
724: Warning: can't increase heap
725:
726: Warning: can't increase heap
727:
728: [Major collection... 28% used (3355224/11730180), 11260 msec]
729:
730: Warning: can't increase heap
731:
732: Warning: can't increase heap
733:
734: Warning: can't increase heap
735:
736: Warning: can't increase heap
737:
738: Warning: can't increase heap
739:
740: Warning: can't increase heap
741:
742: Warning: can't increase heap
743:
744: Warning: can't increase heap
745:
746: Warning: can't increase heap
747:
748: Warning: can't increase heap
749:
750: Warning: can't increase heap
751:
752: [Major collection... 27% used (3256376/11698692), 11040 msec]
753:
754: Warning: can't increase heap
755:
756: Warning: can't increase heap
757:
758: Warning: can't increase heap
759:
760: Warning: can't increase heap
761:
762: Warning: can't increase heap
763:
764: [Major collection... 16% used (1980552/11773820), 7230 msec]
765:
766: Warning: can't increase heap
767: [closing parse/parse.sml]
768: [Compiling codegen/opt.sml]
769: structure CGoptions
770: signature OPT
771: structure Opt
772: codegen/opt.sml, line 520: Warning: match not exhaustive
773: (FN (v,a),(f',c')) => ...
774: codegen/opt.sml, line 520: Warning: match not exhaustive
775: FN (v,a) => ...
776: codegen/opt.sml, line 520: Warning: match not exhaustive
777: FN (v,e) => ...
778: codegen/opt.sml, line 520: Warning: match not exhaustive
779: v :: nil => ...
780: i :: p => ...
781: codegen/opt.sml, line 520: Warning: match not exhaustive
782: SWITCH (e,l,d) => ...
783: codegen/opt.sml, line 520: Warning: binding not exhaustive
784: VAR w = ...
785: codegen/opt.sml, line 520: Warning: match not exhaustive
786: v :: nil => ...
787: i :: r => ...
788:
789: Warning: can't increase heap
790:
791: Warning: can't increase heap
792: [closing codegen/opt.sml]
793: [Compiling codegen/backpatch.sml]
794: signature BACKPATCH
795: signature JUMPS
796: functor Backpatch
797: codegen/backpatch.sml, line 105: Warning: match not exhaustive
798: 0 => ...
799: 1 => ...
800: 2 => ...
801: 3 => ...
802: [closing codegen/backpatch.sml]
803: [Compiling codegen/interp.sml]
804: structure Interp
805: codegen/interp.sml, line 221: Warning: match not exhaustive
806: (n :: nl,f :: fl) => ...
807: (nil,_) => ...
808: codegen/interp.sml, line 221: Warning: match not exhaustive
809: (v :: path,answer) :: rest => ...
810: nil => ...
811: codegen/interp.sml, line 221: Warning: match not exhaustive
812: (DATAcon (DATACON {const=true,rep=VARIABLE <pat>,...}),a) => ...
813: (DATAcon (DATACON {const=false,rep=VARIABLE <pat>,...}),a) => ...
814: codegen/interp.sml, line 221: Warning: match not exhaustive
815: (REALcon i,a) => ...
816: codegen/interp.sml, line 221: Warning: match not exhaustive
817: (INTcon i,a) => ...
818: codegen/interp.sml, line 221: Warning: match not exhaustive
819: (STRINGcon i,a) => ...
820: codegen/interp.sml, line 221: Warning: match not exhaustive
821: (DATAcon (DATACON {rep=<pat>,...}),ans) :: rest => ...
822: (DATAcon (DATACON {rep=<pat>,...}),ans) :: rest => ...
823: (DATAcon (DATACON {rep=<pat>,...}),ans) :: rest => ...
824: (DATAcon (DATACON {rep=<pat>,...}),ans) :: rest => ...
825: nil => ...
826: codegen/interp.sml, line 221: Warning: match not exhaustive
827: APP (FN (v,b),a) => ...
828: APP (a,b) => ...
829: FN (v,b) => ...
830: SELECT (i,a) => ...
831: RECORD nil => ...
832: RECORD (a :: b :: nil) => ...
833: RECORD (a :: b :: c :: nil) => ...
834: RECORD (a :: b :: c :: <pat> :: <pat>) => ...
835: RECORD (a :: b :: c :: <pat> :: <pat>) => ...
836: RECORD (a :: b :: c :: <pat> :: <pat>) => ...
837: RECORD l => ...
838: INT i => ...
839: STRING s => ...
840: REAL s => ...
841: PRIM cast => ...
842: PRIM + => ...
843: PRIM - => ...
844: PRIM * => ...
845: PRIM div => ...
846: PRIM orb => ...
847: PRIM andb => ...
848: PRIM xorb => ...
849: PRIM rshift => ...
850: PRIM lshift => ...
851: PRIM ! => ...
852: PRIM := => ...
853: PRIM unboxedassign => ...
854: PRIM makeref => ...
855: PRIM ~ => ...
856: PRIM ieql => ...
857: PRIM ineq => ...
858: PRIM > => ...
859: PRIM < => ...
860: PRIM >= => ...
861: PRIM <= => ...
862: PRIM subscript => ...
863: PRIM update => ...
864: PRIM unboxedupdate => ...
865: PRIM alength => ...
866: PRIM slength => ...
867: PRIM store => ...
868: PRIM ordof => ...
869: PRIM fneg => ...
870: PRIM fadd => ...
871: PRIM fdiv => ...
872: PRIM fmul => ...
873: PRIM fsub => ...
874: PRIM feql => ...
875: PRIM fneq => ...
876: PRIM fgt => ...
877: PRIM fge => ...
878: PRIM fle => ...
879: PRIM flt => ...
880: PRIM boxed => ...
881: PRIM callcc => ...
882: PRIM throw => ...
883: PRIM _ => ...
884: VAR v => ...
885: HANDLE (a,b) => ...
886: RAISE a => ...
887: FIX (nl,fl,b) => ...
888: SWITCH (e,l as (<pat>,<pat>) :: _,SOME d) => ...
889: SWITCH (e,l as (<pat>,<pat>) :: _,SOME d) => ...
890: SWITCH (e,l as (<pat>,<pat>) :: _,SOME d) => ...
891: SWITCH (e,l as (<pat>,<pat>) :: _,SOME d) => ...
892: SWITCH (e,l as (<pat>,<pat>) :: _,d) => ...
893: codegen/interp.sml, line 221: Warning: match not exhaustive
894: (i,r,"." :: s) => ...
895: (i,r,s as "E" :: _) => ...
896: (i,r,d :: s) => ...
897: [closing codegen/interp.sml]
898: [Compiling translate/mcprint.sml]
899: signature MCprint
900: structure MCprint
901: translate/mcprint.sml, line 174: Warning: match not exhaustive
902: (c,l) :: nil => ...
903: (c,l) :: more => ...
904: translate/mcprint.sml, line 174: Warning: match not exhaustive
905: (v :: nil,l :: nil) => ...
906: (v :: vs,l :: ls) => ...
907: (nil,nil) => ...
908:
909: [Major collection... 12% used (1472732/11498124), 5020 msec]
910:
911: Warning: can't increase heap
912: [closing translate/mcprint.sml]
913: [Compiling translate/mcopt.sml]
914: signature MCOPT
915: structure MCopt
916: translate/mcopt.sml, line 197: Warning: match not exhaustive
917: (a,x :: xs) => ...
918: translate/mcopt.sml, line 197: Warning: match not exhaustive
919: (a :: _,b) => ...
920: translate/mcopt.sml, line 197: Warning: match not exhaustive
921: (a :: _,b) => ...
922: translate/mcopt.sml, line 197: Warning: match not exhaustive
923: APPpat (DATACON {name=r2,...},_) => ...
924: CONpat _ => ...
925: translate/mcopt.sml, line 197: Warning: match not exhaustive
926: CONpat (DATACON {name=r2,...}) => ...
927: APPpat _ => ...
928: translate/mcopt.sml, line 197: Warning: match not exhaustive
929: INTpat j => ...
930: translate/mcopt.sml, line 197: Warning: match not exhaustive
931: REALpat s => ...
932: translate/mcopt.sml, line 197: Warning: match not exhaustive
933: STRINGpat t => ...
934: [closing translate/mcopt.sml]
935: [Compiling translate/mc.sml]
936: signature MC
937: structure MC
938: translate/mc.sml, line 488: Warning: binding not exhaustive
939: ((con,lexp) :: nil,_) = ...
940: translate/mc.sml, line 488: Warning: binding not exhaustive
941: ((DATAcon dcon,list) :: nil,_) = ...
942: translate/mc.sml, line 488: Warning: match not exhaustive
943: INTpat j => ...
944: translate/mc.sml, line 488: Warning: match not exhaustive
945: REALpat s => ...
946: translate/mc.sml, line 488: Warning: match not exhaustive
947: STRINGpat t => ...
948:
949: Warning: can't increase heap
950: [closing translate/mc.sml]
951: [Compiling translate/nonrec.sml]
952: structure Nonrec
953: [closing translate/nonrec.sml]
954: [Compiling translate/equal.sml]
955: signature EQUAL
956: structure Equal
957: [closing translate/equal.sml]
958: [Compiling translate/unboxed.sml]
959: structure Unboxed
960: [closing translate/unboxed.sml]
961: [Compiling translate/translate.sml]
962: signature TRANSLATE
963: structure Translate
964: translate/translate.sml, line 204: Warning: match not exhaustive
965: VALdec vbl => ...
966: a as VALRECdec rvbl => ...
967: LOCALdec (localdec,visibledec) => ...
968: EXCEPTIONdec ebl => ...
969: SEQdec decl => ...
970: DATATYPEdec _ => ...
971: ABSTYPEdec {body=body,...} => ...
972: TYPEdec _ => ...
973: STRdec sbl => ...
974: ABSdec sbl => ...
975: FCTdec fbl => ...
976: SIGdec _ => ...
977: OPENdec _ => ...
978: MARKdec (dec,a,b) => ...
979: translate/translate.sml, line 204: Warning: binding not exhaustive
980: bogusID :: matchsym :: bindsym :: nil = ...
981: [closing translate/translate.sml]
982: [Compiling bignums/bigint.sig]
983: signature BIGINT
984: [closing bignums/bigint.sig]
985: [Compiling bignums/bigint.sml]
986: structure Bigint
987: [closing bignums/bigint.sml]
988: [Compiling bignums/realconst.sml]
989: signature PRIMREAL
990: signature REALCONST
991: functor RealConst
992: [closing bignums/realconst.sml]
993: [Compiling build/codes.sig]
994: signature CODEGENERATOR
995: signature ASSEMBLER
996: [closing build/codes.sig]
997: [Compiling build/prof.sml]
998: signature PROF
999: structure Prof
1000:
1001: [Major collection... 14% used (1708292/11541668), 5480 msec]
1002:
1003: Warning: can't increase heap
1004: [closing build/prof.sml]
1005: [Compiling build/process.sml]
1006: signature PROCESSFILE
1007: structure ProcessFile
1008: build/process.sml, line 335: Warning: binding not exhaustive
1009: STRvar {binding=STRstr {table=otable,...},...} = ...
1010: build/process.sml, line 335: Warning: binding not exhaustive
1011: svInitial as STRvar {access=PATH (<pat> :: <pat>),binding=strInitial as STRstr <pat>,...} = ...
1012: build/process.sml, line 335: Warning: binding not exhaustive
1013: STRvar {access=PATH (lvMath :: nil),...} = ...
1014: build/process.sml, line 335: Warning: binding not exhaustive
1015: svCore as STRvar {access=PATH (<pat> :: <pat>),...} = ...
1016: build/process.sml, line 335: Warning: match not exhaustive
1017: sb as STRB {strvar=STRvar {access=<pat>,name=<pat>,...},...} => ...
1018: build/process.sml, line 335: Warning: match not exhaustive
1019: sb as STRB {strvar=STRvar {access=<pat>,name=<pat>,...},...} => ...
1020: build/process.sml, line 335: Warning: match not exhaustive
1021: fb as FCTB {fctvar=FCTvar {access=<pat>,name=<pat>,...},...} => ...
1022: build/process.sml, line 335: Warning: binding not exhaustive
1023: FCTB {fctvar=FCTvar {access=LVAR <pat>,...},...} = ...
1024: build/process.sml, line 335: Warning: binding not exhaustive
1025: STRB {strvar=STRvar {access=LVAR <pat>,...},...} = ...
1026: build/process.sml, line 335: Warning: binding not exhaustive
1027: STRstr {table=table,...} = ...
1028: build/process.sml, line 335: Warning: binding not exhaustive
1029: firstId :: rest = ...
1030: build/process.sml, line 335: Warning: binding not exhaustive
1031: STRvar {access=SLOT n,binding=binding,...} = ...
1032: build/process.sml, line 335: Warning: match not exhaustive
1033: (nil,str) => ...
1034: (id :: rest,STRstr {env=env,table=table,...}) => ...
1035: [closing build/process.sml]
1036: [Compiling build/batch.sml]
1037: functor Batch
1038: [closing build/batch.sml]
1039: [Compiling sepcomp/filepaths.sig]
1040: signature FILEPATHS
1041: [closing sepcomp/filepaths.sig]
1042: [Compiling sepcomp/filepaths.sml]
1043: functor UnixPaths
1044: [closing sepcomp/filepaths.sml]
1045: [Compiling sepcomp/moduleComp.sig]
1046: signature MODULE_COMPILER
1047: [closing sepcomp/moduleComp.sig]
1048: [Compiling sepcomp/moduleComp.sml]
1049: functor ModuleComp
1050: [closing sepcomp/moduleComp.sml]
1051: [Compiling sepcomp/importer.sig]
1052: signature IMPORTER
1053: [closing sepcomp/importer.sig]
1054: [Compiling sepcomp/importer.sml]
1055: functor Importer
1056:
1057: Warning: can't increase heap
1058: [closing sepcomp/importer.sml]
1059: [Compiling build/interact.sml]
1060: functor Interact
1061: [closing build/interact.sml]
1062: [Compiling cps/cps.sml]
1063: signature CPS
1064: structure CPS
1065: [closing cps/cps.sml]
1066: [Compiling cps/size.sml]
1067: structure CPSsize
1068: [closing cps/size.sml]
1069: [Compiling cps/profile.sml]
1070: structure Profile
1071: [closing cps/profile.sml]
1072: [Compiling cps/cpsprint.sml]
1073: structure CPSprint
1074: [closing cps/cpsprint.sml]
1075: [Compiling cps/freemap.sml]
1076: signature FREEMAP
1077: structure FreeMap
1078:
1079: [Major collection... 13% used (1538504/11569500), 4980 msec]
1080:
1081: Warning: can't increase heap
1082: [closing cps/freemap.sml]
1083: [Compiling cps/reorder.sml]
1084: structure Reorder
1085: cps/reorder.sml, line 83: Warning: match not exhaustive
1086: x :: y :: nil => ...
1087: [closing cps/reorder.sml]
1088: [Compiling cps/convert.sml]
1089: structure Convert
1090: cps/convert.sml, line 420: Warning: match not exhaustive
1091: ((e,l as (<pat>,<pat>) :: _,d),c) => ...
1092: cps/convert.sml, line 420: Warning: match not exhaustive
1093: (n,1,1) => ...
1094: (n,0,1) => ...
1095: (n,0,2) => ...
1096: cps/convert.sml, line 420: Warning: match not exhaustive
1097: (f :: fl,FN (v,b) :: el) => ...
1098: (nil,nil) => ...
1099: cps/convert.sml, line 420: Warning: match not exhaustive
1100: (INTcon j,a) => ...
1101: cps/convert.sml, line 420: Warning: match not exhaustive
1102: (STRINGcon s,x) :: r => ...
1103: nil => ...
1104: cps/convert.sml, line 420: Warning: binding not exhaustive
1105: p1 :: p2 :: nil = ...
1106: cps/convert.sml, line 420: Warning: match not exhaustive
1107: (STRINGcon j,e) => ...
1108: cps/convert.sml, line 420: Warning: match not exhaustive
1109: (STRINGcon s,_) => ...
1110: cps/convert.sml, line 420: Warning: binding not exhaustive
1111: (low,_) :: r = ...
1112: cps/convert.sml, line 420: Warning: match not exhaustive
1113: x :: nil => ...
1114: _ :: r => ...
1115: cps/convert.sml, line 420: Warning: match not exhaustive
1116: (0,_,_) => ...
1117: (n,i,l as (j,b) :: r) => ...
1118: cps/convert.sml, line 420: Warning: binding not exhaustive
1119: c2 as (l,_,_,_) :: r = ...
1120: cps/convert.sml, line 420: Warning: match not exhaustive
1121: stuff as (l,u,n,x) :: r => ...
1122:
1123: Warning: can't increase heap
1124:
1125: Warning: can't increase heap
1126: [closing cps/convert.sml]
1127: [Compiling cps/hoist.sml]
1128: structure Hoist
1129: cps/hoist.sml, line 145: Warning: match not exhaustive
1130: RECORD' (vl,w,e,_) => ...
1131: SELECT' (i,v,w,e,_) => ...
1132: PRIMOP' (i,vl,wl,el) => ...
1133: SWITCH' (v,el) => ...
1134: APP' (f,vl) => ...
1135: FIX' (l,_,e,_) => ...
1136: cps/hoist.sml, line 145: Warning: match not exhaustive
1137: RECORD' (vl,w,e,v3) => ...
1138: SELECT' (i,v,w,e,v3) => ...
1139: PRIMOP' (i,vl,wl,(e,_) :: nil) => ...
1140: PRIMOP' (i,vl,wl,el) => ...
1141: SWITCH' (v,el) => ...
1142: e as APP' (f,vl) => ...
1143: FIX' (m,v3,e',v4) => ...
1144: cps/hoist.sml, line 145: Warning: match not exhaustive
1145: RECORD (vl,w,e) => ...
1146: SELECT (i,v,w,e) => ...
1147: PRIMOP (i,vl,wl,e :: nil) => ...
1148: PRIMOP (i,vl,wl,el) => ...
1149: APP (f,vl) => ...
1150: SWITCH (v,el) => ...
1151: FIX (l,e) => ...
1152: [closing cps/hoist.sml]
1153: [Compiling cps/cpsopt.sml]
1154: functor CPSopt
1155: cps/cpsopt.sml, line 682: Warning: binding not exhaustive
1156: (v,OFFp 0) = ...
1157: cps/cpsopt.sml, line 682: Warning: match not exhaustive
1158: Arg {escape=ref esc,record=ref rl,savings=ref save} => ...
1159: Sel {savings=ref save} => ...
1160: cps/cpsopt.sml, line 682: Warning: match not exhaustive
1161: RECORD (vl,w,ce) => ...
1162: SELECT (i,v,w,ce) => ...
1163: APP (v,vl) => ...
1164: FIX (l,ce) => ...
1165: SWITCH (v,l) => ...
1166: PRIMOP (i,vl,wl,ce) => ...
1167: cps/cpsopt.sml, line 682: Warning: match not exhaustive
1168: RECORD (vl,w,ce) => ...
1169: SELECT (i,v,w,ce) => ...
1170: APP (v,vl) => ...
1171: FIX (l,ce) => ...
1172: SWITCH (v,l) => ...
1173: PRIMOP (i,vl,wl,ce) => ...
1174: cps/cpsopt.sml, line 682: Warning: match not exhaustive
1175: RECORD (vl,w,e) => ...
1176: SELECT (i,v,w,e) => ...
1177: APP (f,vl) => ...
1178: FIX (l,e) => ...
1179: SWITCH (v,el) => ...
1180: PRIMOP (args as (boxed,_,_,_)) => ...
1181: PRIMOP (args as (<,_,_,_)) => ...
1182: PRIMOP (args as (<=,_,_,_)) => ...
1183: PRIMOP (args as (>,_,_,_)) => ...
1184: PRIMOP (args as (>=,_,_,_)) => ...
1185: PRIMOP (args as (ieql,_,_,_)) => ...
1186: PRIMOP (args as (ineq,_,_,_)) => ...
1187: PRIMOP (args as (*,_,_,_)) => ...
1188: PRIMOP (args as (div,_,_,_)) => ...
1189: PRIMOP (args as (+,_,_,_)) => ...
1190: PRIMOP (args as (-,_,_,_)) => ...
1191: PRIMOP (args as (rshift,_,_,_)) => ...
1192: PRIMOP (args as (slength,_,_,_)) => ...
1193: PRIMOP (args as (ordof,_,_,_)) => ...
1194: PRIMOP (args as (~,_,_,_)) => ...
1195: PRIMOP (args as (lshift,_,_,_)) => ...
1196: PRIMOP (args as (orb,_,_,_)) => ...
1197: PRIMOP (args as (xorb,_,_,_)) => ...
1198: PRIMOP (args as (notb,_,_,_)) => ...
1199: PRIMOP (args as (andb,_,_,_)) => ...
1200: PRIMOP (_,vl,wl,el) => ...
1201: cps/cpsopt.sml, line 682: Warning: match not exhaustive
1202: Fun {size=size,...} => ...
1203: cps/cpsopt.sml, line 682: Warning: binding not exhaustive
1204: {escape=ref esc,info=RECinfo (_,ref fl),...} = ...
1205: cps/cpsopt.sml, line 682: Warning: binding not exhaustive
1206: (x,OFFp 0) = ...
1207: cps/cpsopt.sml, line 682: Warning: match not exhaustive
1208: (x,OFFp 0) => ...
1209: cps/cpsopt.sml, line 682: Warning: binding not exhaustive
1210: {info=RECinfo (wl,_),...} = ...
1211: cps/cpsopt.sml, line 682: Warning: match not exhaustive
1212: {escape=ref 0,info=FNinfo {arity=arity as ref <pat>,reduce_ok=reduce_ok,...},used=ref i,...} => ...
1213: {info=FNinfo {reduce_ok=reduce_ok,...},...} => ...
1214: cps/cpsopt.sml, line 682: Warning: match not exhaustive
1215: RECORD (vl,w,e) => ...
1216: SELECT (i,v,w,e) => ...
1217: APP (f,vl) => ...
1218: SWITCH (v,el) => ...
1219: PRIMOP (i,vl,wl,el) => ...
1220: FIX (l,e) => ...
1221:
1222: [Major collection... 15% used (1853224/11594552), 7210 msec]
1223:
1224: Warning: can't increase heap
1225:
1226: Warning: can't increase heap
1227:
1228: Warning: can't increase heap
1229:
1230: Warning: can't increase heap
1231:
1232: Warning: can't increase heap
1233:
1234: Warning: can't increase heap
1235:
1236: Warning: can't increase heap
1237:
1238: Warning: can't increase heap
1239:
1240: Warning: can't increase heap
1241:
1242: Warning: can't increase heap
1243:
1244: [Major collection... 23% used (2719784/11695304), 9480 msec]
1245:
1246: Warning: can't increase heap
1247:
1248: Warning: can't increase heap
1249:
1250: Warning: can't increase heap
1251:
1252: Warning: can't increase heap
1253: [closing cps/cpsopt.sml]
1254: [Compiling cps/globalfix.sml]
1255: signature GLOBALFIX
1256: structure GlobalFix
1257: [closing cps/globalfix.sml]
1258: [Compiling cps/spill.sml]
1259: signature SPILL
1260: functor Spill
1261: cps/spill.sml, line 268: Warning: match not exhaustive
1262: e as APP (f,vl) => ...
1263: SWITCH (v,l) => ...
1264: RECORD (l,w,c) => ...
1265: SELECT (i,v,w,c) => ...
1266: OFFSET (i,v,w,c) => ...
1267: PRIMOP (i,a,w,l) => ...
1268: cps/spill.sml, line 268: Warning: match not exhaustive
1269: (v :: nil,nil,l) => ...
1270: cps/spill.sml, line 268: Warning: match not exhaustive
1271: (v :: nil,w :: nil,c :: nil) => ...
1272: cps/spill.sml, line 268: Warning: match not exhaustive
1273: (v :: nil,w :: nil,c :: nil) => ...
1274: cps/spill.sml, line 268: Warning: match not exhaustive
1275: (f :: vl,nil,nil) => ...
1276: cps/spill.sml, line 268: Warning: match not exhaustive
1277: SWITCH (v,l) => ...
1278: RECORD (l,w,c) => ...
1279: SELECT (i,v,w,c) => ...
1280: OFFSET (i,v,w,c) => ...
1281: PRIMOP (i,a,r,cl) => ...
1282: APP (f,vl) => ...
1283: cps/spill.sml, line 268: Warning: match not exhaustive
1284: (v,(w,SELp (<pat>,<pat>))) :: nil => ...
1285: (v,(w,SELp (<pat>,<pat>))) :: _ => ...
1286: nil => ...
1287: cps/spill.sml, line 268: Warning: binding not exhaustive
1288: SOME (l,sv) = ...
1289: cps/spill.sml, line 268: Warning: match not exhaustive
1290: SWITCH (v,l) => ...
1291: RECORD (l,w,c) => ...
1292: SELECT (i,v,w,c) => ...
1293: OFFSET (i,v,w,c) => ...
1294: PRIMOP (i,a,nil,cl) => ...
1295: PRIMOP (i,a,res :: nil,cl) => ...
1296: APP (f,vl) => ...
1297: cps/spill.sml, line 268: Warning: match not exhaustive
1298: SWITCH (v,l) => ...
1299: RECORD (l,w,c) => ...
1300: SELECT (i,v,w,c) => ...
1301: OFFSET (i,v,w,c) => ...
1302: PRIMOP (i,a,nil,cl) => ...
1303: PRIMOP (i,a,res :: nil,cl) => ...
1304: APP (f,vl) => ...
1305: cps/spill.sml, line 268: Warning: match not exhaustive
1306: SWITCH (v,l) => ...
1307: RECORD (_,w,_) => ...
1308: SELECT (_,_,w,_) => ...
1309: OFFSET (_,_,w,_) => ...
1310: PRIMOP (_,_,w :: _,_) => ...
1311: PRIMOP (_,vl,_,_) => ...
1312: APP (f,vl) => ...
1313: cps/spill.sml, line 268: Warning: match not exhaustive
1314: (nil,nil) => ...
1315: (nil,next) => ...
1316: (SWITCH (v,l) :: r,next) => ...
1317: (RECORD (l,w,c) :: r,next) => ...
1318: (SELECT (i,v,w,c) :: r,next) => ...
1319: (OFFSET (i,v,w,c) :: r,next) => ...
1320: (PRIMOP (i,a,w,cl) :: r,next) => ...
1321: (APP (v,vl) :: r,next) => ...
1322:
1323: [Major collection... 16% used (1878148/11701764), 6420 msec]
1324:
1325: Warning: can't increase heap
1326: [closing cps/spill.sml]
1327: [Compiling cps/cmachine.sig]
1328: signature CMACHINE
1329: [closing cps/cmachine.sig]
1330: [Compiling cps/generic.sml]
1331: functor CPSgen
1332: cps/generic.sml, line 551: Warning: match not exhaustive
1333: (v :: w :: nil,x :: nil,e :: nil) => ...
1334: cps/generic.sml, line 551: Warning: match not exhaustive
1335: (v :: w :: nil,x :: nil,e :: nil) => ...
1336: cps/generic.sml, line 551: Warning: match not exhaustive
1337: (v :: w :: nil,x :: nil,e :: nil) => ...
1338: cps/generic.sml, line 551: Warning: match not exhaustive
1339: (v :: w :: nil,x :: nil,e :: nil) => ...
1340: cps/generic.sml, line 551: Warning: match not exhaustive
1341: (v :: nil,x :: nil,e :: nil) => ...
1342: cps/generic.sml, line 551: Warning: match not exhaustive
1343: (v :: w :: nil,x :: nil,e :: nil) => ...
1344: cps/generic.sml, line 551: Warning: match not exhaustive
1345: (v :: w :: nil,x :: nil,e :: nil) => ...
1346: cps/generic.sml, line 551: Warning: match not exhaustive
1347: (v :: w :: nil,x :: nil,e :: nil) => ...
1348: cps/generic.sml, line 551: Warning: match not exhaustive
1349: (v :: w :: nil,x :: nil,e :: nil) => ...
1350: cps/generic.sml, line 551: Warning: match not exhaustive
1351: (v :: w :: nil,x :: nil,e :: nil) => ...
1352: cps/generic.sml, line 551: Warning: match not exhaustive
1353: (v :: nil,w :: nil,e :: nil) => ...
1354: cps/generic.sml, line 551: Warning: match not exhaustive
1355: (v :: w :: nil,nil,e :: nil) => ...
1356: cps/generic.sml, line 551: Warning: match not exhaustive
1357: (v :: w :: nil,nil,e :: nil) => ...
1358: cps/generic.sml, line 551: Warning: match not exhaustive
1359: (v :: nil,w :: nil,e :: nil) => ...
1360: cps/generic.sml, line 551: Warning: match not exhaustive
1361: (v :: nil,w :: nil,e :: nil) => ...
1362: cps/generic.sml, line 551: Warning: match not exhaustive
1363: (i :: v :: nil,w :: nil,e :: nil) => ...
1364: cps/generic.sml, line 551: Warning: match not exhaustive
1365: (v :: w :: nil,x :: nil,e :: nil) => ...
1366: cps/generic.sml, line 551: Warning: match not exhaustive
1367: (a :: i :: v :: nil,nil,e :: nil) => ...
1368: cps/generic.sml, line 551: Warning: match not exhaustive
1369: (a :: i :: v :: nil,nil,e :: nil) => ...
1370: cps/generic.sml, line 551: Warning: match not exhaustive
1371: (a :: nil,w :: nil,e :: nil) => ...
1372: cps/generic.sml, line 551: Warning: match not exhaustive
1373: (a :: nil,w :: nil,e :: nil) => ...
1374: cps/generic.sml, line 551: Warning: match not exhaustive
1375: (s :: i :: v :: nil,nil,e :: nil) => ...
1376: cps/generic.sml, line 551: Warning: match not exhaustive
1377: (s :: i :: nil,v :: nil,e :: nil) => ...
1378: cps/generic.sml, line 551: Warning: match not exhaustive
1379: (x :: nil,y :: nil,e :: nil) => ...
1380: cps/generic.sml, line 551: Warning: match not exhaustive
1381: (SOME i,SOME v) => ...
1382: cps/generic.sml, line 551: Warning: match not exhaustive
1383: (index :: incr :: nil,nil,c :: nil) => ...
1384: cps/generic.sml, line 551: Warning: match not exhaustive
1385: (x :: nil,nil,a :: b :: nil) => ...
1386: cps/generic.sml, line 551: Warning: match not exhaustive
1387: (nil,x :: nil,e :: nil) => ...
1388: cps/generic.sml, line 551: Warning: match not exhaustive
1389: (x :: nil,nil,e :: nil) => ...
1390: cps/generic.sml, line 551: Warning: match not exhaustive
1391: (x :: y :: nil,z :: nil,e :: nil) => ...
1392: cps/generic.sml, line 551: Warning: match not exhaustive
1393: (x :: y :: nil,z :: nil,e :: nil) => ...
1394: cps/generic.sml, line 551: Warning: match not exhaustive
1395: (x :: y :: nil,z :: nil,e :: nil) => ...
1396: cps/generic.sml, line 551: Warning: match not exhaustive
1397: (x :: y :: nil,z :: nil,e :: nil) => ...
1398: cps/generic.sml, line 551: Warning: match not exhaustive
1399: + => ...
1400: orb => ...
1401: andb => ...
1402: xorb => ...
1403: notb => ...
1404: lshift => ...
1405: rshift => ...
1406: - => ...
1407: * => ...
1408: div => ...
1409: ! => ...
1410: := => ...
1411: unboxedassign => ...
1412: ~ => ...
1413: makeref => ...
1414: delay => ...
1415: ieql => ...
1416: ineq => ...
1417: > => ...
1418: >= => ...
1419: < => ...
1420: <= => ...
1421: subscript => ...
1422: update => ...
1423: unboxedupdate => ...
1424: alength => ...
1425: slength => ...
1426: store => ...
1427: ordof => ...
1428: fneg => ...
1429: profile => ...
1430: boxed => ...
1431: gethdlr => ...
1432: sethdlr => ...
1433: fmul => ...
1434: fdiv => ...
1435: fadd => ...
1436: fsub => ...
1437: feql => ...
1438: fneq => ...
1439: fgt => ...
1440: flt => ...
1441: fge => ...
1442: fle => ...
1443: cps/generic.sml, line 551: Warning: match not exhaustive
1444: ((branch,test),(v :: w :: nil,nil,d :: e :: nil)) => ...
1445: cps/generic.sml, line 551: Warning: match not exhaustive
1446: (args',KNOWN (_,ref (SOME <pat>))) => ...
1447: (args',KNOWN ((vl,cexp),r as ref <pat>)) => ...
1448: (args' as _ :: _ :: nil,STANDARD (ref NONE)) => ...
1449: (args' as _ :: _ :: <pat> :: <pat>,STANDARD (ref NONE)) => ...
1450: (args' as _ :: _ :: nil,STANDARD (ref (SOME _))) => ...
1451: (args' as _ :: _ :: <pat> :: <pat>,STANDARD (ref (SOME _))) => ...
1452: cps/generic.sml, line 551: Warning: match not exhaustive
1453: (lab :: labs,e :: es) => ...
1454: (nil,nil) => ...
1455: cps/generic.sml, line 551: Warning: match not exhaustive
1456: RECORD (vl,w,e) => ...
1457: SELECT (i,v,w,e) => ...
1458: OFFSET (i,v,w,e) => ...
1459: APP (f,args) => ...
1460: SWITCH (v,l) => ...
1461: PRIMOP (i,vl,wl,el) => ...
1462: cps/generic.sml, line 551: Warning: match not exhaustive
1463: (_,STANDARD (ref NONE)) => ...
1464: (lab,STANDARD (r as ref (SOME <pat>))) => ...
1465: (lab,STANDARD (r as ref (SOME <pat>))) => ...
1466: (_,STANDARD _) => ...
1467: (_,KNOWN _) => ...
1468: (lab,CONSTfrag (REALconst r)) => ...
1469: (lab,CONSTfrag (STRINGconst s)) => ...
1470: cps/generic.sml, line 551: Warning: match not exhaustive
1471: (RECORD (fields,_,exp'),max) => ...
1472: (SELECT (_,_,_,exp'),max) => ...
1473: (OFFSET (_,_,_,exp'),max) => ...
1474: (APP _,max) => ...
1475: (SWITCH (_,lst),max) => ...
1476: (PRIMOP (makeref,_,_,exp' :: nil),max) => ...
1477: (PRIMOP (delay,_,_,exp' :: nil),max) => ...
1478: (PRIMOP (update,_,_,exp' :: nil),max) => ...
1479: (PRIMOP (:=,_,_,exp' :: nil),max) => ...
1480: (PRIMOP (fadd,_,_,exp' :: nil),max) => ...
1481: (PRIMOP (fsub,_,_,exp' :: nil),max) => ...
1482: (PRIMOP (fmul,_,_,exp' :: nil),max) => ...
1483: (PRIMOP (fdiv,_,_,exp' :: nil),max) => ...
1484: (PRIMOP (fneg,_,_,exp' :: nil),max) => ...
1485: (PRIMOP (_,_,_,exp' :: nil),max) => ...
1486: (PRIMOP (_,_,_,lst),max) => ...
1487: cps/generic.sml, line 551: Warning: match not exhaustive
1488: (already,a :: ar,b :: br) => ...
1489: (l,nil,nil) => ...
1490: cps/generic.sml, line 551: Warning: match not exhaustive
1491: KNOWN (_,ref (SOME fmls)) => ...
1492: KNOWN (_,ref NONE) => ...
1493: STANDARD _ => ...
1494: cps/generic.sml, line 551: Warning: binding not exhaustive
1495: APP (f,wl) = ...
1496: cps/generic.sml, line 551: Warning: match not exhaustive
1497: RECORD (_,_,e) => ...
1498: SELECT (_,_,_,e) => ...
1499: OFFSET (_,_,_,e) => ...
1500: SWITCH (_,e :: _) => ...
1501: PRIMOP (_,_,_,e :: _) => ...
1502: e as APP _ => ...
1503: cps/generic.sml, line 551: Warning: match not exhaustive
1504: SOME i => ...
1505: cps/generic.sml, line 551: Warning: match not exhaustive
1506: SOME i => ...
1507: cps/generic.sml, line 551: Warning: binding not exhaustive
1508: notastandardformal :: _ = ...
1509:
1510: Warning: can't increase heap
1511:
1512: Warning: can't increase heap
1513:
1514: Warning: can't increase heap
1515:
1516: Warning: can't increase heap
1517:
1518: Warning: can't increase heap
1519:
1520: Warning: can't increase heap
1521:
1522: [Major collection... 19% used (2245352/11650964), 7750 msec]
1523:
1524: Warning: can't increase heap
1525: [closing cps/generic.sml]
1526: [Compiling cps/closure.sml]
1527: signature CLOSURE
1528: functor Closure
1529: cps/closure.sml, line 706: Warning: binding not exhaustive
1530: Closure {contents=contents,functions=functions,...} = ...
1531: cps/closure.sml, line 706: Warning: binding not exhaustive
1532: Closure {contents=contents,...} = ...
1533: cps/closure.sml, line 706: Warning: binding not exhaustive
1534: n :: t = ...
1535: cps/closure.sml, line 706: Warning: match not exhaustive
1536: (nil,nil,seen) => ...
1537: (nil,next,seen) => ...
1538: ((Closure {contents=<pat>,functions=<pat>,offset=<pat>,stamp=<pat>},p) :: m,next,seen) => ...
1539:
1540: Warning: can't increase heap
1541:
1542: Warning: can't increase heap
1543:
1544: Warning: can't increase heap
1545:
1546: Warning: can't increase heap
1547:
1548: Warning: can't increase heap
1549:
1550: Warning: can't increase heap
1551:
1552: [Major collection... 19% used (2273052/11593256), 7430 msec]
1553:
1554: Warning: can't increase heap
1555: [closing cps/closure.sml]
1556: [Compiling cps/cpscomp.sml]
1557: functor CPScomp
1558: [closing cps/cpscomp.sml]
1559: [Compiling cps/shareglue.sml]
1560: functor IntShare
1561: [closing cps/shareglue.sml]
1562: [Compiling cps/nullglue.sml]
1563: structure IntNull
1564: [closing cps/nullglue.sml]
1565: [Compiling vax/vaxcoder.sig]
1566: signature VAXCODER
1567: signature VAXMCODER
1568: [closing vax/vaxcoder.sig]
1569: [Compiling vax/vaxascode.sml]
1570: structure VaxAssem
1571: structure VaxAsCode
1572: [closing vax/vaxascode.sml]
1573: [Compiling vax/vaxmcode.sml]
1574: structure VaxMCode
1575: vax/vaxmcode.sml, line 302: Warning: match not exhaustive
1576: (arg,address lab) => ...
1577: vax/vaxmcode.sml, line 302: Warning: match not exhaustive
1578: address lab => ...
1579: displace (k,reg 15) => ...
1580: vax/vaxmcode.sml, line 302: Warning: match not exhaustive
1581: displace (i,reg 15) => ...
1582: vax/vaxmcode.sml, line 302: Warning: match not exhaustive
1583: displace (i,reg 15) => ...
1584: vax/vaxmcode.sml, line 302: Warning: match not exhaustive
1585: (immed 0,arg,address lab) => ...
1586: (arg1,arg2,address lab) => ...
1587: vax/vaxmcode.sml, line 302: Warning: match not exhaustive
1588: (immed 0,arg,address lab) => ...
1589: (arg1,arg2,address lab) => ...
1590: vax/vaxmcode.sml, line 302: Warning: match not exhaustive
1591: address lab => ...
1592: vax/vaxmcode.sml, line 302: Warning: match not exhaustive
1593: 1 => ...
1594: 2 => ...
1595: 4 => ...
1596: vax/vaxmcode.sml, line 302: Warning: match not exhaustive
1597: 1 => ...
1598: 2 => ...
1599: 4 => ...
1600: vax/vaxmcode.sml, line 302: Warning: match not exhaustive
1601: direct (reg r) => ...
1602: autoinc (reg r) => ...
1603: autodec (reg r) => ...
1604: immed i => ...
1605: displace (i,reg r) => ...
1606: deferred (i,reg r) => ...
1607: index (ea,reg r) => ...
1608: address lab => ...
1609: [closing vax/vaxmcode.sml]
1610: [Compiling vax/vax.sml]
1611: functor VaxCM
1612: vax/vax.sml, line 179: Warning: match not exhaustive
1613: (i,direct r,s) => ...
1614: vax/vax.sml, line 179: Warning: match not exhaustive
1615: (i,direct r,s) => ...
1616: (0,a,s) => ...
1617: vax/vax.sml, line 179: Warning: match not exhaustive
1618: immedlab lab => ...
1619: vax/vax.sml, line 179: Warning: match not exhaustive
1620: (i,immedlab lab) => ...
1621: vax/vax.sml, line 179: Warning: binding not exhaustive
1622: arithtemp as direct arithtemp' = ...
1623: vax/vax.sml, line 179: Warning: binding not exhaustive
1624: dataptr as direct dataptr' = ...
1625: [closing vax/vax.sml]
1626: [Compiling vax/vaxglue.sml]
1627: structure VaxMC
1628: structure VaxAC
1629: structure IntVax
1630: structure CompVax
1631: [closing vax/vaxglue.sml]
1632: [Compiling m68/m68coder.sig]
1633: signature M68CODER
1634: signature M68MCODER
1635: [closing m68/m68coder.sig]
1636: [Compiling m68/m68ascode.sml]
1637: structure M68Assem
1638: structure M68AsCode
1639: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1640: arg as (src,dest as Direct (FloatReg <pat>)) => ...
1641: arg as (src as Direct (FloatReg <pat>),dest) => ...
1642: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1643: arg as Address lab => ...
1644: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1645: arg as Address lab => ...
1646: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1647: arg as Address lab => ...
1648: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1649: arg as Address lab => ...
1650: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1651: arg as Address lab => ...
1652: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1653: arg as Address lab => ...
1654: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1655: arg as Address lab => ...
1656: arg as Displace (AddrReg _,_) => ...
1657: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1658: arg as Address lab => ...
1659: arg as Displace (AddrReg a,i) => ...
1660: arg as Index _ => ...
1661: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1662: arg as Address lab => ...
1663: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1664: arg as Address lab => ...
1665: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1666: arg as Address lab => ...
1667: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1668: arg as Address lab => ...
1669: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1670: arg as Address lab => ...
1671: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1672: arg as Address lab => ...
1673: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1674: (_,Direct (AddrReg _)) => ...
1675: (_,Immed _) => ...
1676: (src as Direct (DataReg d),dest) => ...
1677: (src as Immed i,dest) => ...
1678: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1679: (src,dest as Immed i) => ...
1680: (src,dest as Direct (DataReg d)) => ...
1681: (src,dest as Direct (AddrReg a)) => ...
1682: (src as Immed i,dest) => ...
1683: (src as PostInc (AddrReg y),dest as PostInc (AddrReg x)) => ...
1684: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1685: (_,Immed _) => ...
1686: (src as Immed i,dest as Direct (AddrReg a)) => ...
1687: (src,dest as Direct (AddrReg a)) => ...
1688: (src as Immed i,dest) => ...
1689: (src,dest as Direct (DataReg d)) => ...
1690: (src as Direct (DataReg d),dest) => ...
1691: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1692: (_,Immed _) => ...
1693: (src as Immed i,dest as Direct (AddrReg a)) => ...
1694: (src,dest as Direct (AddrReg a)) => ...
1695: (src as Immed i,dest) => ...
1696: (src,dest as Direct (DataReg d)) => ...
1697: (src as Direct (DataReg d),dest) => ...
1698: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1699: arg as (Direct (AddrReg a),Direct (AddrReg b)) => ...
1700: arg as (Direct (DataReg a),Direct (DataReg b)) => ...
1701: arg as (Direct (AddrReg b),Direct (DataReg a)) => ...
1702: arg as (Direct (DataReg a),Direct (AddrReg b)) => ...
1703: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1704: Immed i => ...
1705: Abs i => ...
1706: Direct r => ...
1707: Displace (ra as AddrReg _,0) => ...
1708: PostInc ra => ...
1709: PreDec ra => ...
1710: Displace (r as DataReg _,i) => ...
1711: Displace (r as AddrReg _,i) => ...
1712: Index (ra,disp,r,s) => ...
1713: Address lab => ...
1714: m68/m68ascode.sml, line 365: Warning: match not exhaustive
1715: DataReg 0 => ...
1716: DataReg 1 => ...
1717: DataReg 2 => ...
1718: DataReg 3 => ...
1719: DataReg 4 => ...
1720: DataReg 5 => ...
1721: DataReg 6 => ...
1722: DataReg 7 => ...
1723: AddrReg 0 => ...
1724: AddrReg 1 => ...
1725: AddrReg 2 => ...
1726: AddrReg 3 => ...
1727: AddrReg 4 => ...
1728: AddrReg 5 => ...
1729: AddrReg 6 => ...
1730: AddrReg 7 => ...
1731: FloatReg 0 => ...
1732: FloatReg 1 => ...
1733: FloatReg 2 => ...
1734: FloatReg 3 => ...
1735: FloatReg 4 => ...
1736: FloatReg 5 => ...
1737: FloatReg 6 => ...
1738: FloatReg 7 => ...
1739: PC => ...
1740:
1741: Warning: can't increase heap
1742:
1743: [Major collection... 18% used (2134704/11500816), 6830 msec]
1744:
1745: Warning: can't increase heap
1746: [closing m68/m68ascode.sml]
1747: [Compiling m68/m68mcode.sml]
1748: structure M68MCode
1749: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1750: (src,dest as Direct (FloatReg f)) => ...
1751: (src as Direct (FloatReg f),dest) => ...
1752: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1753: Address lab => ...
1754: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1755: Address lab => ...
1756: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1757: Address lab => ...
1758: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1759: Address lab => ...
1760: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1761: Address lab => ...
1762: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1763: Address lab => ...
1764: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1765: Address lab => ...
1766: dest as Displace (AddrReg _,_) => ...
1767: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1768: Address lab => ...
1769: arg as Displace (AddrReg _,_) => ...
1770: arg as Index _ => ...
1771: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1772: Address lab => ...
1773: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1774: Address lab => ...
1775: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1776: Address lab => ...
1777: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1778: Address lab => ...
1779: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1780: Address lab => ...
1781: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1782: Address lab => ...
1783: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1784: (_,Direct (AddrReg _)) => ...
1785: (_,Immed _) => ...
1786: (Direct (DataReg d),dest) => ...
1787: (Immed i,dest) => ...
1788: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1789: (_,Immed _) => ...
1790: (src,Direct (DataReg d)) => ...
1791: (src,Direct (AddrReg a)) => ...
1792: (Immed i,dest) => ...
1793: (PostInc (AddrReg y),PostInc (AddrReg x)) => ...
1794: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1795: (src,Direct (DataReg d)) => ...
1796: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1797: (src,Direct (DataReg d)) => ...
1798: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1799: (_,Immed _) => ...
1800: (src as Immed i,dest as Direct (AddrReg a)) => ...
1801: (src,Direct (AddrReg a)) => ...
1802: (src as Immed i,dest) => ...
1803: (src,Direct (DataReg d)) => ...
1804: (Direct (DataReg d),dest) => ...
1805: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1806: (_,Immed _) => ...
1807: (src as Immed i,dest as Direct (AddrReg a)) => ...
1808: (src,Direct (AddrReg a)) => ...
1809: (src as Immed i,dest) => ...
1810: (src,Direct (DataReg d)) => ...
1811: (Direct (DataReg d),dest) => ...
1812: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1813: (Direct (DataReg a),Direct (DataReg b)) => ...
1814: (Direct (AddrReg a),Direct (AddrReg b)) => ...
1815: (Direct (DataReg a),Direct (AddrReg b)) => ...
1816: (Direct (AddrReg a),Direct (DataReg b)) => ...
1817: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1818: (Direct (AddrReg a),Direct (AddrReg b)) => ...
1819: (Direct (DataReg a),Direct (DataReg b)) => ...
1820: (Direct (AddrReg b),Direct (DataReg a)) => ...
1821: (Direct (DataReg a),Direct (AddrReg b)) => ...
1822: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1823: (opcode,Direct (FloatReg a),Direct (FloatReg b)) => ...
1824: (opcode,src,Direct (FloatReg f)) => ...
1825: (opcode,Direct (FloatReg f),dest) => ...
1826: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1827: Immed i => ...
1828: Abs i => ...
1829: Direct _ => ...
1830: PostInc _ => ...
1831: PreDec _ => ...
1832: Displace (AddrReg _,0) => ...
1833: Displace (AddrReg _,i) => ...
1834: Displace (DataReg d,0) => ...
1835: Displace (DataReg d,i) => ...
1836: Index (_,disp,DataReg d,s) => ...
1837: Index (_,disp,AddrReg d,s) => ...
1838: Address lab => ...
1839: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1840: Direct (DataReg _) => ...
1841: Direct (AddrReg _) => ...
1842: Displace (AddrReg _,0) => ...
1843: PostInc (AddrReg _) => ...
1844: PreDec (AddrReg _) => ...
1845: Displace (AddrReg _,_) => ...
1846: Displace (DataReg _,_) => ...
1847: Index (PC,_,_,_) => ...
1848: Index (AddrReg _,_,_,_) => ...
1849: Abs _ => ...
1850: Immed _ => ...
1851: Address _ => ...
1852: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1853: Direct (DataReg d) => ...
1854: Direct (AddrReg a) => ...
1855: PostInc (AddrReg a) => ...
1856: PreDec (AddrReg a) => ...
1857: Displace (AddrReg a,_) => ...
1858: Displace (DataReg a,_) => ...
1859: Index (PC,_,_,_) => ...
1860: Index (AddrReg a,_,_,_) => ...
1861: Abs i => ...
1862: Immed _ => ...
1863: Address _ => ...
1864: m68/m68mcode.sml, line 527: Warning: match not exhaustive
1865: (Jcc opcode,2,s,d) => ...
1866: (Jcc opcode,4,s,d) => ...
1867: (Jcc opcode,6,s,d) => ...
1868: (LABPTR i,_,s,d) => ...
1869: (LEA opcode,4,s,d) => ...
1870: (LEA opcode,8,s,d) => ...
1871: (FJcc cond,4,s,d) => ...
1872: (FJcc cond,6,s,d) => ...
1873: (MODE,2,s,d) => ...
1874:
1875: Warning: can't increase heap
1876:
1877: Warning: can't increase heap
1878: [closing m68/m68mcode.sml]
1879: [Compiling m68/m68.sml]
1880: functor M68CM
1881: m68/m68.sml, line 320: Warning: match not exhaustive
1882: (x,y,Immed 1) => ...
1883: (x,Direct y,Immed k) => ...
1884: (x,Direct y,Direct z) => ...
1885: m68/m68.sml, line 320: Warning: match not exhaustive
1886: (Direct x,y,Immed k) => ...
1887: (Direct x,y,Direct z) => ...
1888: (Immedlab lab,y,Direct z) => ...
1889: m68/m68.sml, line 320: Warning: match not exhaustive
1890: (x,Direct y) => ...
1891: m68/m68.sml, line 320: Warning: match not exhaustive
1892: (Direct x,y) => ...
1893: m68/m68.sml, line 320: Warning: match not exhaustive
1894: (i,Direct r,s) => ...
1895: m68/m68.sml, line 320: Warning: match not exhaustive
1896: (i,Direct r,s) => ...
1897: (0,a,s) => ...
1898: m68/m68.sml, line 320: Warning: match not exhaustive
1899: (s as Immed k,r,d as Direct (DataReg _)) => ...
1900: (s as Direct (DataReg _),r,d) => ...
1901: (s as Immed k,r,d) => ...
1902: m68/m68.sml, line 320: Warning: match not exhaustive
1903: (s as Immed k,r,d as Direct (DataReg _)) => ...
1904: (s as Direct (DataReg _),r,d) => ...
1905: (s as Immed k,r,d) => ...
1906: m68/m68.sml, line 320: Warning: match not exhaustive
1907: Immedlab lab => ...
1908: m68/m68.sml, line 320: Warning: match not exhaustive
1909: (i,Immedlab lab) => ...
1910: m68/m68.sml, line 320: Warning: match not exhaustive
1911: Direct r => ...
1912: m68/m68.sml, line 320: Warning: binding not exhaustive
1913: ptrtemp as Direct ptrtemp' = ...
1914: m68/m68.sml, line 320: Warning: binding not exhaustive
1915: arithtemp as Direct arithtemp' = ...
1916: m68/m68.sml, line 320: Warning: binding not exhaustive
1917: dataptr as Direct dataptr' = ...
1918:
1919: [Major collection... 20% used (2317380/11529656), 7370 msec]
1920:
1921: Warning: can't increase heap
1922: [closing m68/m68.sml]
1923: [Compiling m68/m68glue.sml]
1924: structure M68MC
1925: structure M68AC
1926: structure IntM68
1927: structure CompM68
1928: [closing m68/m68glue.sml]
1929: [Compiling coder/emitter.sig]
1930: signature EMITTER
1931: [closing coder/emitter.sig]
1932: [Compiling coder/basecoder.sml]
1933: signature BASECODER
1934: structure BaseCoder
1935: [closing coder/basecoder.sml]
1936: [Compiling coder/machinstr.sig]
1937: signature MACHINSTR
1938: [closing coder/machinstr.sig]
1939: [Compiling coder/coder.sml]
1940: signature CODER
1941: functor Coder
1942: coder/coder.sml, line 509: Warning: binding not exhaustive
1943: (rest,b as CODEBLK (cl,bl)) = ...
1944: coder/coder.sml, line 509: Warning: binding not exhaustive
1945: SOME e = ...
1946: coder/coder.sml, line 509: Warning: match not exhaustive
1947: 0 => ...
1948: 1 => ...
1949: 2 => ...
1950: 3 => ...
1951:
1952: Warning: can't increase heap
1953: [closing coder/coder.sml]
1954: [Compiling coder/ieeereal.sml]
1955: functor IEEEReal
1956: [closing coder/ieeereal.sml]
1957: [Compiling sparc/sparcinstr.sml]
1958: structure SparcInstr
1959: sparc/sparcinstr.sml, line 332: Warning: match not exhaustive
1960: (SetBaseAddr (ref false,_,_,_),0) => ...
1961: (SetBaseAddr (ref true,contReg,labexp,_),8) => ...
1962: (SetBaseAddr (ref true,contReg,LABELexp {base=<pat>,dst=<pat>,offset=<pat>},_),12) => ...
1963: (SetBaseAddr (ref true,contReg,labexp,tmpR),16) => ...
1964: (LoadAddr (labexp,dst,_),4) => ...
1965: (LoadAddr (labexp,dst,tmpR),12) => ...
1966: (Load (labexp,dst,_),4) => ...
1967: (Load (labexp,dst,tmpR),12) => ...
1968: (LoadF (labexp as LABELexp <pat>,FREG i,_),8) => ...
1969: (LoadF (labexp,FREG i,tmpR),20) => ...
1970: [closing sparc/sparcinstr.sml]
1971: [Compiling sparc/sparcmc.sml]
1972: structure SparcMCode
1973: structure SparcMCEmit
1974: [closing sparc/sparcmc.sml]
1975: [Compiling sparc/sparcas.sml]
1976: structure SparcAsCode
1977: structure SparcAsEmit
1978: [closing sparc/sparcas.sml]
1979: [Compiling sparc/sparc.sml]
1980: functor SparcCM
1981:
1982: Warning: can't increase heap
1983:
1984: [Major collection... 19% used (2274460/11676340), 7780 msec]
1985:
1986: Warning: can't increase heap
1987: [closing sparc/sparc.sml]
1988: [Compiling sparc/sparcglue.sml]
1989: structure SparcMC
1990: structure SparcAC
1991: structure IntSparc
1992: structure CompSparc
1993: [closing sparc/sparcglue.sml]
1994: [Compiling ns32/ns32coder.sig]
1995: signature NS32CODER
1996: signature NS32MCODER
1997: [closing ns32/ns32coder.sig]
1998: [Compiling ns32/ns32ascode.sml]
1999: structure NS32Assem
2000: structure NS32AsCode
2001: [closing ns32/ns32ascode.sml]
2002: [Compiling ns32/ns32mcode.sml]
2003: structure NS32MCode
2004: ns32/ns32mcode.sml, line 379: Warning: match not exhaustive
2005: OffAddress (lab,i) => ...
2006: Displace (k,PC) => ...
2007: ns32/ns32mcode.sml, line 379: Warning: match not exhaustive
2008: OffAddress (lab,i) => ...
2009: ns32/ns32mcode.sml, line 379: Warning: match not exhaustive
2010: OffAddress (lab,i) => ...
2011: ns32/ns32mcode.sml, line 379: Warning: match not exhaustive
2012: OffAddress (lab,i) => ...
2013: [closing ns32/ns32mcode.sml]
2014: [Compiling ns32/ns32.sml]
2015: functor NS32CM
2016: ns32/ns32.sml, line 221: Warning: match not exhaustive
2017: (x,y,Immed 1) => ...
2018: (x,Direct y,Immed k) => ...
2019: (x,Direct y,Direct z) => ...
2020: ns32/ns32.sml, line 221: Warning: match not exhaustive
2021: (Direct x,y,Immed k) => ...
2022: (Direct x,y,Direct z) => ...
2023: (Immedlab lab,y,Direct z) => ...
2024: ns32/ns32.sml, line 221: Warning: match not exhaustive
2025: (s,r,d as Direct (Genreg _)) => ...
2026: ns32/ns32.sml, line 221: Warning: match not exhaustive
2027: (i,Direct r,s) => ...
2028: ns32/ns32.sml, line 221: Warning: match not exhaustive
2029: (i,Direct r,s) => ...
2030: (0,a,s) => ...
2031: ns32/ns32.sml, line 221: Warning: match not exhaustive
2032: Immedlab lab => ...
2033: ns32/ns32.sml, line 221: Warning: match not exhaustive
2034: (i,Immedlab lab) => ...
2035: ns32/ns32.sml, line 221: Warning: binding not exhaustive
2036: arithtemp as Direct arithtemp' = ...
2037: ns32/ns32.sml, line 221: Warning: binding not exhaustive
2038: dataptr as Direct dataptr' = ...
2039: [closing ns32/ns32.sml]
2040: [Compiling ns32/ns32glue.sml]
2041: structure NS32MC
2042: structure NS32AC
2043: structure IntNS32
2044: structure CompNS32
2045: [closing ns32/ns32glue.sml]
2046: [summary()]
2047: 27043 lines
2048: parse, 526.1000000s
2049: translate, 36.620000s
2050: codeopt, 127.560000s
2051: convert, 39.620000s
2052: cpsopt, 1312.360000s
2053: closure, 283.500000s
2054: globalfix, 7.250000s
2055: spill, 261.240000s
2056: codegen, 657.250000s
2057: freemap, 29.730000s
2058: execution, 0.0s
2059: garbagetime, 658.240000s
2060: total 4026.680000s
2061: collections: 878 minor, 22 major
2062: 250087 collected from 6639085 possible (3%)
2063: 1662 knowngen
2064: 1137 knowncl
2065: 12923 stdgen
2066: [globalhandle := true]
2067: [dumpCore := false]
2068: [Exporting to upto.all]
2069:
2070: [Major collection... 24% used (1827456/7355416), 5750 msec]
2071:
2072: Warning: can't increase heap
2073:
2074: [Major collection... 99% used (1830612/1831476), 5760 msec]
2075:
2076: Warning: can't increase heap
2077: hello there
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.