=> Bootstrap dependency digest>=20010302: found digest-20111104
===> Building for twelf-1.4nb1
*************************************************
Twelf 1.4: Server
*************************************************
/usr/pkg/bin/sml < smlnj/twelf-server.sml ;
Standard ML of New Jersey v110.73 [built: Mon Oct 15 23:05:01 2012]
- [autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
val it = () : unit
[autoloading]
[library $smlnj/cm/cm.cm is stable]
[library $smlnj/internal/cm-sig-lib.cm is stable]
[library $/pgraph.cm is stable]
[library $smlnj/internal/srcpath-lib.cm is stable]
[autoloading done]
[scanning server.cm]
[scanning (server.cm):src/server/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../timing/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../timing/(sources.cm):timers.sig]
[creating directory src/timing/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../timing/(sources.cm):timers.fun]
[parsing (server.cm):src/server/(sources.cm):../timing/(sources.cm):timers.sml]
[parsing (server.cm):src/server/(sources.cm):../timing/(sources.cm):timing.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../stream/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../stream/(sources.cm):stream.sml]
[creating directory src/stream/.cm/SKEL]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../global/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../global/(sources.cm):global.sig]
[creating directory src/global/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../global/(sources.cm):global.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):table.sig]
[creating directory src/table/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):hash-table.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):string-hash.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):string-hash.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):red-black-tree.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):ring.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):ring.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):queue.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):queue.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):sparse-array.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):sparse-array.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):sparse-array2.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):sparse-array2.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):table.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):../trail/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):../trail/(sources.cm):trail.sig]
[creating directory src/trail/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):../trail/(sources.cm):trail.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):../trail/(sources.cm):notrail.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):intsyn.sig]
[creating directory src/lambda/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):intsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):whnf.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):whnf.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):conv.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):conv.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):constraints.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):constraints.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):unify.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):unify.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):abstract.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):abstract.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):approx.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):approx.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):lambda.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../names/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../names/(sources.cm):names.sig]
[creating directory src/names/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../names/(sources.cm):names.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../names/(sources.cm):names.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/(sources.cm):paths.sig]
[creating directory src/paths/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/(sources.cm):paths.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/(sources.cm):origins.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/(sources.cm):origins.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/(sources.cm):paths.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):../formatter/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):../formatter/(sources.cm):formatter.sig]
[creating directory src/formatter/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):../formatter/(sources.cm):formatter.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):../formatter/(sources.cm):formatter.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):symbol.sig]
[creating directory src/print/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):symbol.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):print.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):print.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):clause-print.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):clause-print.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):print.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):traverse.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):traverse.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):print-twega.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):print-twega.fun]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/(sources.cm):typecheck.sig]
[creating directory src/typecheck/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/(sources.cm):typecheck.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/(sources.cm):typecheck.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/(sources.cm):strict.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/(sources.cm):strict.fun]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):../index/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):../index/(sources.cm):index.sig]
[creating directory src/index/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):../index/(sources.cm):index.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):../index/(sources.cm):index-skolem.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):../index/(sources.cm):index.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modesyn.sig]
[creating directory src/modes/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modesyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modedec.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modedec.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modecheck.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modecheck.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modeprint.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modeprint.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modes.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../tabling/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../tabling/(sources.cm):tabledsyn.sig]
[creating directory src/tabling/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../tabling/(sources.cm):tabledsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../tabling/(sources.cm):tabled.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../order/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../order/(sources.cm):order.sig]
[creating directory src/order/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../order/(sources.cm):order.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../order/(sources.cm):order.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../subordinate/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../subordinate/(sources.cm):intset.sml]
[creating directory src/subordinate/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../subordinate/(sources.cm):subordinate.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../subordinate/(sources.cm):subordinate.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../subordinate/(sources.cm):subordinate.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):field.sig]
[creating directory src/domains/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):ordered-field.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):integers.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):integers.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):rationals.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):rationals.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):integers-mod.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):domains.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-manager.sig]
[creating directory src/solvers/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-manager.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-field.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-field.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-ineq-field.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-integers.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-integers.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-ineq-integers.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-strings.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-bools.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-integers-word.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):solvers.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):checking.sig]
[creating directory src/terminate/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):checking.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):reduces.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):reduces.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):terminate.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thmsyn.sig]
[creating directory src/thm/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thmsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thmprint.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thmprint.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thm.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thm.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thm.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):compsyn.sig]
[creating directory src/compile/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):compsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):compile.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):compile.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):cprint.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):cprint.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):assign.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):assign.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):compile.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):abstract.sig]
[creating directory src/opsem/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):abstract.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):index.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):index.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):tabled.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):tabled.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):absmachine.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):absmachine.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):ptrecon.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):ptrecon.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):trace.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):trace.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):tmachine.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):swmachine.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):opsem.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-global.sig]
[creating directory src/m2/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-global.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):skolem.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):skolem.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):metasyn.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):metasyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-abstract.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-abstract.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-print.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-print.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):init.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):init.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):search.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):search.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):lemma.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):lemma.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):splitting.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):splitting.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):filling.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):filling.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):qed.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):qed.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):recursion.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):recursion.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):strategy.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):strategy.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):prover.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):prover.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):mpi.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):mpi.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):m2.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modules/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modules/(sources.cm):modsyn.sig]
[creating directory src/modules/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modules/(sources.cm):modsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modules/(sources.cm):modules.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):../heuristic/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):../heuristic/(sources.cm):heuristic.sig]
[creating directory src/heuristic/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):../heuristic/(sources.cm):heuristic.sum.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funsyn.sig]
[creating directory src/meta/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funnames.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funnames.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funtypecheck.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funtypecheck.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funprint.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funprint.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):weaken.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):weaken.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funweaken.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funweaken.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):relfun.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):relfun.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):interpret.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):meta.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):abstract.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):abstract.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):init.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):init.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):filling.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):filling.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):global.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):global.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):data.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):data.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):mpi.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):mpi.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):recursion.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):recursion.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):search.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):search.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):uniquesearch.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):uniquesearch.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):splitting.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):splitting.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):inference.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):inference.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):statesyn.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):statesyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):strategy.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):strategy.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):print.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):print.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):prover.fun]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/(sources.cm):worldsyn.sig]
[creating directory src/worldcheck/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/(sources.cm):worldsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/(sources.cm):worldprint.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/(sources.cm):worldprint.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/(sources.cm):worldcheck.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/(sources.cm):cover.sig]
[creating directory src/cover/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/(sources.cm):cover.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/(sources.cm):total.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/(sources.cm):total.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/(sources.cm):cover.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):mkabsolute.sig]
[creating directory src/frontend/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):mkabsolute.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):lexer.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):lexer.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parsing.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parsing.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-term.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-term.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-condec.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-condec.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-query.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-query.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-mode.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-mode.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-thm.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-thm.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-module.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-module.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-term.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-term.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-condec.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-condec.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-query.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-query.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-fixity.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-fixity.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-mode.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-mode.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-thm.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-thm.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-module.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-module.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parser.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parser.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):solve.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):solve.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):twelf.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):twelf.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):frontend.sml]
[parsing (server.cm):src/server/(sources.cm):sigint.sig]
[creating directory src/server/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):sigint-smlnj.sml]
[parsing (server.cm):src/server/(sources.cm):server.sml]
[compiling (server.cm):src/server/(sources.cm):sigint.sig]
[creating directory src/server/.cm/GUID]
[creating directory src/server/.cm/x86-unix]
[code: 64, env: 111 bytes]
[compiling (server.cm):src/server/(sources.cm):sigint-smlnj.sml]
[code: 652, data: 40, env: 49 bytes]
[compiling (server.cm):src/server/(sources.cm):../timing/(sources.cm):timing.sml]
[creating directory src/timing/.cm/GUID]
src/timing/timing.sml:83.26-84.38 Error: operator and operand don't agree [tycon mismatch]
operator domain: {gc:Time.time, sys:Time.time, usr:Time.time} *
{gc:Time.time, sys:Time.time, usr:Time.time}
operand: {gc:Time.time, sys:Time.time, usr:Time.time} *
{sys:Time.time, usr:Time.time}
in expression:
plus (CPUTime,evalCPUTime)
val it = false : bool
stdIn:6.45-6.58 Error: unbound structure: Server in path Server.server
-
bin/.mkexec "/usr/pkg/bin/sml" "`pwd`" twelf-server "twelf-server" ;
*************************************************
Twelf 1.4: SML
*************************************************
/usr/pkg/bin/sml < smlnj/twelf-sml.sml ;
Standard ML of New Jersey v110.73 [built: Mon Oct 15 23:05:01 2012]
- [autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
val it = () : unit
[autoloading]
[library $smlnj/cm/cm.cm is stable]
[library $smlnj/internal/cm-sig-lib.cm is stable]
[library $/pgraph.cm is stable]
[library $smlnj/internal/srcpath-lib.cm is stable]
[autoloading done]
[scanning sources.cm]
[scanning (sources.cm):src/frontend/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../timing/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../stream/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../global/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../table/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../lambda/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):../trail/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../names/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../paths/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../print/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../print/(sources.cm):../formatter/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../typecheck/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../modes/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../modes/(sources.cm):../index/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../tabling/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../terminate/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../terminate/(sources.cm):../order/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../terminate/(sources.cm):../subordinate/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../terminate/(sources.cm):../solvers/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../thm/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../m2/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../m2/(sources.cm):../opsem/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../modules/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../meta/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../meta/(sources.cm):../heuristic/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../worldcheck/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../cover/sources.cm]
[compiling (sources.cm):src/frontend/(sources.cm):../paths/(sources.cm):paths.sig]
[creating directory src/paths/.cm/GUID]
[creating directory src/paths/.cm/x86-unix]
[code: 64, env: 1568 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../paths/(sources.cm):paths.fun]
src/paths/paths.fun:245.7-246.64 Warning: match nonexhaustive
(def (n,u,SOME v),occ) => ...
src/paths/paths.fun:239.7-240.64 Warning: match nonexhaustive
(def (n,u,vOpt),occ) => ...
src/paths/paths.fun:233.7-234.64 Warning: match nonexhaustive
(dec (n,v),occ) => ...
src/paths/paths.fun:219.7-227.6 Warning: match nonexhaustive
(0,path) => ...
(n,Body path) => ...
(n,Label path) => ...
(n,Here) => ...
src/paths/paths.fun:208.7-211.34 Warning: match nonexhaustive
(app (u,s),1,path) => ...
(app (u,s),n,path) => ...
src/paths/paths.fun:181.7-206.37 Warning: match nonexhaustive
(u,Here) => ...
(bind (r,NONE,u),Label path) => ...
(bind (r,SOME u1,u2),Label path) => ...
(bind (r,_,u),Body path) => ...
(root (r,_,_,_,_),Label path) => ...
(u as root _,Body path) => ...
(root (r,h,imp,actual,s),Head) => ...
(root (r,h,imp,actual,s),Arg (n,path)) => ...
(leaf r,_) => ...
[code: 11674, data: 350, env: 1498 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):intsyn.sig]
[creating directory src/lambda/.cm/GUID]
[creating directory src/lambda/.cm/x86-unix]
[code: 64, env: 6078 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../global/(sources.cm):global.sig]
[creating directory src/global/.cm/GUID]
[creating directory src/global/.cm/x86-unix]
[code: 64, env: 280 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../global/(sources.cm):global.sml]
[code: 488, env: 63 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):intsyn.fun]
src/lambda/intsyn.fun:493.11-496.18 Warning: match nonexhaustive
(t,D :: L,1,j) => ...
(t,_ :: L,n,j) => ...
src/lambda/intsyn.fun:488.7-499.8 Warning: match nonexhaustive
(G,v as Bidx k,i) => ...
src/lambda/intsyn.fun:471.6-473.53 Warning: match nonexhaustive
(Decl (G',Dec (<pat>,<pat>)),1) => ...
(Decl (G',BDec (<pat>,<pat>)),1) => ...
(Decl (G',_),k') => ...
src/lambda/intsyn.fun:430.7-431.64 Warning: match nonexhaustive
(Dec (x,V),s) => ...
(BDec (n,(l,t)),s) => ...
src/lambda/intsyn.fun:388.8-390.25 Warning: match nonexhaustive
Idx k' => ...
Block B => ...
src/lambda/intsyn.fun:306.8-308.38 Warning: match nonexhaustive
ConDef (_,_,_,U,_,_) => ...
AbbrevDef (_,_,_,U,_,_) => ...
src/lambda/intsyn.fun:227.7-230.45 Warning: match nonexhaustive
ConDec (_,_,_,_,_,L) => ...
ConDef (_,_,_,_,_,L) => ...
AbbrevDef (_,_,_,_,_,L) => ...
SkoDec (_,_,_,_,L) => ...
src/lambda/intsyn.fun:218.7-218.63 Warning: match nonexhaustive
BlockDec (_,_,Gsome,Lpi) => ...
src/lambda/intsyn.fun:205.7-208.46 Warning: match nonexhaustive
ConDec (_,_,_,_,V,_) => ...
ConDef (_,_,_,_,V,_) => ...
AbbrevDef (_,_,_,_,V,_) => ...
SkoDec (_,_,_,V,_) => ...
src/lambda/intsyn.fun:190.7-193.45 Warning: match nonexhaustive
ConDec (_,_,i,_,_,_) => ...
ConDef (_,_,i,_,_,_) => ...
AbbrevDef (_,_,i,_,_,_) => ...
SkoDec (_,_,i,_,_) => ...
src/lambda/intsyn.fun:27.7-28.58 Warning: match nonexhaustive
(Decl (G',D),1) => ...
(Decl (G',_),k') => ...
src/lambda/intsyn.fun:22.7-22.31 Warning: match nonexhaustive
Decl (G,D) => ...
[code: 18321, data: 1353, env: 4518 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):recon-term.sig]
[creating directory src/frontend/.cm/GUID]
[creating directory src/frontend/.cm/x86-unix]
[code: 72, env: 3961 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../names/(sources.cm):names.sig]
[creating directory src/names/.cm/GUID]
[creating directory src/names/.cm/x86-unix]
[code: 64, env: 4511 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):approx.sig]
[code: 64, env: 1306 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):whnf.sig]
[code: 64, env: 731 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):unify.sig]
[code: 64, env: 853 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):abstract.sig]
[code: 68, env: 610 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../print/(sources.cm):../formatter/(sources.cm):formatter.sig]
[creating directory src/formatter/.cm/GUID]
[creating directory src/formatter/.cm/x86-unix]
[code: 72, env: 966 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../print/(sources.cm):print.sig]
[creating directory src/print/.cm/GUID]
[creating directory src/print/.cm/x86-unix]
[code: 64, env: 2879 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../table/(sources.cm):table.sig]
[creating directory src/table/.cm/GUID]
[creating directory src/table/.cm/x86-unix]
[code: 64, env: 474 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../modes/(sources.cm):modesyn.sig]
[creating directory src/modes/.cm/GUID]
[creating directory src/modes/.cm/x86-unix]
[code: 64, env: 875 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-manager.sig]
[creating directory src/solvers/.cm/GUID]
[creating directory src/solvers/.cm/x86-unix]
[code: 68, env: 890 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):whnf.fun]
src/lambda/whnf.fun:510.9-523.48 Warning: match nonexhaustive
(Shift n,Null) => ...
(Dot (Idx k,t),Decl (G,D)) => ...
(Dot (Undef,t),Decl (G,D)) => ...
(Shift n,G) => ...
src/lambda/whnf.fun:485.6-489.30 Warning: match nonexhaustive
(n,Shift _,p) => ...
(n,Dot (Undef,s'),p) => ...
(n,Dot (Idx k,s'),p) => ...
src/lambda/whnf.fun:456.9-456.74 Warning: match nonexhaustive
(Dec (xOpt,V),s) => ...
src/lambda/whnf.fun:438.9-447.50 Warning: match nonexhaustive
(U as Uni L,s) => ...
(Pi (DP,U),s) => ...
(U as Root (H,S),s) => ...
(Lam (D,U),s) => ...
Us as (EVar _,s) => ...
(U as FgnExp (cs,ops),s) => ...
src/lambda/whnf.fun:419.9-424.48 Warning: match nonexhaustive
UsVs as (_,(Root _,_)) => ...
UsVs as ((Lam _,_),(Pi _,_)) => ...
((U,s1),Vs2 as (Pi (<pat>,<pat>),s2)) => ...
src/lambda/whnf.fun:397.9-398.66 Warning: match nonexhaustive
U as Root (H,S) => ...
src/lambda/whnf.fun:382.9-386.68 Warning: match nonexhaustive
(U,(Root _,s)) => ...
(U,(Pi ((<pat>,<pat>),V),s)) => ...
src/lambda/whnf.fun:368.9-370.47 Warning: match nonexhaustive
Const cid => ...
Skonst cid => ...
Def cid => ...
src/lambda/whnf.fun:360.9-364.74 Warning: match nonexhaustive
((Nil,_),Vs) => ...
((SClo (S,s'),s),Vs) => ...
((App (U,S),s1),(Pi (_,V2),s2)) => ...
src/lambda/whnf.fun:348.9-349.73 Warning: match nonexhaustive
(Nil,s) => ...
(App (U,S),s) => ...
src/lambda/whnf.fun:320.9-322.47 Warning: match nonexhaustive
(Root (Def d,S),s) => ...
src/lambda/whnf.fun:239.10-241.51 Warning: match nonexhaustive
Idx k => ...
Exp U => ...
src/lambda/whnf.fun:221.9-225.93 Warning: match nonexhaustive
X as EVar (r,G,V,ref nil) => ...
EVar _ => ...
src/lambda/whnf.fun:164.9-184.45 Warning: match nonexhaustive
(Us,(SClo (S,s2'),s2)) => ...
(Us as (Root R,s1),(Nil,s2)) => ...
((Root (H1,S1),s1),(S2,s2)) => ...
((Lam (_,U1),s1),(App (U2,S),s2)) => ...
(Us as (Lam _,s1),_) => ...
(Us as (EVar _,s1),(Nil,s2)) => ...
(Us as (X as EVar <pat>,s1),Ss2) => ...
(Us as (AVar (ref <pat>),s1),Ss2) => ...
(Us as (AVar (ref <pat>),s1),Ss2) => ...
(Us as (FgnExp _,_),_) => ...
(Us as (Uni _,s1),_) => ...
(Us as (Pi _,s1),_) => ...
src/lambda/whnf.fun:126.9-134.46 Warning: match nonexhaustive
(Ft as Idx _,s) => ...
(Ft as Exp U,s) => ...
(Ft as Undef,s) => ...
[code: 22922, data: 1186, env: 119 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):conv.sig]
[code: 64, env: 202 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):conv.fun]
src/lambda/conv.fun:160.9-160.87 Warning: match nonexhaustive
((Dec (_,V1),s1),(Dec (_,V2),s2)) => ...
[code: 12106, data: 106, env: 156 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):constraints.sig]
[code: 68, env: 273 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):constraints.fun]
src/lambda/constraints.fun:51.9-52.72 Warning: match nonexhaustive
name :: nil => ...
name :: names => ...
[code: 1992, data: 132, env: 772 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):../trail/(sources.cm):trail.sig]
[creating directory src/trail/.cm/GUID]
[creating directory src/trail/.cm/x86-unix]
[code: 64, env: 337 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):unify.fun]
src/lambda/unify.fun:631.9-645.10 Warning: match nonexhaustive
(LVar (r1,(l1,t1)),L as LVar (r2,(<pat>,<pat>))) => ...
(Bidx n1,Bidx n2) => ...
src/lambda/unify.fun:618.6-624.89 Warning: match nonexhaustive
(Idx n1,Idx n2) => ...
(Exp U1,Exp U2) => ...
(Exp U1,Idx n2) => ...
(Idx n1,Exp U2) => ...
src/lambda/unify.fun:595.9-596.43 Warning: match nonexhaustive
(G,(Dec (_,V1),s1),(Dec (_,V2),s2)) => ...
src/lambda/unify.fun:587.9-592.40 Warning: match nonexhaustive
(G,(Nil,_),(Nil,_)) => ...
(G,(SClo (S1,s1'),s1),Ss) => ...
(G,Ss,(SClo (S2,s2'),s2)) => ...
(G,(App (U1,S1),s1),(App (U2,S2),s2)) => ...
src/lambda/unify.fun:395.25-402.52 Warning: match nonexhaustive
Assign (G,EVar (r,_,_,cnstrs),W,ss) => ...
Delay (U,cnstr) => ...
src/lambda/unify.fun:412.25-418.78 Warning: match nonexhaustive
Assign (G,EVar (r,_,_,cnstrs),W,ss) => ...
Delay (U,cnstr) => ...
src/lambda/unify.fun:362.9-373.64 Warning: match nonexhaustive
(Shift n,Null,rOccur,prunable) => ...
(Dot (Idx k,t),Decl (G,D),rOccur,prunable) => ...
(Dot (Undef,t),Decl (G,d),rOccur,prunable) => ...
(Shift n,G,rOccur,prunable) => ...
src/lambda/unify.fun:347.9-358.48 Warning: match nonexhaustive
(G,s as Shift n,ss,rOccur,prunable) => ...
(G,Dot (Idx n,s'),ss,rOccur,prunable) => ...
(G,Dot (Exp U,s'),ss,rOccur,prunable) => ...
src/lambda/unify.fun:319.10-321.25 Warning: match nonexhaustive
Undef => ...
Idx k' => ...
src/lambda/unify.fun:326.3-327.39 Warning: match nonexhaustive
Bidx k' => ...
src/lambda/unify.fun:318.9-341.65 Warning: match nonexhaustive
(G,BVar k,ss,rOccur,prunable) => ...
(G,H as Const _,ss,rOccur,prunable) => ...
(G,Proj (B as Bidx <pat>,i),ss,rOccur,pruneable) => ...
(G,H as Proj (LVar <pat>,i),ss,rOccur,prunable) => ...
(G,H as Skonst _,ss,rOccur,prunable) => ...
(G,H as Def _,ss,rOccur,prunable) => ...
(G,FVar (x,V,s'),ss,rOccur,prunable) => ...
(G,H as FgnConst _,ss,rOccur,prunable) => ...
src/lambda/unify.fun:310.9-311.58 Warning: match nonexhaustive
(G,(Dec (name,V),s),ss,rOccur,prunable) => ...
src/lambda/unify.fun:252.9-307.73 Warning: match nonexhaustive
(G,(U as Uni _,s),_,_,_) => ...
(G,(Pi ((<pat>,<pat>),V),s),ss,rOccur,prunable) => ...
(G,(Lam (D,V),s),ss,rOccur,prunable) => ...
(G,(Root (H,S),s),ss,rOccur,prunable) => ...
(G,(X as EVar (<pat>,<pat>,<pat>,<pat>),s),ss,rOccur,prunable) => ...
(G,(FgnExp (_,ops),s),ss,rOccur,prunable) => ...
src/lambda/unify.fun:230.10-232.45 Warning: match nonexhaustive
Undef => ...
Idx _ => ...
src/lambda/unify.fun:225.9-235.40 Warning: match nonexhaustive
(G,Shift n,ss) => ...
(G,Dot (Idx n,s'),ss) => ...
(G,Dot (Undef,s'),ss) => ...
src/lambda/unify.fun:202.9-209.46 Warning: match nonexhaustive
(Dot (Idx k1,s1),Dot (Idx k2,s2)) => ...
(s1 as Dot _,Shift n2) => ...
(Shift n1,s2 as Dot _) => ...
(Shift _,Shift _) => ...
src/lambda/unify.fun:163.9-164.35 Warning: match nonexhaustive
((Dec (name,V),s),cnstr) => ...
src/lambda/unify.fun:118.9-128.53 Warning: match nonexhaustive
((U as Uni L,s1),_) => ...
((Pi ((<pat>,<pat>),U),s),cnstr) => ...
((Root (H,S),s),cnstr) => ...
((Lam (D,U),s),cnstr) => ...
((EVar (G,r,V,cnstrs),s),cnstr) => ...
((FgnExp (cs,ops),s),cnstr) => ...
src/lambda/unify.fun:83.9-90.27 Warning: match nonexhaustive
Instantiate refU => ...
InstantiateBlock refB => ...
Add (cnstrs as ref (cnstr :: cnstrL)) => ...
Solve (cnstr,Cnstr) => ...
src/lambda/unify.fun:37.6-39.42 Warning: match nonexhaustive
Idx i => ...
Exp E => ...
Undef => ...
[code: 42150, data: 2718, env: 799 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):abstract.fun]
src/lambda/abstract.fun:686.9-691.26 Warning: match nonexhaustive
(G,Shift _) => ...
(G,Dot (Idx _,s)) => ...
(G,Dot (Exp U,s)) => ...
src/lambda/abstract.fun:681.9-684.22 Warning: match nonexhaustive
(G,(Dec (_,V),s)) => ...
src/lambda/abstract.fun:600.9-617.5 Warning: match nonexhaustive
Null => ...
Decl (K',EV (EVar (<pat>,<pat>,<pat>,<pat>))) => ...
Decl (K',FV (name,V')) => ...
src/lambda/abstract.fun:590.9-598.85 Warning: match nonexhaustive
(Null,U) => ...
(Decl (K',EV (EVar <pat>)),U) => ...
(Decl (K',FV (<pat>,<pat>)),U) => ...
src/lambda/abstract.fun:553.9-576.5 Warning: match nonexhaustive
(Null,V) => ...
(Decl (K',EV (EVar <pat>)),V) => ...
(Decl (K',FV (<pat>,<pat>)),V) => ...
(Decl (K',LV (LVar <pat>)),V) => ...
src/lambda/abstract.fun:471.9-478.65 Warning: match nonexhaustive
(K,Shift 0) => ...
(K,Dot (Idx k,s)) => ...
(K,Dot (Exp U,s)) => ...
(K,Dot (Block (L as <pat>),s)) => ...
src/lambda/abstract.fun:456.9-457.45 Warning: match nonexhaustive
(K,depth,(Dec (x,V),s)) => ...
src/lambda/abstract.fun:418.9-425.75 Warning: match nonexhaustive
(K,depth,Shift k,S) => ...
(K,depth,Dot (Idx k,s),S) => ...
(K,depth,Dot (Exp U,s),S) => ...
src/lambda/abstract.fun:381.9-400.61 Warning: match nonexhaustive
(K,depth,(U as Uni L,s)) => ...
(K,depth,(Pi ((<pat>,<pat>),V),s)) => ...
(K,depth,(Root (F as <pat>,S),s)) => ...
(K,depth,(Root (Proj <pat>,S),s)) => ...
(K,depth,(Root (H,S),s)) => ...
(K,depth,(Lam (D,U),s)) => ...
(K,depth,(X as EVar _,s)) => ...
(K,depth,(FgnExp (cs,ops),s)) => ...
src/lambda/abstract.fun:363.9-367.35 Warning: match nonexhaustive
(Decl (K',LV (LVar <pat>)),depth,L as LVar (r,_)) => ...
(Decl (K',_),depth,L) => ...
src/lambda/abstract.fun:346.9-352.35 Warning: match nonexhaustive
(Decl (K',FV (<pat>,<pat>)),depth,F as FVar (n,_,_)) => ...
(Decl (K',_),depth,F) => ...
src/lambda/abstract.fun:329.9-335.33 Warning: match nonexhaustive
(Decl (K',EV (EVar <pat>)),depth,X as EVar (r,_,_,_)) => ...
(Decl (K',_),depth,X) => ...
src/lambda/abstract.fun:283.9-288.47 Warning: match nonexhaustive
(LVar (ref (SOME <pat>),_),K) => ...
(L as LVar (_,(<pat>,<pat>)),K) => ...
src/lambda/abstract.fun:270.9-275.42 Warning: match nonexhaustive
(G,Shift _,K) => ...
(G,Dot (Idx _,s),K) => ...
(G,Dot (Exp U,s),K) => ...
(G,Dot (Block B,s),K) => ...
src/lambda/abstract.fun:256.9-261.29 Warning: match nonexhaustive
(G,(Dec (_,V),s),K) => ...
(G,(BDec (_,(<pat>,<pat>)),s),K) => ...
src/lambda/abstract.fun:196.9-227.54 Warning: match nonexhaustive
(G,(Uni L,s),K) => ...
(G,(Pi ((<pat>,<pat>),V),s),K) => ...
(G,(Root (F as <pat>,S),s),K) => ...
(G,(Root (Proj <pat>,S),s),K) => ...
(G,(Root (_,S),s),K) => ...
(G,(Lam (D,U),s),K) => ...
(G,(X as EVar (<pat>,<pat>,<pat>,<pat>),s),K) => ...
(G,(FgnExp (cs,ops),s),K) => ...
src/lambda/abstract.fun:151.9-151.59 Warning: match nonexhaustive
(k,Dec (_,V)) => ...
src/lambda/abstract.fun:147.9-148.88 Warning: match nonexhaustive
(_,Nil) => ...
(k,App (U,S)) => ...
src/lambda/abstract.fun:135.9-144.55 Warning: match nonexhaustive
(k,BVar k',DP) => ...
(k,Const _,DP) => ...
(k,Def _,DP) => ...
(k,Proj _,DP) => ...
(k,FgnConst _,DP) => ...
(k,Skonst _,No) => ...
(k,Skonst _,Meta) => ...
(k,Skonst _,Maybe) => ...
src/lambda/abstract.fun:128.9-132.106 Warning: match nonexhaustive
(k,Uni _) => ...
(k,Pi (DP,V)) => ...
(k,Root (H,S)) => ...
(k,Lam (D,V)) => ...
(k,FgnExp (cs,ops)) => ...
src/lambda/abstract.fun:54.9-59.69 Warning: match nonexhaustive
Null => ...
Decl (G,FV _) => ...
Decl (G,EV (EVar (<pat>,<pat>,<pat>,<pat>))) => ...
Decl (G,EV (EVar (<pat>,<pat>,<pat>,<pat>))) => ...
Decl (G,LV _) => ...
[code: 24043, data: 1187, env: 967 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):approx.fun]
src/lambda/approx.fun:362.11-376.62 Warning: match nonexhaustive
(Const c1,Const c2) => ...
(Def d1,Def d2) => ...
(Def d1,_) => ...
(_,Def d2) => ...
(NSDef d1,NSDef d2) => ...
(NSDef d1,_) => ...
(_,NSDef d2) => ...
src/lambda/approx.fun:288.10-301.18 Warning: match nonexhaustive
Level 1 => ...
Level 2 => ...
src/lambda/approx.fun:245.8-267.79 Warning: match nonexhaustive
(G,Uni L,_,allowed) => ...
(G,Arrow (V1,V2),L,allowed) => ...
(G,V as CVar r,L,allowed) => ...
(G,Const H,L,allowed) => ...
src/lambda/approx.fun:234.8-235.36 Warning: match nonexhaustive
Level 1 => ...
Level 2 => ...
src/lambda/approx.fun:217.9-229.17 Warning: match nonexhaustive
ConDef (_,_,_,U,_,_) => ...
AbbrevDef (_,_,_,U,_,_) => ...
src/lambda/approx.fun:160.8-185.45 Warning: match nonexhaustive
Uni L => ...
Pi ((Dec (<pat>,<pat>),_),V2) => ...
Root (FVar (name,_,_),_) => ...
Root (H,_) => ...
Redex (U,_) => ...
Lam (_,U) => ...
EClo (U,_) => ...
src/lambda/approx.fun:146.13-147.38 Warning: match nonexhaustive
SOME (UVL,_) => ...
src/lambda/approx.fun:126.31-128.50 Warning: match nonexhaustive
Level 2 => ...
Level 3 => ...
src/lambda/approx.fun:120.12-140.22 Warning: match nonexhaustive
(U as CVar r,V,L,allowed) => ...
src/lambda/approx.fun:111.40-111.73 Warning: match nonexhaustive
((CVar r',_,_),_) => ...
src/lambda/approx.fun:14.8-18.44 Warning: match nonexhaustive
Const c => ...
Skonst c => ...
Def d => ...
NSDef d => ...
FgnConst (_,cd) => ...
[code: 19560, data: 1308, env: 1150 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):../trail/(sources.cm):notrail.sml]
[code: 984, env: 150 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):../trail/(sources.cm):trail.sml]
[code: 2148, env: 217 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../lambda/(sources.cm):lambda.sml]
[code: 1456, env: 2965 bytes]
[compiling (sources.cm):src/frontend/(sources.cm):../names/(sources.cm):names.fun]
src/names/names.fun:743.58-743.71 Error: unbound variable or constructor: all in path Substring.all
val it = false : bool
stdIn:6.37-6.48 Error: unbound structure: Timing in path Timing.init
stdIn:6.14-6.27 Error: unbound structure: Twelf in path Twelf.version
-
bin/.mkexec "/usr/pkg/bin/sml" "`pwd`" twelf-sml "twelf-sml" ;
=> Unwrapping files-to-be-installed.
find /scratch/lang/twelf/work/twelf -name "*.orig" | xargs rm