├── vm-seam ├── NEWS ├── test │ └── native │ │ ├── .cvsignore │ │ ├── Timer.asig │ │ └── Makefile ├── alice │ ├── lib │ │ ├── .cvsignore │ │ ├── Makefile.am │ │ ├── system │ │ │ └── .cvsignore │ │ ├── utility │ │ │ ├── .cvsignore │ │ │ └── Makefile.am │ │ └── distribution │ │ │ ├── .cvsignore │ │ │ └── Makefile.am │ ├── .cvsignore │ └── primitives │ │ ├── .cvsignore │ │ ├── Word8.cc │ │ ├── CharVector.cc │ │ ├── Word31.cc │ │ ├── Vector.cc │ │ ├── Word8Vector.cc │ │ ├── Array.cc │ │ ├── CharArray.cc │ │ ├── Word8Array.cc │ │ ├── List.cc │ │ └── Option.cc ├── debian │ ├── .cvsignore │ ├── alice-dev.install │ ├── alice.install │ ├── copyright │ ├── Makefile.am │ └── alice.info ├── bin │ ├── .cvsignore │ ├── alicedep │ ├── alicelex │ ├── alicelink │ ├── alicec │ └── alice ├── README ├── ChangeLog ├── Build1.aml ├── AUTHORS ├── .cvsignore └── Makefile.cvs ├── doc ├── man │ ├── .cvsignore │ └── see_also ├── samples │ ├── .cvsignore │ ├── calc │ │ └── .cvsignore │ ├── ants │ │ ├── lazyant.ant │ │ ├── sim │ │ ├── .cvsignore │ │ ├── parsec │ │ │ └── .cvsignore │ │ └── samples │ │ │ ├── tiny.world │ │ │ └── homebase.world │ ├── adg │ │ ├── TODO │ │ └── Makefile │ ├── snake │ │ ├── client │ │ │ ├── .cvsignore │ │ │ ├── windows │ │ │ │ ├── .cvsignore │ │ │ │ ├── Error.aml │ │ │ │ └── logo.png │ │ │ └── Makefile │ │ ├── common │ │ │ ├── .cvsignore │ │ │ └── Makefile │ │ ├── server │ │ │ ├── .cvsignore │ │ │ ├── Snake.aml │ │ │ ├── NOTES │ │ │ ├── READ_WRITE_LOCK-sig.aml │ │ │ └── Makefile │ │ ├── docs │ │ │ ├── Snake.sxi │ │ │ ├── still_to_do.txt │ │ │ └── snake-semantic.txt │ │ ├── run.sh │ │ └── Makefile │ ├── aliceparser │ │ └── .cvsignore │ ├── chat │ │ ├── client │ │ │ └── Makefile │ │ ├── common │ │ │ └── Makefile │ │ ├── server │ │ │ └── Makefile │ │ ├── seam_client │ │ │ └── Makefile │ │ └── Makefile │ ├── MY_COMPONENT-sig.aml │ ├── WebProjekt.aml │ ├── snake_proof_of_concept │ │ ├── common │ │ │ └── Makefile │ │ ├── server │ │ │ └── Makefile │ │ ├── client │ │ │ ├── Makefile │ │ │ └── ClientMain.aml │ │ ├── Makefile │ │ └── levels │ │ │ └── simple.lev │ ├── icfp2006 │ │ ├── codex.umz │ │ ├── use.sml │ │ └── Makefile │ ├── MyApplication.aml │ └── MyComponent.aml ├── manual │ ├── examples │ │ ├── .cvsignore │ │ └── interpreter │ │ │ ├── LEXER-sig.aml │ │ │ ├── PARSER-sig.aml │ │ │ ├── ELAB-sig.aml │ │ │ └── EVAL-sig.aml │ ├── bg.gif │ ├── explorer.jpg │ ├── explorer.png │ ├── logo-large.gif │ ├── logo-small.gif │ ├── cptutorial │ │ ├── .cvsignore │ │ ├── figs │ │ │ ├── fig5.dia │ │ │ ├── alice.eps │ │ │ ├── cp_2_new.dia │ │ │ ├── solution_safe2.eps │ │ │ └── setdistribution.eps │ │ └── logo-small.gif │ ├── inspector-1.jpg │ ├── inspector-2.jpg │ ├── inspector-3.jpg │ ├── inspector-fd-1.jpg │ ├── inspector-fd-2.jpg │ ├── inspector-fd-3.jpg │ ├── inspector-fd-4.jpg │ ├── inspector-fd-5.jpg │ ├── inspector-fd-6.jpg │ ├── mozart_cartoon.jpg │ ├── inspector-conc-1.jpg │ ├── inspector-conc-1.png │ ├── inspector-conc-2.jpg │ ├── inspector-conc-2.png │ ├── inspector-conc-3.jpg │ ├── inspector-conc-3.png │ ├── inspector-conc-4.jpg │ ├── inspector-conc-4.png │ ├── inspector-conc-5.jpg │ ├── inspector-conc-6.jpg │ ├── inspector-intro-1.png │ ├── inspector-intro-2.png │ ├── inspector-intro-3.png │ ├── inspector-intro-4.png │ ├── inspector-lazy-1.png │ ├── inspector-pack-1.png │ ├── inspector-pack-2.png │ ├── inspector-prom-1.png │ ├── inspector-prom-2.png │ ├── inspector-prom-3.png │ ├── inspector-prom-4.png │ ├── inspector-search-1.png │ ├── menu.html │ └── library │ │ └── menu.html ├── papers │ ├── stockwerk │ │ ├── .cvsignore │ │ ├── bib.tex │ │ ├── section7.tex │ │ ├── section8.tex │ │ ├── Makefile │ │ └── section6.tex │ └── babel01 │ │ ├── babel01.pdf │ │ ├── babel01.ppt │ │ └── .cvsignore ├── homepage │ ├── bg.gif │ ├── logos │ │ ├── bg.gif │ │ ├── alice-ps-100x32.gif │ │ ├── alice-base-plain-black-72x23.gif │ │ ├── alice-strikethrough-shadow-blue-72x22.gif │ │ ├── alice-strikethrough-shadow-blue-136x43.gif │ │ ├── alice-strikethrough-shadow-blue-190x60.gif │ │ ├── alice-strikethrough-shadow-blue-254x80.gif │ │ ├── alice-strikethrough-shadow-blue-254x80.jpg │ │ ├── alice-strikethrough-shadow-blue-692x218.jpg │ │ ├── alice-strikethrough-shadow-rainbow-254x80.jpg │ │ └── alice-strikethrough-shadow-rainbow-692x218.jpg │ ├── papers.html │ └── papers │ │ ├── NEPAntrag2001.pdf │ │ ├── NEPBericht2001.pdf │ │ └── NEPReport2004.pdf ├── presentations │ ├── X.bmp │ ├── FLINT.ppt │ ├── Web-Projekt.ppt │ ├── AliceOnMozart.ppt │ ├── RuntimeTypes.ppt │ ├── SFB-Nov-2000.ppt │ ├── TypesInAlice.ppt │ ├── C-Tag 2001 Alice.ppt │ ├── DevLab-2000-01.ppt │ ├── Jamboree-2000-03.ppt │ ├── SFB Meeting 2002.ppt │ ├── SFB Meeting 2003.ppt │ ├── Stockwerk Design.ppt │ ├── progress19990916.ppt │ ├── progress20000313.ppt │ ├── progress20001130.ppt │ ├── progress20010521.ppt │ ├── Stockwerk 20020304.ppt │ ├── Stockwerk20020503.ppt │ ├── Alice Type Frontier.ppt │ ├── StockhausenOperette1.ppt │ ├── progress20000818 Leif.ppt │ ├── progress20020510 Leif.ppt │ ├── Mozart Developers' Meeting.ppt │ ├── progress20000818 Andreas.ppt │ ├── progress20000818 Thorsten.ppt │ ├── PDC2000 Language Research Booth.ppt │ └── PDC2000 Language Research Panel.ppt ├── historical │ └── values+types.txt └── specifications │ └── JVM-Spec-2nd-edition.tgz ├── test ├── suite │ ├── .cvsignore │ ├── lib │ │ ├── regression │ │ │ ├── results │ │ │ │ ├── ring.ok │ │ │ │ ├── tak.ok │ │ │ │ ├── big-array.ok │ │ │ │ ├── conv.ok │ │ │ │ ├── fast.ok │ │ │ │ ├── format.ok │ │ │ │ ├── kitqsort.ok │ │ │ │ ├── vector2.ok │ │ │ │ ├── vector3.ok │ │ │ │ ├── command-line.ok │ │ │ │ ├── deep-flatten.ok │ │ │ │ ├── exn.ok │ │ │ │ ├── flat-array.ok │ │ │ │ ├── known-case0.ok │ │ │ │ ├── known-case1.ok │ │ │ │ ├── os-exit.ok │ │ │ │ ├── pat.ok │ │ │ │ ├── poly-equal.2.ok │ │ │ │ ├── poly-equal.ok │ │ │ │ ├── ref-flatten.ok │ │ │ │ ├── string2.ok │ │ │ │ ├── constraint.ok │ │ │ │ ├── flat-array.2.ok │ │ │ │ ├── kitreynolds2.ok │ │ │ │ ├── kitreynolds3.ok │ │ │ │ ├── ref-flatten.2.ok │ │ │ │ ├── equality-types.ok │ │ │ │ ├── int-inf.3.ok │ │ │ │ ├── time2.ok │ │ │ │ ├── functor.ok │ │ │ │ ├── kitloop2.ok │ │ │ │ ├── int-inf.1.ok │ │ │ │ ├── cmdline.ok │ │ │ │ ├── testMatrix.ok │ │ │ │ ├── fft.ok │ │ │ │ ├── char.scan.ok │ │ │ │ ├── string.fromString.ok │ │ │ │ ├── kittmergesort.ok │ │ │ │ ├── local-ref.ok │ │ │ │ ├── time3.ok │ │ │ │ ├── stringcvt.ok │ │ │ │ ├── array5.ok │ │ │ │ ├── listpair.ok │ │ │ │ └── print-self.ok │ │ │ ├── tests │ │ │ │ ├── .cvsignore │ │ │ │ ├── tststrcmp.aml │ │ │ │ ├── REGRESSION-sig.aml │ │ │ │ ├── scon.aml │ │ │ │ ├── comment-end.aml │ │ │ │ └── os-exit.aml │ │ │ └── Makefile │ │ ├── compiler │ │ │ ├── .cvsignore │ │ │ └── Makefile │ │ ├── fundamental │ │ │ └── .cvsignore │ │ ├── system │ │ │ ├── .cvsignore │ │ │ └── Makefile │ │ ├── data │ │ │ └── Makefile │ │ └── Makefile │ ├── src │ │ ├── .cvsignore │ │ ├── Makefile │ │ └── TEST-sig.aml │ ├── run.sh │ └── Makefile ├── icfp2001 │ ├── tests │ │ ├── notags.smlng │ │ ├── simple.smlng │ │ ├── redundancy-elimination.smlng │ │ ├── denys1.smlng │ │ ├── color-nesting.smlng │ │ ├── EM-elimination.smlng │ │ ├── PL-shortcut.smlng │ │ ├── overlap-inversion.smlng │ │ └── whitespace-simplification.smlng │ ├── buildme │ ├── .cvsignore │ ├── doc │ │ └── bg.gif │ ├── helikopter.tar.gz │ └── constraints │ │ └── Select.asig ├── icfp2000 │ ├── runme │ ├── runme.bat │ ├── .cvsignore │ ├── README │ ├── info.txt │ ├── doc │ │ └── bg.gif │ ├── buildme │ ├── helikopter.tar.gz │ ├── denys │ │ ├── install-sh │ │ ├── Makefile.rules │ │ ├── Makefile.vars │ │ └── configure.in │ ├── src │ │ ├── build.sml │ │ ├── .cvsignore │ │ └── sources.cm │ └── packme ├── bench │ ├── .cvsignore │ ├── TIMER-sig.aml │ ├── UnsafeTimer.asig │ ├── Timer.aml │ ├── AliceTimer.asig │ ├── UnsafeTimer.oz │ └── Makefile ├── matchCompilationPhase │ ├── bug1.sml │ └── bug2.sml ├── test-trans2.aml ├── explicit-import.aml ├── recompile-b.aml ├── recompile-a.aml ├── test-trans3.aml └── test-trans.aml ├── .cvsignore ├── lib ├── postscript │ └── .cvsignore ├── constraints │ ├── test │ │ └── .cvsignore │ ├── distribution │ │ ├── search-Slides │ │ │ ├── talk.out │ │ │ ├── part1.jpg │ │ │ ├── part1.xcf │ │ │ ├── part2.jpg │ │ │ ├── part2.xcf │ │ │ ├── part3.jpg │ │ │ ├── part3.xcf │ │ │ ├── talk.dvi │ │ │ ├── talk.pdf │ │ │ ├── talk.sty │ │ │ └── snapshot.jpg │ │ ├── .cvsignore │ │ ├── PARCEL-sig.aml │ │ └── initScript │ └── .cvsignore ├── data │ ├── .cvsignore │ ├── WideAtom.aml │ ├── ORDERED-sig.aml │ ├── sources.cm │ └── SITED-sig.aml ├── gecode │ ├── examples │ │ └── .cvsignore │ ├── distributed-search │ │ └── .cvsignore │ ├── debian │ │ ├── alice-gecode.install │ │ └── control │ ├── .cvsignore │ └── search-factory │ │ ├── .cvsignore │ │ └── TODO ├── gtk │ ├── seam │ │ ├── ckit │ │ │ ├── ast │ │ │ │ ├── .cvsignore │ │ │ │ ├── pp │ │ │ │ │ └── .cvsignore │ │ │ │ ├── extensions │ │ │ │ │ └── c │ │ │ │ │ │ ├── .cvsignore │ │ │ │ │ │ └── eq-ast-ext.sml │ │ │ │ ├── pidtab.sml │ │ │ │ ├── tid.sml │ │ │ │ ├── pid.sml │ │ │ │ ├── tidtab.sml │ │ │ │ ├── tables.sml │ │ │ │ ├── aidtab.sml │ │ │ │ ├── aid.sml │ │ │ │ ├── initializer-normalizer-sig.sml │ │ │ │ └── uid-sig.sml │ │ │ ├── parser │ │ │ │ ├── .cvsignore │ │ │ │ ├── util │ │ │ │ │ └── .cvsignore │ │ │ │ ├── grammar │ │ │ │ │ ├── .cvsignore │ │ │ │ │ ├── Makefile │ │ │ │ │ └── README │ │ │ │ └── extensions │ │ │ │ │ └── c │ │ │ │ │ └── .cvsignore │ │ │ ├── variants │ │ │ │ ├── .cvsignore │ │ │ │ ├── ansic │ │ │ │ │ └── .cvsignore │ │ │ │ ├── config-sig.sml │ │ │ │ └── sources.cm │ │ │ ├── ckit.cm │ │ │ ├── sources.cm │ │ │ ├── test.c │ │ │ └── ast-utils │ │ │ │ └── simplifier │ │ │ │ ├── extensions │ │ │ │ └── c │ │ │ │ │ └── copy-ast-ext.sml │ │ │ │ └── sources.cm │ │ ├── prepare │ │ │ ├── .cvsignore │ │ │ └── gtkdefs.c │ │ ├── samples │ │ │ ├── .cvsignore │ │ │ ├── logo.png │ │ │ └── logo-blue.png │ │ ├── debian │ │ │ └── alice-gtk.install │ │ ├── TODO │ │ ├── hellotest │ │ ├── doc │ │ │ ├── report.tex │ │ │ └── vortrag.ppt │ │ ├── StrMap.aml │ │ └── .cvsignore │ ├── mozart │ │ ├── samples │ │ │ └── .cvsignore │ │ ├── gtkdefs.c │ │ ├── WRAPPER-sig.aml │ │ ├── SIGNATURE-sig.aml │ │ ├── Gdk.aml │ │ ├── Gtk.aml │ │ ├── UnsafeGdk.asig │ │ └── UnsafeGtk.asig │ └── .cvsignore ├── system │ ├── .cvsignore │ ├── sources.cm │ ├── resolver.cm │ ├── Rand.aml │ ├── RAND-sig.aml │ ├── SIGNAL-sig.aml │ ├── UnsafeTime.asig │ ├── UnsafeConfig.asig │ ├── Debug.aml │ └── UnsafeSignal.asig ├── tools │ ├── inspector │ │ ├── seam │ │ │ ├── gui │ │ │ │ ├── .cvsignore │ │ │ │ └── LAYOUT_LIST-sig.aml │ │ │ └── .cvsignore │ │ └── mozart │ │ │ ├── .cvsignore │ │ │ └── test │ │ │ ├── rtt.aml │ │ │ ├── killer.aml │ │ │ ├── names.aml │ │ │ └── Makefile │ └── explorer │ │ └── seam │ │ └── .cvsignore ├── test │ ├── .cvsignore │ └── Makefile ├── xml │ ├── .cvsignore │ └── debian │ │ ├── alice-xml.install │ │ └── control ├── mysql │ └── .cvsignore ├── regex │ ├── .cvsignore │ └── debian │ │ ├── alice-regex.install │ │ ├── changelog │ │ └── control ├── sqlite │ ├── .cvsignore │ └── debian │ │ ├── alice-sqlite.install │ │ └── control ├── distribution │ ├── search │ │ ├── .cvsignore │ │ ├── samples │ │ │ └── .cvsignore │ │ ├── Trace.aml │ │ ├── LOGGER-sig.aml │ │ ├── PROCESS-sig.aml │ │ └── REMOTE_WORKER-sig.aml │ ├── .cvsignore │ └── Remote.aml ├── rtt │ ├── .cvsignore │ ├── backedge │ │ ├── .cvsignore │ │ ├── README │ │ ├── TODO │ │ └── Makefile │ ├── name.cm │ ├── fixity.cm │ ├── pp-misc.cm │ ├── label.cm │ ├── PathMap.aml │ ├── PathSet.aml │ └── LabelSet.aml ├── utility │ ├── .cvsignore │ ├── UnsafeAddr.asig │ ├── Addr.aml │ └── STAT-sig.aml ├── fundamental │ └── .cvsignore ├── sandbox │ └── SecurityViolation.aml └── debugger │ └── STREAM-sig.aml ├── tools ├── yacc │ ├── bootstrap │ │ └── .cvsignore │ ├── test │ │ ├── test6.lam │ │ ├── test7.lam │ │ ├── test2.cm │ │ ├── test4.cm │ │ ├── test8.sml │ │ ├── testerror.sml │ │ ├── test6.sml │ │ ├── test3.sml │ │ ├── .cvsignore │ │ ├── test.aml │ │ ├── test5.sml │ │ └── test7.join │ ├── jacke.grm-sig.aml │ ├── MAIN-sig.aml │ ├── aliceyacc │ ├── .cvsignore │ ├── JackeParser.aml.header │ ├── Set.aml │ └── README ├── lex │ ├── test │ │ └── .cvsignore │ ├── TODO │ ├── alicelex │ ├── .cvsignore │ ├── HOSE-sig.aml │ ├── PARSE-sig.aml │ ├── COLLECT-sig.aml │ ├── HoseParser.aml.header │ └── OUTPUT-sig.aml ├── toplevel │ ├── .cvsignore │ ├── easteregg │ │ ├── .cvsignore │ │ └── Alice_small.png │ ├── alice │ ├── BufferTextIterator.aml │ └── TOPLEVEL-sig.aml ├── depend │ ├── sources.cm │ ├── .cvsignore │ ├── SML_PARSER-sig.aml.header │ ├── SMLParser.grm.aml.header │ ├── SMLLexer.aml.header │ ├── make-depend.cm │ ├── ANALYZER-sig.aml │ ├── PARSER-sig.aml │ ├── MAKE_DEPEND-sig.aml │ └── sml-parser.cm ├── ffigen │ ├── ckit │ │ ├── ckit.cm │ │ ├── sources.cm │ │ ├── test.c │ │ ├── ast │ │ │ ├── pidtab.sml │ │ │ ├── tid.sml │ │ │ ├── pid.sml │ │ │ ├── tidtab.sml │ │ │ ├── tables.sml │ │ │ ├── aidtab.sml │ │ │ ├── aid.sml │ │ │ ├── extensions │ │ │ │ └── c │ │ │ │ │ └── eq-ast-ext.sml │ │ │ ├── initializer-normalizer-sig.sml │ │ │ └── uid-sig.sml │ │ ├── variants │ │ │ ├── config-sig.sml │ │ │ └── sources.cm │ │ ├── parser │ │ │ └── grammar │ │ │ │ ├── Makefile │ │ │ │ └── README │ │ └── ast-utils │ │ │ └── simplifier │ │ │ ├── extensions │ │ │ └── c │ │ │ │ └── copy-ast-ext.sml │ │ │ └── sources.cm │ ├── gtk │ │ ├── gtk.h │ │ └── Gtk.aml │ ├── Config.sml │ ├── Main.sml │ ├── Util.sml │ ├── Binding.sml │ ├── Container.sml │ ├── sample │ │ └── util.cc │ ├── PatternMatching.sml │ ├── doc │ │ ├── documentation_binding.tex │ │ └── Makefile │ ├── include │ │ └── types.aml │ ├── SET-sig.sml │ ├── PREPARE-sig.sml │ ├── PARSER-sig.sml │ └── BINDING-sig.sml ├── linker │ └── Build1Linker.aml └── gtkbuilder │ └── alicegtkbuilder ├── ALICEVERSION ├── compiler ├── backend-common │ ├── .cvsignore │ ├── arity.cm │ ├── specialize.cm │ ├── NAME_FUNS-sig.aml │ ├── test │ │ └── liveness.aml │ ├── engine.cm │ ├── liveness-analysis-phase.cm │ ├── output-flat-grammar.cm │ ├── sources.cm │ ├── CODE-sig.aml │ └── intermediate-aux.cm ├── backend-dotnet │ ├── .cvsignore │ └── SKELETON-sig.aml ├── doc │ ├── .cvsignore │ ├── abstract-code.tex │ └── types-plan.txt ├── frontend-common │ ├── test │ │ ├── .cvsignore │ │ ├── infixexport.sml │ │ ├── dataexport.sml │ │ ├── tagexp.sml │ │ ├── infiximport.sml │ │ ├── dataimport.sml │ │ ├── recupdate.sml │ │ ├── usefile.sml │ │ ├── eta.sml │ │ ├── freevar.sml │ │ ├── decgroup-typeschemes.aml │ │ ├── where2.sml │ │ ├── manistr.sml │ │ ├── where.sml │ │ ├── reftype.aml │ │ ├── lambdas_in_types.sml │ │ ├── caml_sig_error.sml │ │ └── modules.sml │ ├── .cvsignore │ ├── sources.cm │ ├── typed-grammar.cm │ └── abstract-grammar.cm ├── .cvsignore ├── common │ ├── sources.cm │ ├── .cvsignore │ ├── check.cm │ ├── id-stamp.cm │ ├── Stamp.aml │ ├── StampMap.aml │ ├── StampSet.aml │ └── CHECK_INTERMEDIATE-sig.aml ├── backend-mozart │ ├── .cvsignore │ ├── crc.cm │ ├── pickle-out-stream.cm │ └── CRC-sig.aml ├── top │ ├── .cvsignore │ ├── make-option-parser.cm │ ├── compiler.cm │ ├── make-batch-compiler.cm │ ├── make-recursive-compiler.cm │ ├── main-seam.cm │ ├── main-dotnet.cm │ ├── main-mozart.cm │ └── BATCH_COMPILER-sig.aml ├── frontend-sml │ ├── test │ │ ├── .cvsignore │ │ └── refcon.aml │ ├── .cvsignore │ ├── PARSER-sig.aml.header │ ├── sources.cm │ ├── input-grammar.cm │ └── Lexer.aml.header ├── backend-seam │ └── .cvsignore └── infrastructure │ ├── .cvsignore │ ├── crash.cm │ ├── switches.cm │ ├── source.cm │ ├── pp-misc.cm │ ├── target.cm │ ├── sources.cm │ ├── REPRESENTATION-sig.aml │ ├── CONTEXT-sig.aml │ ├── IntMap.aml │ ├── phase.cm │ ├── StringMap.aml │ ├── CRASH-sig.aml │ └── EmptyContext.aml ├── misc ├── logo │ ├── .cvsignore │ ├── stockwerk.gif │ ├── stockwerk.psp │ ├── stockhausen.cdr │ ├── stockhausen.gif │ ├── stockhausen.jpg │ ├── alice-ps-100x32.gif │ ├── alice-base-plain-black-72x23.gif │ ├── alice-strikethrough-shadow-blue-190x60.gif │ ├── alice-strikethrough-shadow-blue-254x80.gif │ ├── alice-strikethrough-shadow-blue-254x80.jpg │ ├── alice-strikethrough-shadow-blue-692x218.jpg │ ├── alice-strikethrough-shadow-blue-72x22.gif │ ├── alice-strikethrough-shadow-rainbow-254x80.jpg │ └── alice-strikethrough-shadow-rainbow-692x218.jpg ├── Alice.ico ├── Alice.ism ├── debian │ ├── NEWS │ ├── share │ │ ├── pixmaps │ │ │ └── alice.png │ │ └── applications │ │ │ └── alice.desktop │ ├── ChangeLog │ ├── configure.ac │ ├── bin │ │ └── Makefile.am │ ├── AUTHORS │ ├── debian │ │ ├── menu │ │ ├── Makefile.am │ │ └── control │ └── Makefile.cvs ├── dist-seam │ ├── NEWS │ ├── configure.ac │ ├── ChangeLog │ ├── bin │ │ └── Makefile.am │ ├── AUTHORS │ └── Makefile.cvs ├── mozart_cartoon.jpg ├── sml-mode │ ├── gmon.out │ ├── .cvsignore │ └── BUGS └── release │ └── README ├── bootstrap ├── .cvsignore ├── main-seam.cm ├── make-depend.cm ├── main-dotnet.cm ├── main-mozart.cm ├── value.cm ├── http-client.cm ├── DummyPackage.sml ├── url-map.cm ├── fixparser.awk ├── DummyStore.sml ├── component.cm ├── DummyAddr.sml ├── alicec ├── DummyLock.sml └── DummyPosix.sml ├── vm-mozart ├── .cvsignore ├── alicedep ├── bin │ └── initenv.cc ├── alicelink ├── alice ├── alicec ├── aliceserv ├── Build1.aml └── lib │ ├── utility │ └── UnsafeAddr.oz │ └── system │ └── UnsafeSignal.oz ├── vm-dotnet ├── examples │ ├── .cvsignore │ ├── hello.aml │ ├── Test.cs │ ├── Fib_Alice_Component.aml │ ├── inflist.aml │ └── concfib.aml ├── Dialog.asig ├── SML │ ├── sml.x86-win32 │ ├── run.x86-win32.exe │ └── sml.bat ├── alicec.bat ├── Default.import ├── vars.bat ├── .cvsignore └── Canvas.asig └── alicebld └── config.sh /vm-seam/NEWS: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/man/.cvsignore: -------------------------------------------------------------------------------- 1 | *.1 2 | -------------------------------------------------------------------------------- /test/suite/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc -------------------------------------------------------------------------------- /doc/samples/.cvsignore: -------------------------------------------------------------------------------- 1 | *.ozf 2 | -------------------------------------------------------------------------------- /.cvsignore: -------------------------------------------------------------------------------- 1 | install time1 time3 2 | -------------------------------------------------------------------------------- /doc/samples/calc/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | -------------------------------------------------------------------------------- /lib/postscript/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | -------------------------------------------------------------------------------- /doc/manual/examples/.cvsignore: -------------------------------------------------------------------------------- 1 | *.tar 2 | -------------------------------------------------------------------------------- /lib/constraints/test/.cvsignore: -------------------------------------------------------------------------------- 1 | *.ozf 2 | -------------------------------------------------------------------------------- /lib/data/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | -------------------------------------------------------------------------------- /lib/gecode/examples/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/.cvsignore: -------------------------------------------------------------------------------- 1 | CM .cm 2 | -------------------------------------------------------------------------------- /lib/system/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | -------------------------------------------------------------------------------- /test/icfp2001/tests/notags.smlng: -------------------------------------------------------------------------------- 1 | test 2 | -------------------------------------------------------------------------------- /tools/yacc/bootstrap/.cvsignore: -------------------------------------------------------------------------------- 1 | *.ozf 2 | -------------------------------------------------------------------------------- /ALICEVERSION: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | echo "1.3" 4 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/pp/.cvsignore: -------------------------------------------------------------------------------- 1 | CM .cm 2 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/parser/.cvsignore: -------------------------------------------------------------------------------- 1 | CM .cm 2 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/variants/.cvsignore: -------------------------------------------------------------------------------- 1 | CM .cm 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/ring.ok: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/tak.ok: -------------------------------------------------------------------------------- 1 | 7 2 | -------------------------------------------------------------------------------- /tools/yacc/test/test6.lam: -------------------------------------------------------------------------------- 1 | (\x.x) (\x.x) x 2 | -------------------------------------------------------------------------------- /tools/yacc/test/test7.lam: -------------------------------------------------------------------------------- 1 | (\x.x) (\x.x) x 2 | -------------------------------------------------------------------------------- /doc/samples/ants/lazyant.ant: -------------------------------------------------------------------------------- 1 | flip 1 0 0 ; [0] 2 | -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/talk.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/parser/util/.cvsignore: -------------------------------------------------------------------------------- 1 | CM .cm 2 | -------------------------------------------------------------------------------- /lib/tools/inspector/seam/gui/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/big-array.ok: -------------------------------------------------------------------------------- 1 | OK 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/conv.ok: -------------------------------------------------------------------------------- 1 | All ok 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/fast.ok: -------------------------------------------------------------------------------- 1 | All ok 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/format.ok: -------------------------------------------------------------------------------- 1 | ok 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/kitqsort.ok: -------------------------------------------------------------------------------- 1 | Ok! 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/vector2.ok: -------------------------------------------------------------------------------- 1 | 6 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/vector3.ok: -------------------------------------------------------------------------------- 1 | 1000 2 | -------------------------------------------------------------------------------- /test/suite/src/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.alc -------------------------------------------------------------------------------- /tools/lex/test/.cvsignore: -------------------------------------------------------------------------------- 1 | in.hose.sml 2 | out.hose.sml -------------------------------------------------------------------------------- /vm-seam/test/native/.cvsignore: -------------------------------------------------------------------------------- 1 | *.dll.def *.dll 2 | -------------------------------------------------------------------------------- /compiler/backend-common/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | -------------------------------------------------------------------------------- /compiler/backend-dotnet/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | -------------------------------------------------------------------------------- /doc/samples/adg/TODO: -------------------------------------------------------------------------------- 1 | kommentierte imports ignorieren 2 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/extensions/c/.cvsignore: -------------------------------------------------------------------------------- 1 | CM .cm 2 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/parser/grammar/.cvsignore: -------------------------------------------------------------------------------- 1 | CM .cm 2 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/variants/ansic/.cvsignore: -------------------------------------------------------------------------------- 1 | CM .cm 2 | -------------------------------------------------------------------------------- /lib/gtk/seam/prepare/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | gtkraw.c 3 | -------------------------------------------------------------------------------- /lib/test/.cvsignore: -------------------------------------------------------------------------------- 1 | *.ozf *.alc 2 | Makefile.depend 3 | -------------------------------------------------------------------------------- /lib/xml/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | *.dll 3 | Makefile.depend 4 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/command-line.ok: -------------------------------------------------------------------------------- 1 | Main 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/deep-flatten.ok: -------------------------------------------------------------------------------- 1 | 5 6 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/exn.ok: -------------------------------------------------------------------------------- 1 | zzzzzzzzzzzzz 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/flat-array.ok: -------------------------------------------------------------------------------- 1 | 0 3 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/known-case0.ok: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/known-case1.ok: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/os-exit.ok: -------------------------------------------------------------------------------- 1 | hello 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/pat.ok: -------------------------------------------------------------------------------- 1 | hello world 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/poly-equal.2.ok: -------------------------------------------------------------------------------- 1 | done 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/poly-equal.ok: -------------------------------------------------------------------------------- 1 | false 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/ref-flatten.ok: -------------------------------------------------------------------------------- 1 | 44 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/string2.ok: -------------------------------------------------------------------------------- 1 | \000\000 2 | -------------------------------------------------------------------------------- /tools/toplevel/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | Makefile.depend 3 | -------------------------------------------------------------------------------- /vm-seam/alice/lib/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile 2 | Makefile.in 3 | -------------------------------------------------------------------------------- /vm-seam/debian/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile 2 | Makefile.in 3 | -------------------------------------------------------------------------------- /compiler/doc/.cvsignore: -------------------------------------------------------------------------------- 1 | *.log *.aux *.dvi *.ps *.bbl *.blg 2 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/.cvsignore: -------------------------------------------------------------------------------- 1 | *.ozf 2 | *.ozm 3 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/infixexport.sml: -------------------------------------------------------------------------------- 1 | infix 7 * 2 | -------------------------------------------------------------------------------- /lib/gtk/mozart/samples/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.ozf 3 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ckit.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | ast/sources.cm 3 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/parser/extensions/c/.cvsignore: -------------------------------------------------------------------------------- 1 | CM .cm 2 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | ast/sources.cm 3 | -------------------------------------------------------------------------------- /lib/gtk/seam/samples/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | Makefile.depend 3 | -------------------------------------------------------------------------------- /lib/mysql/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | *.dll 3 | Makefile.depend 4 | -------------------------------------------------------------------------------- /lib/regex/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.dll 3 | *.alc 4 | -------------------------------------------------------------------------------- /lib/sqlite/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | *.dll 3 | Makefile.depend 4 | -------------------------------------------------------------------------------- /test/icfp2001/tests/simple.smlng: -------------------------------------------------------------------------------- 1 | abc 2 | -------------------------------------------------------------------------------- /test/suite/lib/compiler/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.alc -------------------------------------------------------------------------------- /test/suite/lib/fundamental/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.alc -------------------------------------------------------------------------------- /test/suite/lib/regression/results/constraint.ok: -------------------------------------------------------------------------------- 1 | A(hello,5) 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/flat-array.2.ok: -------------------------------------------------------------------------------- 1 | 12 14 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/kitreynolds2.ok: -------------------------------------------------------------------------------- 1 | false 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/kitreynolds3.ok: -------------------------------------------------------------------------------- 1 | false 2 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/ref-flatten.2.ok: -------------------------------------------------------------------------------- 1 | 71 EC 2 | -------------------------------------------------------------------------------- /tools/depend/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | make-depend.cm 4 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ckit.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | ast/sources.cm 3 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | ast/sources.cm 3 | -------------------------------------------------------------------------------- /vm-seam/alice/.cvsignore: -------------------------------------------------------------------------------- 1 | .deps 2 | Makefile 3 | Makefile.in 4 | -------------------------------------------------------------------------------- /doc/samples/ants/sim: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | alicerun SimulatorMain "$@" 3 | -------------------------------------------------------------------------------- /doc/samples/snake/client/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | Makefile.depend 3 | -------------------------------------------------------------------------------- /doc/samples/snake/common/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | Makefile.depend 3 | -------------------------------------------------------------------------------- /doc/samples/snake/server/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | Makefile.depend 3 | -------------------------------------------------------------------------------- /lib/constraints/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.ozf 3 | *.ozm 4 | -------------------------------------------------------------------------------- /lib/constraints/distribution/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | *.predepend 3 | -------------------------------------------------------------------------------- /lib/distribution/search/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.ozf 3 | -------------------------------------------------------------------------------- /lib/gecode/distributed-search/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | *.predepend 3 | -------------------------------------------------------------------------------- /lib/tools/inspector/seam/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | Makefile.predepend 3 | -------------------------------------------------------------------------------- /lib/xml/debian/alice-xml.install: -------------------------------------------------------------------------------- 1 | usr/share/alice/lib/xml/*.dll 2 | -------------------------------------------------------------------------------- /misc/logo/.cvsignore: -------------------------------------------------------------------------------- 1 | *.[1-9] *.[1-9][0-9] 2 | *.log 3 | *.bmp 4 | -------------------------------------------------------------------------------- /test/icfp2000/runme: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | sml @SMLload=renderer 4 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/equality-types.ok: -------------------------------------------------------------------------------- 1 | ok 2 | ok 3 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/int-inf.3.ok: -------------------------------------------------------------------------------- 1 | true 2 | 21474 3 | -------------------------------------------------------------------------------- /test/suite/lib/regression/tests/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.alc -------------------------------------------------------------------------------- /vm-seam/alice/lib/Makefile.am: -------------------------------------------------------------------------------- 1 | SUBDIRS = system utility distribution -------------------------------------------------------------------------------- /vm-seam/bin/.cvsignore: -------------------------------------------------------------------------------- 1 | alicerun 2 | alicetool 3 | alice-config 4 | -------------------------------------------------------------------------------- /bootstrap/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ CM .cm 2 | *.ozf 3 | *.x86-linux *.x86-win32 4 | -------------------------------------------------------------------------------- /compiler/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | *.x86-linux *.x86-win32 5 | -------------------------------------------------------------------------------- /compiler/common/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | intermediate-grammar.cm 4 | -------------------------------------------------------------------------------- /doc/samples/ants/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc *.ozf 2 | *.ant 3 | Makefile.depend 4 | -------------------------------------------------------------------------------- /doc/samples/ants/parsec/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc *.ozf 2 | Makefile.depend 3 | -------------------------------------------------------------------------------- /doc/samples/snake/client/windows/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | Makefile.depend 3 | -------------------------------------------------------------------------------- /lib/distribution/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.ozf *.ozm 3 | *.alc 4 | -------------------------------------------------------------------------------- /lib/distribution/search/samples/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.ozf 3 | -------------------------------------------------------------------------------- /lib/gtk/seam/debian/alice-gtk.install: -------------------------------------------------------------------------------- 1 | usr/share/alice/lib/gtk/*.dll 2 | -------------------------------------------------------------------------------- /lib/regex/debian/alice-regex.install: -------------------------------------------------------------------------------- 1 | usr/share/alice/lib/regex/*.dll 2 | -------------------------------------------------------------------------------- /lib/rtt/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | *.ozf 5 | *.ozp 6 | *.ozm 7 | -------------------------------------------------------------------------------- /lib/rtt/backedge/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | 3 | *.aml?* 4 | Makefile.depend -------------------------------------------------------------------------------- /lib/tools/inspector/mozart/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.ozf *.ozm 3 | -------------------------------------------------------------------------------- /test/bench/.cvsignore: -------------------------------------------------------------------------------- 1 | *.class 2 | *.cmo 3 | *.cmi 4 | *.ozf 5 | *.alc 6 | -------------------------------------------------------------------------------- /test/icfp2000/runme.bat: -------------------------------------------------------------------------------- 1 | @echo off 2 | sml-cm @SMLload=renderer < %1 3 | -------------------------------------------------------------------------------- /test/icfp2001/buildme: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | echo "Nothing to do! :-)" 4 | -------------------------------------------------------------------------------- /test/icfp2001/tests/redundancy-elimination.smlng: -------------------------------------------------------------------------------- 1 | foo -------------------------------------------------------------------------------- /test/suite/lib/regression/results/time2.ok: -------------------------------------------------------------------------------- 1 | OK 2 | OK 3 | OK 4 | OK 5 | -------------------------------------------------------------------------------- /test/suite/lib/system/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.alc 3 | Config.aml -------------------------------------------------------------------------------- /vm-seam/debian/alice-dev.install: -------------------------------------------------------------------------------- 1 | usr/bin/alicetool 2 | usr/include 3 | -------------------------------------------------------------------------------- /bootstrap/main-seam.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../compiler/top/main-seam.cm 4 | -------------------------------------------------------------------------------- /bootstrap/make-depend.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../tools/depend/sources.cm 4 | -------------------------------------------------------------------------------- /doc/papers/stockwerk/.cvsignore: -------------------------------------------------------------------------------- 1 | *.aux *.bbl *.blg *.dvi *.log *.ps *.toc 2 | -------------------------------------------------------------------------------- /lib/gtk/mozart/gtkdefs.c: -------------------------------------------------------------------------------- 1 | #include 2 | #include 3 | -------------------------------------------------------------------------------- /lib/sqlite/debian/alice-sqlite.install: -------------------------------------------------------------------------------- 1 | usr/share/alice/lib/sqlite/*.dll 2 | -------------------------------------------------------------------------------- /lib/utility/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | *.ozf 5 | *.ozp 6 | *.ozm 7 | -------------------------------------------------------------------------------- /test/icfp2001/tests/denys1.smlng: -------------------------------------------------------------------------------- 1 | denys is stuffy -------------------------------------------------------------------------------- /tools/toplevel/easteregg/.cvsignore: -------------------------------------------------------------------------------- 1 | egg 2 | egg.txt 3 | egg.h 4 | *.alc 5 | -------------------------------------------------------------------------------- /tools/yacc/jacke.grm-sig.aml: -------------------------------------------------------------------------------- 1 | import signature PARSER_DATA from "Sigs" 2 | 3 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/.cvsignore: -------------------------------------------------------------------------------- 1 | .deps 2 | Makefile 3 | Makefile.in 4 | -------------------------------------------------------------------------------- /bootstrap/main-dotnet.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../compiler/top/main-dotnet.cm 4 | -------------------------------------------------------------------------------- /bootstrap/main-mozart.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../compiler/top/main-mozart.cm 4 | -------------------------------------------------------------------------------- /bootstrap/value.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | sources.cm 4 | UnsafeValue.sml 5 | -------------------------------------------------------------------------------- /compiler/backend-mozart/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | PickleOutStream.aml 5 | -------------------------------------------------------------------------------- /doc/papers/stockwerk/bib.tex: -------------------------------------------------------------------------------- 1 | \bibliographystyle{plain} 2 | \bibliography{store} 3 | -------------------------------------------------------------------------------- /lib/gtk/seam/TODO: -------------------------------------------------------------------------------- 1 | TODO 2 | ======= 3 | * samples 4 | * DOC !!!!!! *damm* 5 | 6 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/functor.ok: -------------------------------------------------------------------------------- 1 | value is A(K) 2 | value is A(J) 3 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/kitloop2.ok: -------------------------------------------------------------------------------- 1 | 2 | looping... 3 | 4 | done 5 | -------------------------------------------------------------------------------- /vm-seam/README: -------------------------------------------------------------------------------- 1 | This is the Alice language layer for the SEAM abstract machine. 2 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/dataexport.sml: -------------------------------------------------------------------------------- 1 | datatype 'a option = NONE | SOME of 'a 2 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/tagexp.sml: -------------------------------------------------------------------------------- 1 | datatype order = LESS 2 | 3 | val _ = LESS 4 | -------------------------------------------------------------------------------- /lib/gecode/debian/alice-gecode.install: -------------------------------------------------------------------------------- 1 | usr/share/alice/lib/gecode/UnsafeGecode.dll 2 | -------------------------------------------------------------------------------- /lib/tools/explorer/seam/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | Makefile.depend 3 | Makefile.predepend 4 | -------------------------------------------------------------------------------- /misc/Alice.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/Alice.ico -------------------------------------------------------------------------------- /misc/Alice.ism: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/Alice.ism -------------------------------------------------------------------------------- /misc/debian/NEWS: -------------------------------------------------------------------------------- 1 | This is the first public release of the Alice Programming System. 2 | -------------------------------------------------------------------------------- /test/icfp2001/.cvsignore: -------------------------------------------------------------------------------- 1 | *.ozf *.ozm 2 | *.log *.aux *.dvi 3 | *.o *.so-* 4 | runme 5 | -------------------------------------------------------------------------------- /test/suite/lib/data/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=Lock.aml 2 | 3 | -include ../../AliceMakefile 4 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/int-inf.1.ok: -------------------------------------------------------------------------------- 1 | trying 0 2 | ok 3 | trying 1 4 | ok 5 | -------------------------------------------------------------------------------- /tools/lex/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/lex/TODO -------------------------------------------------------------------------------- /tools/linker/Build1Linker.aml: -------------------------------------------------------------------------------- 1 | import "linker/Main" 2 | 3 | Future.await Main.main 4 | -------------------------------------------------------------------------------- /vm-seam/alice/lib/system/.cvsignore: -------------------------------------------------------------------------------- 1 | *.dll 2 | .deps 3 | Makefile 4 | Makefile.in 5 | -------------------------------------------------------------------------------- /vm-seam/alice/lib/utility/.cvsignore: -------------------------------------------------------------------------------- 1 | *.dll 2 | .deps 3 | Makefile 4 | Makefile.in 5 | -------------------------------------------------------------------------------- /bootstrap/http-client.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../lib/system/sources.cm 4 | HttpClient.sml 5 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/infiximport.sml: -------------------------------------------------------------------------------- 1 | import infix 7 * from "infixexport.ozf" 2 | -------------------------------------------------------------------------------- /doc/manual/bg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/bg.gif -------------------------------------------------------------------------------- /lib/fundamental/.cvsignore: -------------------------------------------------------------------------------- 1 | RTT.aml 2 | NJ 3 | CM 4 | .cm 5 | *.ozf 6 | *.ozp 7 | *.ozm 8 | -------------------------------------------------------------------------------- /misc/dist-seam/NEWS: -------------------------------------------------------------------------------- 1 | This is the first public release of the Alice Programming System. 2 | -------------------------------------------------------------------------------- /test/bench/TIMER-sig.aml: -------------------------------------------------------------------------------- 1 | signature TIMER = 2 | sig 3 | val time : unit -> int 4 | end 5 | -------------------------------------------------------------------------------- /test/icfp2001/tests/color-nesting.smlng: -------------------------------------------------------------------------------- 1 | aaabbbcccdddeee -------------------------------------------------------------------------------- /tools/yacc/MAIN-sig.aml: -------------------------------------------------------------------------------- 1 | signature MAIN = 2 | sig 3 | val main : unit -> 'a 4 | end -------------------------------------------------------------------------------- /tools/yacc/test/test2.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | LrParser.sml 4 | LrTable.sml 5 | test2.sml.out 6 | -------------------------------------------------------------------------------- /tools/yacc/test/test4.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | LrParser.sml 4 | LrTable.sml 5 | test4.sml.out 6 | -------------------------------------------------------------------------------- /vm-mozart/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | Rel1.import Rel2.import 3 | build1 build2 build3 4 | -------------------------------------------------------------------------------- /vm-seam/alice/lib/distribution/.cvsignore: -------------------------------------------------------------------------------- 1 | *.dll 2 | .deps 3 | Makefile 4 | Makefile.in 5 | -------------------------------------------------------------------------------- /doc/homepage/bg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/bg.gif -------------------------------------------------------------------------------- /doc/samples/aliceparser/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc AliceParser.aml AliceLexer.aml AliceLexer-MLLex.aml 2 | -------------------------------------------------------------------------------- /doc/samples/chat/client/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=Client.aml 2 | 3 | -include ../AliceMakefile 4 | 5 | -------------------------------------------------------------------------------- /doc/samples/chat/common/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=Protocol.aml 2 | 3 | -include ../AliceMakefile 4 | 5 | -------------------------------------------------------------------------------- /doc/samples/chat/server/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=Server.aml 2 | 3 | -include ../AliceMakefile 4 | 5 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/test.c: -------------------------------------------------------------------------------- 1 | void printf(); 2 | 3 | main () { 4 | printf("Hello world\n"); 5 | } 6 | -------------------------------------------------------------------------------- /test/icfp2000/.cvsignore: -------------------------------------------------------------------------------- 1 | CM 2 | .cm 3 | ~* 4 | *.x86-linux *.x86-win32 5 | *.ppm *.jpg *.gif 6 | -------------------------------------------------------------------------------- /test/icfp2000/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/test/icfp2000/README -------------------------------------------------------------------------------- /test/icfp2001/tests/EM-elimination.smlng: -------------------------------------------------------------------------------- 1 | foo bar foo . -------------------------------------------------------------------------------- /test/icfp2001/tests/PL-shortcut.smlng: -------------------------------------------------------------------------------- 1 | foo bar gee -------------------------------------------------------------------------------- /test/suite/lib/compiler/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=Compiler.aml 2 | 3 | -include ../../AliceMakefile 4 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/test.c: -------------------------------------------------------------------------------- 1 | void printf(); 2 | 3 | main () { 4 | printf("Hello world\n"); 5 | } 6 | -------------------------------------------------------------------------------- /tools/ffigen/gtk/gtk.h: -------------------------------------------------------------------------------- 1 | #include 2 | #include 3 | -------------------------------------------------------------------------------- /vm-dotnet/examples/.cvsignore: -------------------------------------------------------------------------------- 1 | *.dll *.DLL 2 | *.exe *.EXE 3 | *.il 4 | *.pdb 5 | *.x86-win32 6 | -------------------------------------------------------------------------------- /vm-seam/bin/alicedep: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | exec $(dirname $0)/alicerun x-alice:/tools/Depend "$@" 4 | -------------------------------------------------------------------------------- /compiler/top/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | Lexer.lex.* 5 | Parser.grm.* 6 | ~* 7 | [a-z]*.sml 8 | -------------------------------------------------------------------------------- /doc/manual/explorer.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/explorer.jpg -------------------------------------------------------------------------------- /doc/manual/explorer.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/explorer.png -------------------------------------------------------------------------------- /doc/papers/stockwerk/section7.tex: -------------------------------------------------------------------------------- 1 | \section{Related Work} 2 | Java, .NET, VVM Framework, Mozart. 3 | -------------------------------------------------------------------------------- /doc/presentations/X.bmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/X.bmp -------------------------------------------------------------------------------- /doc/samples/chat/seam_client/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=Client.aml 2 | 3 | -include ../AliceMakefile 4 | 5 | -------------------------------------------------------------------------------- /lib/gecode/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | *.alc 3 | *.dll 4 | UnsafeGecode.asig 5 | UnsafeGecode.cc 6 | -------------------------------------------------------------------------------- /lib/gecode/search-factory/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | Makefile.predepend 3 | *.alc 4 | *.dll 5 | -------------------------------------------------------------------------------- /lib/gtk/seam/hellotest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/gtk/seam/hellotest -------------------------------------------------------------------------------- /lib/gtk/seam/prepare/gtkdefs.c: -------------------------------------------------------------------------------- 1 | #include 2 | #include 3 | -------------------------------------------------------------------------------- /lib/rtt/backedge/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/rtt/backedge/README -------------------------------------------------------------------------------- /lib/rtt/backedge/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/rtt/backedge/TODO -------------------------------------------------------------------------------- /misc/logo/stockwerk.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/stockwerk.gif -------------------------------------------------------------------------------- /misc/logo/stockwerk.psp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/stockwerk.psp -------------------------------------------------------------------------------- /misc/mozart_cartoon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/mozart_cartoon.jpg -------------------------------------------------------------------------------- /misc/sml-mode/gmon.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/sml-mode/gmon.out -------------------------------------------------------------------------------- /test/icfp2000/info.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/test/icfp2000/info.txt -------------------------------------------------------------------------------- /test/icfp2001/tests/overlap-inversion.smlng: -------------------------------------------------------------------------------- 1 | bla blafoo bar truc -------------------------------------------------------------------------------- /tools/ffigen/Config.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/ffigen/Config.sml -------------------------------------------------------------------------------- /tools/ffigen/Main.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/ffigen/Main.sml -------------------------------------------------------------------------------- /tools/ffigen/Util.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/ffigen/Util.sml -------------------------------------------------------------------------------- /tools/gtkbuilder/alicegtkbuilder: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | exec alicerun x-alice:/tools/GtkBuilder "$@" 4 | -------------------------------------------------------------------------------- /tools/toplevel/alice: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | exec $(dirname $0)/alicerun x-alice:/tools/Toplevel "$@" 4 | -------------------------------------------------------------------------------- /vm-dotnet/Dialog.asig: -------------------------------------------------------------------------------- 1 | signature Dialog = 2 | sig 3 | val readLine : unit -> string 4 | end 5 | -------------------------------------------------------------------------------- /vm-seam/bin/alicelex: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | exec $(dirname $0)/alicerun x-alice:/tools/AliceLex "$@" 4 | -------------------------------------------------------------------------------- /vm-seam/bin/alicelink: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | exec $(dirname $0)/alicerun x-alice:/tools/Linker "$@" 4 | -------------------------------------------------------------------------------- /vm-seam/debian/alice.install: -------------------------------------------------------------------------------- 1 | usr/bin/alicerun 2 | usr/bin/alice-config 3 | usr/lib/seam/alice.dll 4 | -------------------------------------------------------------------------------- /compiler/frontend-sml/test/.cvsignore: -------------------------------------------------------------------------------- 1 | CM 2 | *.lex.* 3 | *.grm.* 4 | ~* 5 | [a-z]*.sml 6 | *.x86-linux 7 | -------------------------------------------------------------------------------- /doc/homepage/logos/bg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/bg.gif -------------------------------------------------------------------------------- /doc/homepage/papers.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/papers.html -------------------------------------------------------------------------------- /doc/manual/logo-large.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/logo-large.gif -------------------------------------------------------------------------------- /doc/manual/logo-small.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/logo-small.gif -------------------------------------------------------------------------------- /misc/logo/stockhausen.cdr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/stockhausen.cdr -------------------------------------------------------------------------------- /misc/logo/stockhausen.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/stockhausen.gif -------------------------------------------------------------------------------- /misc/logo/stockhausen.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/stockhausen.jpg -------------------------------------------------------------------------------- /test/icfp2000/doc/bg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/test/icfp2000/doc/bg.gif -------------------------------------------------------------------------------- /test/icfp2001/doc/bg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/test/icfp2001/doc/bg.gif -------------------------------------------------------------------------------- /test/icfp2001/tests/whitespace-simplification.smlng: -------------------------------------------------------------------------------- 1 | bla bla barfoo -------------------------------------------------------------------------------- /test/suite/lib/regression/results/cmdline.ok: -------------------------------------------------------------------------------- 1 | This program is invoked as `Main' 2 | with arguments: 3 | 4 | -------------------------------------------------------------------------------- /tools/depend/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | *.lex.* 5 | *.grm.* 6 | ~* 7 | [a-z]*.sml 8 | *.x86-linux 9 | -------------------------------------------------------------------------------- /tools/depend/SML_PARSER-sig.aml.header: -------------------------------------------------------------------------------- 1 | import signature PARSER_DATA from "../../lib/ml-yacc/base-sig" 2 | -------------------------------------------------------------------------------- /tools/ffigen/Binding.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/ffigen/Binding.sml -------------------------------------------------------------------------------- /tools/lex/alicelex: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | exec $(dirname $0)/alicerun x-alice:/tools/AliceLex-Linked "$@" 4 | -------------------------------------------------------------------------------- /tools/yacc/aliceyacc: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | exec $(dirname $0)/alicerun x-alice:/tools/AliceYacc-Linked "$@" 4 | -------------------------------------------------------------------------------- /vm-mozart/alicedep: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | dir=$(dirname "$0") 3 | exec "$dir"/alicerun x-alice:/tools/Depend "$@" 4 | -------------------------------------------------------------------------------- /vm-mozart/bin/initenv.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/vm-mozart/bin/initenv.cc -------------------------------------------------------------------------------- /vm-seam/bin/alicec: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | exec $(dirname $0)/alicerun x-alice:/compiler/CompilerMain "$@" 4 | -------------------------------------------------------------------------------- /vm-seam/debian/copyright: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/vm-seam/debian/copyright -------------------------------------------------------------------------------- /compiler/common/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | *.lex.* 5 | *.grm.* 6 | ~* 7 | [a-z]*.sml 8 | *.x86-linux 9 | -------------------------------------------------------------------------------- /doc/manual/cptutorial/.cvsignore: -------------------------------------------------------------------------------- 1 | *.aux 2 | *.dvi 3 | *.lof 4 | *.log 5 | *.lol 6 | *.out 7 | *.pdf 8 | *.toc 9 | -------------------------------------------------------------------------------- /doc/manual/inspector-1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-1.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-2.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-3.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-3.jpg -------------------------------------------------------------------------------- /doc/presentations/FLINT.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/FLINT.ppt -------------------------------------------------------------------------------- /doc/samples/MY_COMPONENT-sig.aml: -------------------------------------------------------------------------------- 1 | signature MY_COMPONENT = 2 | sig 3 | val fak: int -> int 4 | end 5 | -------------------------------------------------------------------------------- /doc/samples/WebProjekt.aml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/samples/WebProjekt.aml -------------------------------------------------------------------------------- /doc/samples/snake_proof_of_concept/common/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=Protocol.aml Log.aml 2 | 3 | -include ../AliceMakefile -------------------------------------------------------------------------------- /lib/gtk/seam/doc/report.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/gtk/seam/doc/report.tex -------------------------------------------------------------------------------- /lib/gtk/seam/doc/vortrag.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/gtk/seam/doc/vortrag.ppt -------------------------------------------------------------------------------- /test/suite/lib/regression/results/testMatrix.ok: -------------------------------------------------------------------------------- 1 | {x = 1.0, y = 2.0, z = 3.0} 2 | {x = 3.0, y = 5.0, z = 7.0} 3 | -------------------------------------------------------------------------------- /test/suite/src/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=Test.aml TEST-sig.aml TESTSUITE-sig.aml 2 | 3 | -include ../AliceMakefile 4 | -------------------------------------------------------------------------------- /tools/ffigen/Container.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/ffigen/Container.sml -------------------------------------------------------------------------------- /tools/ffigen/sample/util.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/ffigen/sample/util.cc -------------------------------------------------------------------------------- /tools/lex/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | Makefile.depend 3 | HOSE_PARSER-sig.aml 4 | HoseParser.aml 5 | HoseLexer.aml 6 | -------------------------------------------------------------------------------- /tools/yacc/test/test8.sml: -------------------------------------------------------------------------------- 1 | token A 2 | 3 | rule r = (c as A) => (c,c) 4 | rule r = A,A 5 | 6 | parser e = r 7 | -------------------------------------------------------------------------------- /tools/yacc/test/testerror.sml: -------------------------------------------------------------------------------- 1 | structure T = struct 2 | val error = fn _ => fn s => print ("test: "^s) 3 | end 4 | -------------------------------------------------------------------------------- /vm-dotnet/SML/sml.x86-win32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/vm-dotnet/SML/sml.x86-win32 -------------------------------------------------------------------------------- /vm-dotnet/examples/hello.aml: -------------------------------------------------------------------------------- 1 | import val print from "x-alice:/TextIO" 2 | 3 | val _ = print "Hello, world\n" 4 | -------------------------------------------------------------------------------- /vm-mozart/alicelink: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | dir=$(dirname "$0") 3 | exec "$dir"/alicerun x-alice:/tools/Linker "$@" 4 | -------------------------------------------------------------------------------- /compiler/backend-seam/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | *.lex.* 5 | *.grm.* 6 | ~* 7 | [a-z]*.sml 8 | *.x86-linux 9 | -------------------------------------------------------------------------------- /compiler/doc/abstract-code.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/compiler/doc/abstract-code.tex -------------------------------------------------------------------------------- /compiler/frontend-sml/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | *.lex.* 5 | *.grm.* 6 | ~* 7 | [a-z]*.sml 8 | *.x86-linux 9 | -------------------------------------------------------------------------------- /compiler/infrastructure/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | *.lex.* 5 | *.grm.* 6 | ~* 7 | [a-z]*.sml 8 | *.x86-linux 9 | -------------------------------------------------------------------------------- /doc/manual/inspector-fd-1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-fd-1.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-fd-2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-fd-2.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-fd-3.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-fd-3.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-fd-4.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-fd-4.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-fd-5.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-fd-5.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-fd-6.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-fd-6.jpg -------------------------------------------------------------------------------- /doc/manual/mozart_cartoon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/mozart_cartoon.jpg -------------------------------------------------------------------------------- /doc/papers/babel01/babel01.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/papers/babel01/babel01.pdf -------------------------------------------------------------------------------- /doc/papers/babel01/babel01.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/papers/babel01/babel01.ppt -------------------------------------------------------------------------------- /doc/samples/icfp2006/codex.umz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/samples/icfp2006/codex.umz -------------------------------------------------------------------------------- /doc/samples/snake/client/windows/Error.aml: -------------------------------------------------------------------------------- 1 | structure Error = 2 | struct 3 | exception Error of string 4 | end 5 | -------------------------------------------------------------------------------- /lib/gtk/seam/samples/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/gtk/seam/samples/logo.png -------------------------------------------------------------------------------- /misc/logo/alice-ps-100x32.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/alice-ps-100x32.gif -------------------------------------------------------------------------------- /test/icfp2000/buildme: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | ( 4 | cd src 5 | sml 2 | 3 | Added autotools build architecture. 4 | -------------------------------------------------------------------------------- /vm-seam/bin/alice: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | exec $(dirname $0)/alicerun x-alice:/compiler/ToplevelMain "$@" 4 | -------------------------------------------------------------------------------- /bootstrap/DummyPackage.sml: -------------------------------------------------------------------------------- 1 | structure Package = 2 | struct 3 | type package = unit 4 | type t = package 5 | end 6 | -------------------------------------------------------------------------------- /compiler/frontend-sml/PARSER-sig.aml.header: -------------------------------------------------------------------------------- 1 | import 2 | signature PARSER_DATA 3 | from "../../lib/ml-yacc/base-sig" 4 | -------------------------------------------------------------------------------- /compiler/infrastructure/crash.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../bootstrap/sources.cm 4 | 5 | CRASH-sig.aml 6 | Crash.aml 7 | -------------------------------------------------------------------------------- /doc/historical/values+types.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/historical/values+types.txt -------------------------------------------------------------------------------- /doc/manual/inspector-conc-1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-conc-1.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-conc-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-conc-1.png -------------------------------------------------------------------------------- /doc/manual/inspector-conc-2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-conc-2.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-conc-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-conc-2.png -------------------------------------------------------------------------------- /doc/manual/inspector-conc-3.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-conc-3.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-conc-3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-conc-3.png -------------------------------------------------------------------------------- /doc/manual/inspector-conc-4.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-conc-4.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-conc-4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-conc-4.png -------------------------------------------------------------------------------- /doc/manual/inspector-conc-5.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-conc-5.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-conc-6.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-conc-6.jpg -------------------------------------------------------------------------------- /doc/manual/inspector-intro-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-intro-1.png -------------------------------------------------------------------------------- /doc/manual/inspector-intro-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-intro-2.png -------------------------------------------------------------------------------- /doc/manual/inspector-intro-3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-intro-3.png -------------------------------------------------------------------------------- /doc/manual/inspector-intro-4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-intro-4.png -------------------------------------------------------------------------------- /doc/manual/inspector-lazy-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-lazy-1.png -------------------------------------------------------------------------------- /doc/manual/inspector-pack-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-pack-1.png -------------------------------------------------------------------------------- /doc/manual/inspector-pack-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-pack-2.png -------------------------------------------------------------------------------- /doc/manual/inspector-prom-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-prom-1.png -------------------------------------------------------------------------------- /doc/manual/inspector-prom-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-prom-2.png -------------------------------------------------------------------------------- /doc/manual/inspector-prom-3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-prom-3.png -------------------------------------------------------------------------------- /doc/manual/inspector-prom-4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-prom-4.png -------------------------------------------------------------------------------- /doc/manual/inspector-search-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/inspector-search-1.png -------------------------------------------------------------------------------- /doc/papers/babel01/.cvsignore: -------------------------------------------------------------------------------- 1 | babel01.log babel01.aux babel01.dvi babel01.out babel01.ps 2 | babel01.blg babel01.bbl 3 | -------------------------------------------------------------------------------- /doc/presentations/Web-Projekt.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/Web-Projekt.ppt -------------------------------------------------------------------------------- /doc/samples/snake/docs/Snake.sxi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/samples/snake/docs/Snake.sxi -------------------------------------------------------------------------------- /test/icfp2000/helikopter.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/test/icfp2000/helikopter.tar.gz -------------------------------------------------------------------------------- /test/icfp2001/helikopter.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/test/icfp2001/helikopter.tar.gz -------------------------------------------------------------------------------- /tools/ffigen/PatternMatching.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/ffigen/PatternMatching.sml -------------------------------------------------------------------------------- /tools/lex/HOSE-sig.aml: -------------------------------------------------------------------------------- 1 | signature HOSE = 2 | sig 3 | val main : unit -> 'a 4 | val hose : unit -> unit 5 | end 6 | -------------------------------------------------------------------------------- /tools/yacc/test/test6.sml: -------------------------------------------------------------------------------- 1 | token EINS 2 | 3 | rule exp = 4 | eins as skip => (einsleft) 5 | 6 | parser parse = exp 7 | -------------------------------------------------------------------------------- /vm-dotnet/SML/run.x86-win32.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/vm-dotnet/SML/run.x86-win32.exe -------------------------------------------------------------------------------- /vm-mozart/aliceserv: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | dir=$(dirname "$0") 3 | exec "$dir"/alicerun x-alice:/compiler/CompileServerMain "$@" 4 | -------------------------------------------------------------------------------- /compiler/frontend-sml/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | parsing-phase.cm 4 | abstraction-phase.cm 5 | 6 | MkFrontendSML.aml 7 | -------------------------------------------------------------------------------- /doc/manual/cptutorial/figs/fig5.dia: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/cptutorial/figs/fig5.dia -------------------------------------------------------------------------------- /doc/presentations/AliceOnMozart.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/AliceOnMozart.ppt -------------------------------------------------------------------------------- /doc/presentations/RuntimeTypes.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/RuntimeTypes.ppt -------------------------------------------------------------------------------- /doc/presentations/SFB-Nov-2000.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/SFB-Nov-2000.ppt -------------------------------------------------------------------------------- /doc/presentations/TypesInAlice.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/TypesInAlice.ppt -------------------------------------------------------------------------------- /doc/samples/snake/server/Snake.aml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/samples/snake/server/Snake.aml -------------------------------------------------------------------------------- /lib/gtk/seam/samples/logo-blue.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/gtk/seam/samples/logo-blue.png -------------------------------------------------------------------------------- /misc/debian/share/pixmaps/alice.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/debian/share/pixmaps/alice.png -------------------------------------------------------------------------------- /test/suite/lib/regression/results/char.scan.ok: -------------------------------------------------------------------------------- 1 | true 2 | a at 4 of 4 3 | a at 4 of 4 4 | a at 7 of 7 5 | a at 7 of 7 6 | NONE 7 | -------------------------------------------------------------------------------- /tools/yacc/.cvsignore: -------------------------------------------------------------------------------- 1 | *.alc 2 | JACKE_PARSER-sig.aml 3 | Lexer.aml 4 | JackeParser.aml 5 | jacke.grm.sml 6 | Makefile.depend 7 | -------------------------------------------------------------------------------- /compiler/infrastructure/switches.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../bootstrap/sources.cm 4 | 5 | SWITCHES-sig.aml 6 | MkSwitches.aml 7 | -------------------------------------------------------------------------------- /doc/homepage/logos/alice-ps-100x32.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/alice-ps-100x32.gif -------------------------------------------------------------------------------- /doc/homepage/papers/NEPAntrag2001.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/papers/NEPAntrag2001.pdf -------------------------------------------------------------------------------- /doc/homepage/papers/NEPBericht2001.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/papers/NEPBericht2001.pdf -------------------------------------------------------------------------------- /doc/homepage/papers/NEPReport2004.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/papers/NEPReport2004.pdf -------------------------------------------------------------------------------- /doc/manual/cptutorial/figs/alice.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/cptutorial/figs/alice.eps -------------------------------------------------------------------------------- /doc/manual/cptutorial/logo-small.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/cptutorial/logo-small.gif -------------------------------------------------------------------------------- /doc/presentations/C-Tag 2001 Alice.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/C-Tag 2001 Alice.ppt -------------------------------------------------------------------------------- /doc/presentations/DevLab-2000-01.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/DevLab-2000-01.ppt -------------------------------------------------------------------------------- /doc/presentations/Jamboree-2000-03.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/Jamboree-2000-03.ppt -------------------------------------------------------------------------------- /doc/presentations/SFB Meeting 2002.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/SFB Meeting 2002.ppt -------------------------------------------------------------------------------- /doc/presentations/SFB Meeting 2003.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/SFB Meeting 2003.ppt -------------------------------------------------------------------------------- /doc/presentations/Stockwerk Design.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/Stockwerk Design.ppt -------------------------------------------------------------------------------- /doc/presentations/progress19990916.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/progress19990916.ppt -------------------------------------------------------------------------------- /doc/presentations/progress20000313.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/progress20000313.ppt -------------------------------------------------------------------------------- /doc/presentations/progress20001130.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/progress20001130.ppt -------------------------------------------------------------------------------- /doc/presentations/progress20010521.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/progress20010521.ppt -------------------------------------------------------------------------------- /doc/samples/snake/docs/still_to_do.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/samples/snake/docs/still_to_do.txt -------------------------------------------------------------------------------- /lib/system/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../utility/sources.cm 4 | URL-sig.aml 5 | Url.aml 6 | ../../bootstrap/DynMatch.sml 7 | -------------------------------------------------------------------------------- /test/icfp2000/denys/install-sh: -------------------------------------------------------------------------------- 1 | #! /bin/sh 2 | echo "install-sh is obsolete use ozinstall instead" 1>&2 3 | exit 1 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /test/icfp2000/src/build.sml: -------------------------------------------------------------------------------- 1 | SMLofNJ.Internals.GC.messages false; 2 | CM.make(); 3 | SMLofNJ.exportFn ("renderer", Main.main); 4 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/string.fromString.ok: -------------------------------------------------------------------------------- 1 | OK [abc"def] 2 | OK [a] 3 | OK [a] 4 | OK [] 5 | OK [] 6 | OK [] 7 | -------------------------------------------------------------------------------- /tools/toplevel/BufferTextIterator.aml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/toplevel/BufferTextIterator.aml -------------------------------------------------------------------------------- /bootstrap/url-map.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../lib/system/sources.cm 4 | ../lib/utility/sources.cm 5 | DummyPromise.sml 6 | UrlMap.sml 7 | -------------------------------------------------------------------------------- /doc/manual/cptutorial/figs/cp_2_new.dia: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/cptutorial/figs/cp_2_new.dia -------------------------------------------------------------------------------- /doc/presentations/Stockwerk 20020304.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/Stockwerk 20020304.ppt -------------------------------------------------------------------------------- /doc/presentations/Stockwerk20020503.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/Stockwerk20020503.ppt -------------------------------------------------------------------------------- /lib/rtt/name.cm: -------------------------------------------------------------------------------- 1 | Group 2 | signature NAME 3 | structure Name 4 | is 5 | ../utility/sources.cm 6 | 7 | NAME-sig.aml 8 | Name.aml 9 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/kittmergesort.ok: -------------------------------------------------------------------------------- 1 | 2 | List generated 3 | Doing tmergesort... 4 | Sorted 50000 5 | numbers 6 | 7 | -------------------------------------------------------------------------------- /tools/toplevel/easteregg/Alice_small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/toplevel/easteregg/Alice_small.png -------------------------------------------------------------------------------- /vm-dotnet/alicec.bat: -------------------------------------------------------------------------------- 1 | @echo off 2 | 3 | "%ALICE_HOME%\SML\sml.bat" @SMLload="%ALICE_HOME%\alicec-dotnet" %1 %2 %3 %4 %5 %6 %7 %8 %9 4 | -------------------------------------------------------------------------------- /compiler/frontend-common/.cvsignore: -------------------------------------------------------------------------------- 1 | NJ 2 | CM 3 | .cm 4 | *.lex.* 5 | *.grm.* 6 | ~* 7 | [a-z]*.sml 8 | *.x86-linux 9 | obsolete 10 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/dataimport.sml: -------------------------------------------------------------------------------- 1 | import datatype option from "dataexport.ozf" 2 | 3 | fun f NONE = 0 4 | | f (SOME x) = f x 5 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/recupdate.sml: -------------------------------------------------------------------------------- 1 | val r1 = {a = 1, b = 2, c = 3} 2 | val r2 = {r1 where b = 4} 3 | 4 | fun f x = {x where 1 = 2} 5 | -------------------------------------------------------------------------------- /doc/presentations/Alice Type Frontier.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/Alice Type Frontier.ppt -------------------------------------------------------------------------------- /doc/presentations/StockhausenOperette1.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/StockhausenOperette1.ppt -------------------------------------------------------------------------------- /doc/presentations/progress20000818 Leif.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/progress20000818 Leif.ppt -------------------------------------------------------------------------------- /doc/presentations/progress20020510 Leif.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/progress20020510 Leif.ppt -------------------------------------------------------------------------------- /doc/samples/snake/client/windows/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/samples/snake/client/windows/logo.png -------------------------------------------------------------------------------- /doc/samples/snake/docs/snake-semantic.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/samples/snake/docs/snake-semantic.txt -------------------------------------------------------------------------------- /doc/samples/snake_proof_of_concept/server/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=Server.aml LOADER-sig.aml Loader.aml Snake.aml 2 | 3 | -include ../AliceMakefile -------------------------------------------------------------------------------- /doc/specifications/JVM-Spec-2nd-edition.tgz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/specifications/JVM-Spec-2nd-edition.tgz -------------------------------------------------------------------------------- /misc/logo/alice-base-plain-black-72x23.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/alice-base-plain-black-72x23.gif -------------------------------------------------------------------------------- /test/suite/lib/regression/results/local-ref.ok: -------------------------------------------------------------------------------- 1 | 0th invocation of fib 2 | 5th invocation of fib 3 | 10th invocation of fib 4 | fib(5) = 8 5 | -------------------------------------------------------------------------------- /tools/ffigen/doc/documentation_binding.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/tools/ffigen/doc/documentation_binding.tex -------------------------------------------------------------------------------- /doc/manual/cptutorial/figs/solution_safe2.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/cptutorial/figs/solution_safe2.eps -------------------------------------------------------------------------------- /lib/test/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=REPORT-sig.aml Report.aml TEST-sig.aml Test.aml MkSeparate.aml Gen.aml GEN-sig.aml 2 | 3 | -include AliceMakefile 4 | -------------------------------------------------------------------------------- /test/icfp2000/src/.cvsignore: -------------------------------------------------------------------------------- 1 | CM 2 | *.lex.* 3 | *.grm.* 4 | ~* 5 | *.x86-linux 6 | *.ppm *.jpg *.gif 7 | *.uo *.ui 8 | *.ozf *.so-linux-i486 9 | -------------------------------------------------------------------------------- /test/suite/lib/regression/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | (cd tests; make) 3 | clean: 4 | (cd tests; make clean) 5 | depend: 6 | (cd tests; make depend) 7 | -------------------------------------------------------------------------------- /test/suite/lib/regression/tests/tststrcmp.aml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/test/suite/lib/regression/tests/tststrcmp.aml -------------------------------------------------------------------------------- /vm-dotnet/Default.import: -------------------------------------------------------------------------------- 1 | (* -*- sml -*- *) 2 | 3 | (* This file is prepended to every file compiled by stoc. *) 4 | 5 | import "x-alice:/Base" 6 | -------------------------------------------------------------------------------- /vm-dotnet/vars.bat: -------------------------------------------------------------------------------- 1 | @ECHO OFF 2 | 3 | SET ALICE_HOME=C:\Program Files\Alice 4 | SET PATH=%ALICE_HOME%;%PATH% 5 | SET CORPATH=%ALICE_HOME% 6 | -------------------------------------------------------------------------------- /vm-seam/Build1.aml: -------------------------------------------------------------------------------- 1 | import "lib/system/Boot" 2 | import "compiler/CompilerMain" 3 | import "compiler/CompileServerMain" 4 | import "tools/Linker" 5 | -------------------------------------------------------------------------------- /compiler/top/make-option-parser.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../infrastructure/switches.cm 4 | 5 | OPTION_PARSER-sig.aml 6 | MkOptionParser.aml 7 | -------------------------------------------------------------------------------- /doc/manual/cptutorial/figs/setdistribution.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/manual/cptutorial/figs/setdistribution.eps -------------------------------------------------------------------------------- /doc/presentations/Mozart Developers' Meeting.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/Mozart Developers' Meeting.ppt -------------------------------------------------------------------------------- /doc/presentations/progress20000818 Andreas.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/progress20000818 Andreas.ppt -------------------------------------------------------------------------------- /doc/presentations/progress20000818 Thorsten.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/progress20000818 Thorsten.ppt -------------------------------------------------------------------------------- /lib/rtt/fixity.cm: -------------------------------------------------------------------------------- 1 | Group 2 | signature FIXITY 3 | structure Fixity 4 | is 5 | ../../bootstrap/sources.cm 6 | 7 | FIXITY-sig.aml 8 | Fixity.aml 9 | -------------------------------------------------------------------------------- /lib/rtt/pp-misc.cm: -------------------------------------------------------------------------------- 1 | Group 2 | signature PP_MISC 3 | structure PPMisc 4 | is 5 | ../utility/sources.cm 6 | 7 | PP_MISC-sig.aml 8 | PPMisc.aml 9 | -------------------------------------------------------------------------------- /vm-dotnet/SML/sml.bat: -------------------------------------------------------------------------------- 1 | @echo off 2 | 3 | "%ALICE_HOME%\SML\run.x86-win32.exe" @SMLload="%ALICE_HOME%\SML\sml.x86-win32" %1 %2 %3 %4 %5 %6 %7 %8 %9 4 | -------------------------------------------------------------------------------- /vm-mozart/Build1.aml: -------------------------------------------------------------------------------- 1 | import "lib/system/Boot" 2 | import "compiler/CompilerMain" 3 | import "compiler/CompileServerMain" 4 | import "tools/Linker" 5 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/pidtab.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | structure Pidtab = UidtabImpFn (structure Uid=Pid) 4 | 5 | 6 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/tid.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | structure Tid : UID = UidFn (val initial = 0; val prefix = "t"); 4 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast/pidtab.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | structure Pidtab = UidtabImpFn (structure Uid=Pid) 4 | 5 | 6 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast/tid.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | structure Tid : UID = UidFn (val initial = 0; val prefix = "t"); 4 | -------------------------------------------------------------------------------- /vm-seam/AUTHORS: -------------------------------------------------------------------------------- 1 | Thorsten Brunklaus 2 | Leif Kornstaedt 3 | 4 | Marco Kuhlmann 5 | -------------------------------------------------------------------------------- /compiler/infrastructure/source.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../lib/system/sources.cm 4 | ../../lib/utility/sources.cm 5 | 6 | SOURCE-sig.aml 7 | Source.aml 8 | -------------------------------------------------------------------------------- /doc/homepage/logos/alice-base-plain-black-72x23.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/alice-base-plain-black-72x23.gif -------------------------------------------------------------------------------- /doc/presentations/PDC2000 Language Research Booth.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/PDC2000 Language Research Booth.ppt -------------------------------------------------------------------------------- /doc/presentations/PDC2000 Language Research Panel.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/presentations/PDC2000 Language Research Panel.ppt -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/part1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/constraints/distribution/search-Slides/part1.jpg -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/part1.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/constraints/distribution/search-Slides/part1.xcf -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/part2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/constraints/distribution/search-Slides/part2.jpg -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/part2.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/constraints/distribution/search-Slides/part2.xcf -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/part3.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/constraints/distribution/search-Slides/part3.jpg -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/part3.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/constraints/distribution/search-Slides/part3.xcf -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/talk.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/constraints/distribution/search-Slides/talk.dvi -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/talk.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/constraints/distribution/search-Slides/talk.pdf -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/talk.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/constraints/distribution/search-Slides/talk.sty -------------------------------------------------------------------------------- /misc/logo/alice-strikethrough-shadow-blue-190x60.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/alice-strikethrough-shadow-blue-190x60.gif -------------------------------------------------------------------------------- /misc/logo/alice-strikethrough-shadow-blue-254x80.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/alice-strikethrough-shadow-blue-254x80.gif -------------------------------------------------------------------------------- /misc/logo/alice-strikethrough-shadow-blue-254x80.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/alice-strikethrough-shadow-blue-254x80.jpg -------------------------------------------------------------------------------- /misc/logo/alice-strikethrough-shadow-blue-692x218.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/alice-strikethrough-shadow-blue-692x218.jpg -------------------------------------------------------------------------------- /misc/logo/alice-strikethrough-shadow-blue-72x22.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/alice-strikethrough-shadow-blue-72x22.gif -------------------------------------------------------------------------------- /test/bench/UnsafeTimer.asig: -------------------------------------------------------------------------------- 1 | signature UNSAFE_TIMER_COMPONENT = 2 | sig 3 | structure UnsafeTimer : 4 | sig 5 | val time : 'a 6 | end 7 | end 8 | -------------------------------------------------------------------------------- /tools/depend/SMLParser.grm.aml.header: -------------------------------------------------------------------------------- 1 | import signature TOKEN from "../../lib/ml-yacc/base-sig" 2 | import signature Parser_TOKENS from "SML_PARSER-sig" 3 | -------------------------------------------------------------------------------- /compiler/backend-mozart/crc.cm: -------------------------------------------------------------------------------- 1 | Group 2 | 3 | structure Crc 4 | 5 | is 6 | ../../bootstrap/sources.cm 7 | 8 | CRC-sig.aml 9 | Crc.aml 10 | -------------------------------------------------------------------------------- /compiler/frontend-common/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../infrastructure/phase.cm 4 | elaboration-phase.cm 5 | translation-phase.cm 6 | 7 | MkFrontendCommon.aml 8 | -------------------------------------------------------------------------------- /lib/constraints/distribution/search-Slides/snapshot.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/lib/constraints/distribution/search-Slides/snapshot.jpg -------------------------------------------------------------------------------- /lib/gecode/search-factory/TODO: -------------------------------------------------------------------------------- 1 | - Find a generic way to specify various copying strategies, e.g. adaptative. 2 | 3 | - Implement a graphical TreeNode. 4 | 5 | 6 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/pid.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | structure Pid : UID = UidFn (val initial = 0; val prefix = "p"); 4 | 5 | 6 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/tidtab.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | structure Tidtab = UidtabImpFn (structure Uid=Tid) 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /misc/logo/alice-strikethrough-shadow-rainbow-254x80.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/alice-strikethrough-shadow-rainbow-254x80.jpg -------------------------------------------------------------------------------- /test/bench/Timer.aml: -------------------------------------------------------------------------------- 1 | import structure UnsafeTimer from "UnsafeTimer" 2 | import signature TIMER from "TIMER-sig" 3 | 4 | structure Timer = UnsafeTimer :> TIMER 5 | -------------------------------------------------------------------------------- /test/matchCompilationPhase/bug1.sml: -------------------------------------------------------------------------------- 1 | datatype 'a option = NONE | SOME of 'a 2 | 3 | fun f ((NONE | SOME 0), NONE) = 0 4 | | f (SOME 1, NONE) = 1 5 | | f _ = 2 6 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast/pid.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | structure Pid : UID = UidFn (val initial = 0; val prefix = "p"); 4 | 5 | 6 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast/tidtab.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | structure Tidtab = UidtabImpFn (structure Uid=Tid) 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /compiler/infrastructure/pp-misc.cm: -------------------------------------------------------------------------------- 1 | Group 2 | signature PP_MISC 3 | structure PPMisc 4 | is 5 | ../../lib/utility/sources.cm 6 | 7 | PP_MISC-sig.aml 8 | PPMisc.aml 9 | -------------------------------------------------------------------------------- /compiler/infrastructure/target.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../bootstrap/component.cm 4 | phase.cm 5 | 6 | TARGET-sig.aml 7 | Target.aml 8 | BACKEND_SPECIFIC-sig.aml 9 | -------------------------------------------------------------------------------- /lib/tools/inspector/mozart/test/rtt.aml: -------------------------------------------------------------------------------- 1 | import structure Inspector from "x-alice:/lib/tools/Inspector" 2 | 3 | structure _ = Inspector.InspectSig(signature S = sig end) 4 | -------------------------------------------------------------------------------- /misc/logo/alice-strikethrough-shadow-rainbow-692x218.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/misc/logo/alice-strikethrough-shadow-rainbow-692x218.jpg -------------------------------------------------------------------------------- /doc/homepage/logos/alice-strikethrough-shadow-blue-72x22.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/alice-strikethrough-shadow-blue-72x22.gif -------------------------------------------------------------------------------- /lib/system/resolver.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../bootstrap/url-map.cm 4 | ../../bootstrap/http-client.cm 5 | RESOLVER_HANDLER-sig.aml 6 | RESOLVER-sig.aml 7 | Resolver.aml 8 | -------------------------------------------------------------------------------- /tools/ffigen/include/types.aml: -------------------------------------------------------------------------------- 1 | structure types : 2 | sig 3 | type 'a pointer 4 | type cfun 5 | end 6 | = 7 | struct 8 | type 'a pointer 9 | type cfun 10 | end 11 | -------------------------------------------------------------------------------- /vm-seam/alice/lib/distribution/Makefile.am: -------------------------------------------------------------------------------- 1 | INCLUDES = -I@top_srcdir@ 2 | 3 | noinst_LIBRARIES = libdistribution.a 4 | 5 | libdistribution_a_SOURCES = \ 6 | UnsafeRemote.cc 7 | -------------------------------------------------------------------------------- /doc/homepage/logos/alice-strikethrough-shadow-blue-136x43.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/alice-strikethrough-shadow-blue-136x43.gif -------------------------------------------------------------------------------- /doc/homepage/logos/alice-strikethrough-shadow-blue-190x60.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/alice-strikethrough-shadow-blue-190x60.gif -------------------------------------------------------------------------------- /doc/homepage/logos/alice-strikethrough-shadow-blue-254x80.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/alice-strikethrough-shadow-blue-254x80.gif -------------------------------------------------------------------------------- /doc/homepage/logos/alice-strikethrough-shadow-blue-254x80.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/alice-strikethrough-shadow-blue-254x80.jpg -------------------------------------------------------------------------------- /doc/homepage/logos/alice-strikethrough-shadow-blue-692x218.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/alice-strikethrough-shadow-blue-692x218.jpg -------------------------------------------------------------------------------- /doc/papers/stockwerk/section8.tex: -------------------------------------------------------------------------------- 1 | \section{Conclusion} 2 | We have presented a simple, generic, platform-independent 3 | multi-language framework. 4 | 5 | State main results. 6 | -------------------------------------------------------------------------------- /doc/samples/snake/client/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES = ClientMain.aml GUI2.aml GUI2-sig.aml # Client.aml CLIENT-sig.aml 2 | 3 | ROOT = ClientMain 4 | 5 | -include ../AliceMakefile 6 | 7 | -------------------------------------------------------------------------------- /tools/yacc/test/test3.sml: -------------------------------------------------------------------------------- 1 | (* nested jacke declarations, allowed ? *) 2 | 3 | let parser p1 = r1 4 | in let parser p2 : int = r2 5 | in " ... using parser p2 ... " end 6 | end 7 | -------------------------------------------------------------------------------- /vm-seam/test/native/Timer.asig: -------------------------------------------------------------------------------- 1 | signature TIMER = 2 | sig 3 | structure Timer: 4 | sig 5 | val start: unit -> unit 6 | val check: unit -> int 7 | end 8 | end 9 | -------------------------------------------------------------------------------- /doc/homepage/logos/alice-strikethrough-shadow-rainbow-254x80.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/alice-strikethrough-shadow-rainbow-254x80.jpg -------------------------------------------------------------------------------- /doc/homepage/logos/alice-strikethrough-shadow-rainbow-692x218.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aliceml/aliceml-alice/HEAD/doc/homepage/logos/alice-strikethrough-shadow-rainbow-692x218.jpg -------------------------------------------------------------------------------- /doc/samples/adg/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES = Main.aml Tree.aml Depend.aml TREE-sig.aml BACKEND-sig.aml GDL.aml DOT.aml DEPEND-sig.aml 2 | 3 | ROOT = ADG 4 | 5 | -include AliceMakefile 6 | 7 | -------------------------------------------------------------------------------- /misc/release/README: -------------------------------------------------------------------------------- 1 | Author: Christian Mueller 2 | 3 | This directory contains some scripts and description for the preparation 4 | of an Alice release. 5 | 6 | -------------------------------------------------------------------------------- /test/suite/lib/regression/tests/REGRESSION-sig.aml: -------------------------------------------------------------------------------- 1 | signature REGRESSION = 2 | sig 3 | val name : string 4 | 5 | val ok : string option 6 | 7 | val result : string 8 | end 9 | -------------------------------------------------------------------------------- /compiler/top/compiler.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../infrastructure/phase.cm 4 | ../infrastructure/target.cm 5 | ../infrastructure/switches.cm 6 | 7 | COMPILER-sig.aml 8 | MkCompiler.aml 9 | -------------------------------------------------------------------------------- /doc/samples/snake_proof_of_concept/client/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=ClientMain.aml Client.aml Gui.aml SNAKE_UI-sig.aml Gtk.aml CanvasTools.aml CANVASTOOLS-sig.aml 2 | 3 | -include ../AliceMakefile 4 | -------------------------------------------------------------------------------- /test/bench/AliceTimer.asig: -------------------------------------------------------------------------------- 1 | signature ALICE_TIMER = 2 | sig 3 | structure AliceTimer: 4 | sig 5 | val start: unit -> unit 6 | val check: unit -> int 7 | end 8 | end 9 | -------------------------------------------------------------------------------- /misc/dist-seam/configure.ac: -------------------------------------------------------------------------------- 1 | dnl Process this file with autoconf to produce a configure script. 2 | AC_INIT(alice.import) 3 | AM_INIT_AUTOMAKE(alice-runtime, 1.0) 4 | 5 | AC_OUTPUT(Makefile) 6 | -------------------------------------------------------------------------------- /test/test-trans2.aml: -------------------------------------------------------------------------------- 1 | import val i val t val os val c structure S (*val h*) from "test-trans" 2 | val os2 = os 3 | val c2 = c 4 | val t2 = t 5 | val i2 = i 6 | val sc2 = S.c 7 | (*val h2 = h*) 8 | -------------------------------------------------------------------------------- /tools/depend/SMLLexer.aml.header: -------------------------------------------------------------------------------- 1 | import signature Parser_TOKENS from "SML_PARSER-sig" 2 | import signature LEXER_ERROR from "LEXER_ERROR-sig" 3 | import structure Error from "SMLError" 4 | -------------------------------------------------------------------------------- /doc/samples/MyApplication.aml: -------------------------------------------------------------------------------- 1 | import structure MyComponent from "MyComponent" 2 | 3 | val _ = TextIO.print (Int.toString (MyComponent.fak 7) ^ "\n") 4 | val _ = OS.Process.exit OS.Process.success 5 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/variants/config-sig.sml: -------------------------------------------------------------------------------- 1 | signature CONFIG = 2 | sig 3 | val DFLAG : bool 4 | 5 | structure ParseControl : PARSECONTROL 6 | structure TypeCheckControl : TYPECHECKCONTROL 7 | end -------------------------------------------------------------------------------- /misc/debian/ChangeLog: -------------------------------------------------------------------------------- 1 | 2002-10-13 Marco Kuhlmann 2 | 3 | added a basic autoconf/automake infrastructure to the project tree 4 | to ease building *.deb and *.rpm packages 5 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/variants/config-sig.sml: -------------------------------------------------------------------------------- 1 | signature CONFIG = 2 | sig 3 | val DFLAG : bool 4 | 5 | structure ParseControl : PARSECONTROL 6 | structure TypeCheckControl : TYPECHECKCONTROL 7 | end -------------------------------------------------------------------------------- /misc/dist-seam/ChangeLog: -------------------------------------------------------------------------------- 1 | 2002-10-13 Marco Kuhlmann 2 | 3 | added a basic autoconf/automake infrastructure to the project tree 4 | to ease building *.deb and *.rpm packages 5 | -------------------------------------------------------------------------------- /tools/yacc/test/.cvsignore: -------------------------------------------------------------------------------- 1 | ntest.sml.* 2 | test1.sml.* 3 | test2.sml.* 4 | test3.sml.* 5 | test4.sml.* 6 | test4b.sml.* 7 | test5.sml.* 8 | test6.sml.* 9 | test7.sml.* 10 | test8.sml.* 11 | -------------------------------------------------------------------------------- /vm-seam/alice/lib/utility/Makefile.am: -------------------------------------------------------------------------------- 1 | INCLUDES = -I@top_srcdir@ 2 | 3 | noinst_LIBRARIES = libutility.a 4 | 5 | libutility_a_SOURCES = \ 6 | UnsafeImpMap.cc \ 7 | UnsafeCell.cc \ 8 | UnsafeAddr.cc 9 | -------------------------------------------------------------------------------- /compiler/backend-common/arity.cm: -------------------------------------------------------------------------------- 1 | Group 2 | 3 | structure Arity 4 | 5 | is 6 | 7 | ../../bootstrap/sources.cm 8 | ../../lib/rtt/label.cm 9 | 10 | ARITY-sig.aml 11 | Arity.aml 12 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/usefile.sml: -------------------------------------------------------------------------------- 1 | SMLofNJ.Internals.GC.messages false; 2 | Compiler.Control.Print.printDepth := 1000; 3 | val _ = CM.make() 4 | fun m _ = CM.make() 5 | fun e _ = ignore(Main.elabFile f) 6 | -------------------------------------------------------------------------------- /test/explicit-import.aml: -------------------------------------------------------------------------------- 1 | import val a : int from "bingo1" 2 | import type 'a t from "bingo2" 3 | import structure B : (type t val b : t) from "bingo3" 4 | 5 | val a = a 6 | val b = B.b 7 | 8 | type u = t 9 | -------------------------------------------------------------------------------- /test/recompile-b.aml: -------------------------------------------------------------------------------- 1 | (* Recompiling A breaks B *) 2 | 3 | import structure A : (type t val x : t val f : t -> string) from "recompile-a" 4 | 5 | val _ = A.f A.x 6 | val _ = OS.Process.exit OS.Process.success 7 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/tables.sml: -------------------------------------------------------------------------------- 1 | (* tables.sml *) 2 | 3 | structure Tables = 4 | struct 5 | 6 | type aidtab = Ast.ctype Aidtab.uidtab 7 | type tidtab = Bindings.tidBinding Tidtab.uidtab 8 | 9 | end 10 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/parser/grammar/Makefile: -------------------------------------------------------------------------------- 1 | CPP = /lib/cpp 2 | #CPP = /usr/ccs/lib/cpp 3 | 4 | all: d.grm c.grm 5 | 6 | d.grm: cd.grm; $(CPP) -DDPARSE -P cd.grm d.grm 7 | 8 | c.grm: cd.grm; $(CPP) -P cd.grm c.grm 9 | -------------------------------------------------------------------------------- /test/matchCompilationPhase/bug2.sml: -------------------------------------------------------------------------------- 1 | infixr 5 :: 2 | datatype 'a list = :: of 'a * 'a list | nil 3 | 4 | fun f ((#"/" | #"\\")::(#"/" | #"\\")::rest) = rest 5 | | f ((#"/" | #"\\")::rest) = rest 6 | | f x = x 7 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast/tables.sml: -------------------------------------------------------------------------------- 1 | (* tables.sml *) 2 | 3 | structure Tables = 4 | struct 5 | 6 | type aidtab = Ast.ctype Aidtab.uidtab 7 | type tidtab = Bindings.tidBinding Tidtab.uidtab 8 | 9 | end 10 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/parser/grammar/Makefile: -------------------------------------------------------------------------------- 1 | CPP = /lib/cpp 2 | #CPP = /usr/ccs/lib/cpp 3 | 4 | all: d.grm c.grm 5 | 6 | d.grm: cd.grm; $(CPP) -DDPARSE -P cd.grm d.grm 7 | 8 | c.grm: cd.grm; $(CPP) -P cd.grm c.grm 9 | -------------------------------------------------------------------------------- /tools/ffigen/gtk/Gtk.aml: -------------------------------------------------------------------------------- 1 | 2 | import structure Core from "Core" 3 | import structure gtk from "gtk" 4 | 5 | structure Gtk = 6 | struct 7 | open gtk 8 | open Core 9 | val _ = init() 10 | end 11 | -------------------------------------------------------------------------------- /compiler/top/make-batch-compiler.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../bootstrap/component.cm 4 | make-option-parser.cm 5 | make-recursive-compiler.cm 6 | 7 | BATCH_COMPILER-sig.aml 8 | MkBatchCompiler.aml 9 | -------------------------------------------------------------------------------- /doc/samples/snake/run.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | if [ `uname | head -c 6 | tr [A-Z] [a-z]` = "cygwin" ]; then 4 | export ALICE_JIT_MODE=0 #little workaround 5 | fi 6 | (make && 7 | alicerun client/ClientMain) 8 | -------------------------------------------------------------------------------- /misc/debian/configure.ac: -------------------------------------------------------------------------------- 1 | dnl Process this file with autoconf to produce a configure script. 2 | AC_INIT(share/alice/alicec.import) 3 | AM_INIT_AUTOMAKE(alice-runtime, 1.3) 4 | 5 | AC_OUTPUT(Makefile debian/Makefile) 6 | -------------------------------------------------------------------------------- /misc/dist-seam/bin/Makefile.am: -------------------------------------------------------------------------------- 1 | ## Process this file with automake to produce Makefile.in 2 | 3 | bin_SCRIPTS = alice alicec alicedep alicelink alicerun 4 | 5 | EXTRA_DIST = alice alicec alicedep alicelink alicerun 6 | -------------------------------------------------------------------------------- /doc/samples/chat/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | (cd common; make) 3 | (cd server; make) 4 | (cd seam_client; make) 5 | 6 | clean: 7 | (cd common; make clean) 8 | (cd server; make clean) 9 | (cd seam_client; make clean) 10 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/time3.ok: -------------------------------------------------------------------------------- 1 | 0.000 2 | 123.457 3 | 123 4 | 123.4 5 | 123.45 6 | 123.457 7 | 123.4570 8 | 123.45700 9 | 123.457000 10 | 123.4570000 11 | 123.457 12 | 123.000 13 | 123.456 14 | 123.456 15 | -------------------------------------------------------------------------------- /test/suite/lib/system/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=Time.aml Timer.aml OS_Path.aml Config.aml Url.aml Date.aml OSFileSys.aml OSProcess.aml Pickle.aml Component.aml Compiler.aml ComponentManager.aml 2 | 3 | -include ../../AliceMakefile 4 | -------------------------------------------------------------------------------- /tools/depend/make-depend.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../lib/system/sources.cm 4 | sml-parser.cm 5 | 6 | ANALYZER-sig.aml 7 | MkAnalyzer.aml 8 | 9 | MAKE_DEPEND-sig.aml 10 | MkMakeDepend.aml 11 | MakeDepend.aml 12 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/eta.sml: -------------------------------------------------------------------------------- 1 | structure M = 2 | struct 3 | datatype ('a,'b) t = T 4 | end 5 | 6 | signature S = 7 | sig 8 | type ('a,'b) t = ('a,'b) M.t 9 | end 10 | 11 | structure M' :> S = M 12 | -------------------------------------------------------------------------------- /alicebld/config.sh: -------------------------------------------------------------------------------- 1 | buildtop=/local/$USER/alicebld 2 | mailnotify=kornstae@ps.uni-sb.de 3 | 4 | CVS_RSH=ssh 5 | export CVS_RSH 6 | 7 | PATH=/usr/bin:/bin 8 | export PATH 9 | 10 | # Do not create core files 11 | ulimit -c 0 12 | -------------------------------------------------------------------------------- /compiler/infrastructure/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | crash.cm 4 | switches.cm 5 | phase.cm 6 | target.cm 7 | pp-misc.cm 8 | 9 | MkHashScopedImpSet.aml 10 | MkHashScopedImpMap.aml 11 | IntMap.aml 12 | StringMap.aml 13 | -------------------------------------------------------------------------------- /doc/samples/snake_proof_of_concept/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | (cd common; make) 3 | (cd server; make) 4 | (cd client; make) 5 | 6 | clean: 7 | (cd common; make clean) 8 | (cd server; make clean) 9 | (cd client; make clean) 10 | -------------------------------------------------------------------------------- /lib/distribution/search/Trace.aml: -------------------------------------------------------------------------------- 1 | import structure Space from "x-alice:/lib/constraints/Space" 2 | 3 | structure Trace = 4 | struct 5 | datatype 'a trace = 6 | Commit of Space.choice 7 | | Constrain of 'a 8 | end 9 | -------------------------------------------------------------------------------- /lib/rtt/label.cm: -------------------------------------------------------------------------------- 1 | Group 2 | structure Name 3 | signature LABEL 4 | structure Label 5 | structure LabelSet 6 | is 7 | ../utility/sources.cm 8 | name.cm 9 | 10 | LABEL-sig.aml 11 | Label.aml 12 | 13 | LabelSet.aml 14 | -------------------------------------------------------------------------------- /tools/lex/PARSE-sig.aml: -------------------------------------------------------------------------------- 1 | import structure AbsSyn from "AbsSyn" 2 | 3 | 4 | signature PARSE = 5 | sig 6 | (* parse : returns the abstract datatree 7 | *) 8 | val parse : string -> AbsSyn.lex list 9 | end 10 | -------------------------------------------------------------------------------- /lib/tools/inspector/mozart/test/killer.aml: -------------------------------------------------------------------------------- 1 | import structure Inspector from "x-alice:/lib/tools/Inspector" 2 | datatype t = C of {red: int, green: int, blue: int}; 3 | 4 | val _ = Inspector.inspect (C {red = 0, green = 255, blue = 255}) 5 | -------------------------------------------------------------------------------- /misc/debian/bin/Makefile.am: -------------------------------------------------------------------------------- 1 | ## Process this file with automake to produce Makefile.in 2 | 3 | bin_SCRIPTS = alice alicec alicedep alicelink alicerun aliceremote 4 | 5 | EXTRA_DIST = alice alicec alicedep alicelink alicerun aliceremote 6 | -------------------------------------------------------------------------------- /misc/sml-mode/.cvsignore: -------------------------------------------------------------------------------- 1 | sml-mode-startup.el 2 | sml-mode.cp 3 | sml-mode.cps 4 | sml-mode.fn 5 | sml-mode.fns 6 | sml-mode.info 7 | sml-mode.ky 8 | sml-mode.kys 9 | sml-mode.pg 10 | sml-mode.tp 11 | sml-mode.vr 12 | sml-mode.vrs 13 | -------------------------------------------------------------------------------- /vm-dotnet/.cvsignore: -------------------------------------------------------------------------------- 1 | *.dll *.DLL 2 | *.exe *.EXE 3 | *.il *.pdb *.res 4 | *.x86-win32 5 | IO.asig OS_FileSys.asig OS_Process.asig TextIO.asig CommandLine.asig 6 | OS_FILE_SYS-sig.aml OS_PROCESS-sig.aml OS-sig.aml OS.aml TEXT_IO-sig.aml 7 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/aidtab.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | (* imperative tables for "type adornments" *) 4 | (* DBM: was named TypeAdornmentTabImp *) 5 | 6 | structure Aidtab = UidtabImpFn (structure Uid = Aid) 7 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast/aidtab.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | (* imperative tables for "type adornments" *) 4 | (* DBM: was named TypeAdornmentTabImp *) 5 | 6 | structure Aidtab = UidtabImpFn (structure Uid = Aid) 7 | -------------------------------------------------------------------------------- /compiler/backend-common/specialize.cm: -------------------------------------------------------------------------------- 1 | Group 2 | 3 | structure Specialize 4 | 5 | is 6 | 7 | ../../bootstrap/value.cm 8 | ../../lib/rtt/type.cm 9 | flat-grammar.cm 10 | 11 | SPECIALIZE-sig.aml 12 | Specialize.aml 13 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/aid.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | (* identifers used for "type adornments" on statements and expressions *) 4 | 5 | structure Aid : UID = UidFn (val initial = 0; val prefix = "adornment_"); 6 | 7 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast/aid.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | (* identifers used for "type adornments" on statements and expressions *) 4 | 5 | structure Aid : UID = UidFn (val initial = 0; val prefix = "adornment_"); 6 | 7 | -------------------------------------------------------------------------------- /bootstrap/fixparser.awk: -------------------------------------------------------------------------------- 1 | { 2 | if (match ($0, /^structure Tokens : Parser_TOKENS$/)) 3 | savedline = $0; 4 | else { 5 | print $0; 6 | if (match ($0, /^structure ParserData:PARSER_DATA$/)) 7 | print savedline; 8 | } 9 | } 10 | -------------------------------------------------------------------------------- /compiler/common/check.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../lib/utility/sources.cm 4 | ../../lib/rtt/type.cm 5 | ../infrastructure/sources.cm 6 | intermediate-grammar.cm 7 | id-stamp.cm 8 | 9 | CHECK_INTERMEDIATE-sig.aml 10 | CheckIntermediate.aml 11 | -------------------------------------------------------------------------------- /compiler/common/id-stamp.cm: -------------------------------------------------------------------------------- 1 | Group 2 | 3 | signature STAMP 4 | structure Stamp 5 | structure StampSet 6 | structure StampMap 7 | 8 | is 9 | 10 | ../../lib/utility/sources.cm 11 | 12 | Stamp.aml 13 | StampSet.aml 14 | StampMap.aml 15 | -------------------------------------------------------------------------------- /lib/constraints/distribution/PARCEL-sig.aml: -------------------------------------------------------------------------------- 1 | import "Common" 2 | import "Interface" 3 | 4 | signature PARCEL = 5 | sig 6 | structure ScriptGen : Common.SCRIPT_GEN 7 | val interface : (* ScriptGen.sol *) (int vector) Interface.manager_intf 8 | end 9 | -------------------------------------------------------------------------------- /tools/yacc/JackeParser.aml.header: -------------------------------------------------------------------------------- 1 | import 2 | signature TOKEN 3 | from "x-alice:/lib/ml-yacc/base-sig" 4 | 5 | import 6 | structure AbsSyn 7 | from "AbsSyn" 8 | 9 | import 10 | signature Parser_TOKENS 11 | from "JACKE_PARSER-sig" 12 | 13 | -------------------------------------------------------------------------------- /doc/samples/icfp2006/use.sml: -------------------------------------------------------------------------------- 1 | import "store" 2 | import "decoder" 3 | import "disassemble" 4 | import "machine" 5 | 6 | val s=Store.init"codex.umz" 7 | val m=Machine.machine s 8 | 9 | fun repeat 0 f x = () 10 | | repeat n f x = (f x; repeat (n-1) f x) 11 | -------------------------------------------------------------------------------- /lib/constraints/distribution/initScript: -------------------------------------------------------------------------------- 1 | source /local/botlan/alice/lib/constraints/distribution/AlicePath 2 | export ALICERUN=/opt/alice-devel/bin/alicerun 3 | export WORKERURI="x-alice:/lib/constraints/distribution/RemoteWorker" 4 | export DISPLAY=":0.0" 5 | 6 | -------------------------------------------------------------------------------- /misc/debian/share/applications/alice.desktop: -------------------------------------------------------------------------------- 1 | [Desktop Entry] 2 | Name=Alice Interactive Toplevel 3 | Comment=Develop Alice programs using a nice GUI 4 | Exec=alice -g %F 5 | Terminal=0 6 | Type=Application 7 | Icon=alice.png 8 | Categories=Application;Development; 9 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/freevar.sml: -------------------------------------------------------------------------------- 1 | datatype 'a t = T 2 | fun f x = x 3 | val _ = f T 4 | (* 5 | val g = #2 6 | val x = g(2,3) 7 | *) 8 | 9 | fun f(x as {a,...}) = 10 | let 11 | structure S = struct val y = x end 12 | in 13 | () 14 | end 15 | -------------------------------------------------------------------------------- /doc/samples/snake/server/NOTES: -------------------------------------------------------------------------------- 1 | rework main loop logic. must send at least one change diff BEFORE the first movement in each level! 2 | evaluate Highscore during the compilation process! 3 | fix numerous TODOS / FIXMEs 4 | 5 | do not move snakes which are half in gate 6 | -------------------------------------------------------------------------------- /test/suite/run.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | if [ `uname | head -c 6 | tr [A-Z] [a-z]` = "cygwin" ]; then 4 | ARG=PLATFORM_WINDOWS 5 | else 6 | ARG=PLATFORM_UNIX 7 | fi 8 | (make PLATFORM=$ARG $@ && clear && 9 | alicerun Main 30.000 false false true) 10 | -------------------------------------------------------------------------------- /doc/man/see_also: -------------------------------------------------------------------------------- 1 | [SEE ALSO] 2 | Full documentation of the Alice programming system and language is 3 | available from the Alice web page at http://www.ps.uni-sb.de/alice . 4 | 5 | \fBalice(1)\fR, \fBalicec(1)\fR, \fBalicelink(1)\fR, \fBalicerun(1)\fR, 6 | \fBalicedep(1)\fR 7 | -------------------------------------------------------------------------------- /lib/gtk/.cvsignore: -------------------------------------------------------------------------------- 1 | autom4te.cache 2 | config.cache 3 | config.log 4 | config.status 5 | configure 6 | Makefile 7 | gtkraw.c gtkheader.c 8 | UnsafeGdk.oz UnsafeGtk.oz UnsafeGtkCanvas.oz 9 | GDK-sig.aml GTK-sig.aml GTK_CANVAS-sig.aml 10 | autom4te-*.cache 11 | *.ozf 12 | -------------------------------------------------------------------------------- /test/recompile-a.aml: -------------------------------------------------------------------------------- 1 | local 2 | structure A :> 3 | sig 4 | type t 5 | val x : t 6 | val f : t -> string 7 | end = 8 | struct 9 | type t = int 10 | val x = 5 11 | val f = Int.toString 12 | end 13 | in 14 | structure A = (open A) 15 | end 16 | -------------------------------------------------------------------------------- /compiler/backend-mozart/pickle-out-stream.cm: -------------------------------------------------------------------------------- 1 | Group 2 | 3 | structure PickleOutStream 4 | 5 | is 6 | 7 | ../../lib/utility/sources.cm 8 | ../infrastructure/sources.cm 9 | 10 | crc.cm 11 | PICKLE_OUT_STREAM-sig.aml 12 | PickleOutStream.aml 13 | -------------------------------------------------------------------------------- /doc/samples/MyComponent.aml: -------------------------------------------------------------------------------- 1 | import signature MY_COMPONENT from "MY_COMPONENT-sig" 2 | 3 | structure MyComponent :> MY_COMPONENT = 4 | struct 5 | val _ = TextIO.print "Evaluating MyComponent\n" 6 | 7 | fun fak 0 = 1 8 | | fak i = i * fak (i - 1) 9 | end 10 | -------------------------------------------------------------------------------- /misc/debian/AUTHORS: -------------------------------------------------------------------------------- 1 | The principle authors of Alice are: 2 | 3 | Thorsten Brunklaus 4 | Leif Kornstaedt 5 | Andreas Rossberg 6 | 7 | The following people have made essential contributions to the 8 | design of the language: 9 | 10 | Jan Schwinghammer 11 | Gert Smolka 12 | -------------------------------------------------------------------------------- /compiler/backend-common/NAME_FUNS-sig.aml: -------------------------------------------------------------------------------- 1 | 2 | 3 | import structure FlatGrammar from "FlatGrammar" 4 | 5 | 6 | (* 7 | * Assign print-names to functions 8 | *) 9 | signature NAME_FUNS = sig 10 | 11 | val name : FlatGrammar.body -> FlatGrammar.body 12 | 13 | end 14 | -------------------------------------------------------------------------------- /misc/dist-seam/AUTHORS: -------------------------------------------------------------------------------- 1 | The principle authors of Alice are: 2 | 3 | Thorsten Brunklaus 4 | Leif Kornstaedt 5 | Andreas Rossberg 6 | 7 | The following people have made essential contributions to the 8 | design of the language: 9 | 10 | Jan Schwinghammer 11 | Gert Smolka 12 | -------------------------------------------------------------------------------- /test/icfp2000/src/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | smlnj-lib.cm 4 | ml-yacc-lib.cm 5 | 6 | Lexer.lex 7 | Parser.grm 8 | Machine.sml 9 | Color.sml 10 | Geometry.sml 11 | RENDERER.sig 12 | Renderer.sml 13 | PPMFile.sml 14 | Main.sml 15 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/stringcvt.ok: -------------------------------------------------------------------------------- 1 | 2 | File stringcvt.sml: Testing structure StringCvt... 3 | test1 OK 4 | test2 OK 5 | test3 OK 6 | test4 OK 7 | test5 OK 8 | test6 OK 9 | test7 OK 10 | test8 OK 11 | test9 OK 12 | test10 OK 13 | -------------------------------------------------------------------------------- /vm-dotnet/examples/Test.cs: -------------------------------------------------------------------------------- 1 | public class Test { 2 | public static void Main(string[] args) { 3 | System.Console.WriteLine(Fib_Alice.Lang); 4 | int[] array = Fib_Alice.NextTerms(5, 1, 1); 5 | for (int i = 0; i < 5; i++) 6 | System.Console.WriteLine(array[i]); 7 | } 8 | } 9 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/array5.ok: -------------------------------------------------------------------------------- 1 | 13 13 13 13 13 2 | 13 13 13 13 13 3 | 13 13 13 13 13 4 | 13 13 13 13 13 5 | 0 1 2 3 4 6 | 1 2 3 4 5 7 | 2 3 4 5 6 8 | 3 4 5 6 7 9 | 1 2 10 | 3 4 11 | 5 6 12 | 1 2 3 13 | 4 5 6 14 | 7 8 9 15 | 1 4 7 16 | 2 5 8 17 | 3 6 9 18 | -------------------------------------------------------------------------------- /vm-seam/debian/Makefile.am: -------------------------------------------------------------------------------- 1 | ## Process this file with automake to produce Makefile.in 2 | 3 | EXTRA_DIST = changelog control copyright \ 4 | rules alice.install alice-dev.install alice.info alice.spec 5 | 6 | dist-hook: 7 | $(AMTAR) -c $(EXTRA_DIST) | \ 8 | (cd $(distdir) && $(AMTAR) x) 9 | -------------------------------------------------------------------------------- /compiler/frontend-sml/input-grammar.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../infrastructure/source.cm 4 | 5 | SCON-sig.aml 6 | SCon.aml 7 | LAB-sig.aml 8 | Lab.aml 9 | ID-sig.aml 10 | MkId.aml 11 | 12 | Ids.aml 13 | 14 | INPUT_GRAMMAR-sig.aml 15 | MkInputGrammar.aml 16 | InputGrammar.aml 17 | -------------------------------------------------------------------------------- /doc/samples/snake/server/READ_WRITE_LOCK-sig.aml: -------------------------------------------------------------------------------- 1 | signature READ_WRITE_LOCK = 2 | sig 3 | type lock 4 | type t = lock 5 | 6 | val lock : unit -> lock 7 | 8 | val sync : lock -> ('a -> 'b) -> ('a -> 'b) 9 | val syncWrite : lock -> ('a -> 'b) -> ('a -> 'b) 10 | end 11 | -------------------------------------------------------------------------------- /misc/debian/debian/menu: -------------------------------------------------------------------------------- 1 | ?package(alice):\ 2 | needs="x11"\ 3 | section="Apps/Programming"\ 4 | title="Alice GUI"\ 5 | command="/usr/bin/alice -g" 6 | 7 | ?package(alice):\ 8 | needs="text"\ 9 | section="Apps/Programming"\ 10 | title="Alice"\ 11 | command="/usr/bin/alice" 12 | -------------------------------------------------------------------------------- /compiler/doc/types-plan.txt: -------------------------------------------------------------------------------- 1 | - rename Inf.kind to univ 2 | - more suitable Type.mismatch 3 | - annotate paths (problem: introduces mutual recursion between Type and Inf) 4 | - get rid of 'con somehow 5 | - clean up VarDec stuff in elaborator 6 | - move PP stuff from lib/rtt to compiler/frontend-common 7 | -------------------------------------------------------------------------------- /doc/samples/ants/samples/tiny.world: -------------------------------------------------------------------------------- 1 | 10 2 | 10 3 | # # # # # # # # # # 4 | # 9 9 . . . . 3 3 # 5 | # 9 # . - - - - - # 6 | # . # - - - - - - # 7 | # . . 5 - - - - - # 8 | # + + + + + 5 . . # 9 | # + + + + + + # . # 10 | # + + + + + . # 9 # 11 | # 3 3 . . . . 9 9 # 12 | # # # # # # # # # # 13 | -------------------------------------------------------------------------------- /misc/debian/debian/Makefile.am: -------------------------------------------------------------------------------- 1 | ## Process this file with automake to produce Makefile.in 2 | 3 | EXTRA_DIST = changelog control copyright \ 4 | rules alice-runtime.info alice-runtime.spec \ 5 | menu 6 | 7 | dist-hook: 8 | $(AMTAR) -c $(EXTRA_DIST) | \ 9 | (cd $(distdir) && $(AMTAR) x) 10 | -------------------------------------------------------------------------------- /test/bench/UnsafeTimer.oz: -------------------------------------------------------------------------------- 1 | functor $ 2 | import 3 | Property(get put) 4 | export 5 | 'UnsafeTimer$' : Interface 6 | define 7 | {Property.put time foo(detailed:true)} 8 | Interface = 'UnsafeTimer'(time : fun {$ _} 9 | {Property.get time}.total 10 | end) 11 | end 12 | -------------------------------------------------------------------------------- /tools/yacc/test/test.aml: -------------------------------------------------------------------------------- 1 | use "../jackeSigs.sml"; 2 | use "../lrtable.sml"; 3 | use "../LrParser.sml"; 4 | 5 | (* use Lexer too *) 6 | 7 | use "../../lex/lexer-sig.sml"; 8 | use "../../lex/lexer.sml"; 9 | 10 | (* let me see ... *) 11 | 12 | Compiler.Control.Print.printDepth := 100; 13 | 14 | -------------------------------------------------------------------------------- /vm-seam/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | alice.dll 3 | Rel1.import Rel2.import 4 | build1 build2 build3 5 | Makefile.bootstrap.depend 6 | .deps 7 | Makefile 8 | Makefile.in 9 | Makefile.bootstrap 10 | aclocal.m4 11 | autom4te*.cache 12 | config.log 13 | config.status 14 | configure 15 | -------------------------------------------------------------------------------- /doc/samples/ants/samples/homebase.world: -------------------------------------------------------------------------------- 1 | 10 2 | 10 3 | # # # # # # # # # # 4 | # . . . . . . . . # 5 | # . . . . . . . . # 6 | # . . . . . . . . # 7 | # . . . + + + . . # 8 | # . . + + + + . . # 9 | # . . . + + + . . # 10 | # . . . . . . . . # 11 | # . . . . . . . . # 12 | # # # # # # # # # # 13 | -------------------------------------------------------------------------------- /test/icfp2000/denys/Makefile.rules: -------------------------------------------------------------------------------- 1 | # -*-makefile-*- 2 | 3 | #VERSION = 4 | #PKG_NAME = lewinsky-disaster-$(VERSION) 5 | #PKG_MOGUL_URI = mogul:/clinton/lewinsky 6 | #PKG_URI = x-ozlib://clinton/monica 7 | #PKG_SOURCES = 8 | #PKG_INSTALLS = 9 | #PKG_UPDATE = tgz tarz 10 | #PKG_INSTALLS_DOC= 11 | 12 | -------------------------------------------------------------------------------- /test/suite/lib/regression/tests/scon.aml: -------------------------------------------------------------------------------- 1 | (* scon *) 2 | 3 | (* Checks parsing of special constants. *) 4 | 5 | #"\^C"; 6 | #"\a"; 7 | #"\u0000"; 8 | #"\ \x\ \"; 9 | 3.2121212121212121212121212121; 10 | 2e3; 11 | 0.00000000000e123213213123213123123; 12 | 0wxabcd; 13 | 0xAaAa; 14 | 15 | -------------------------------------------------------------------------------- /vm-dotnet/examples/Fib_Alice_Component.aml: -------------------------------------------------------------------------------- 1 | val lang = "Alice" 2 | 3 | fun nextTerms (count, term0, term1) = 4 | let 5 | fun gen (a, b) = byneed (fn () => a::gen (b, a + b)) 6 | val fibs = gen (term0, term1) 7 | in 8 | Vector.fromList (List.take (List.drop (fibs, 2), count)) 9 | end 10 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/decgroup-typeschemes.aml: -------------------------------------------------------------------------------- 1 | signature STRING = 2 | sig 3 | val scan : 'a -> {} 4 | val scanC : 'a -> {} 5 | end 6 | 7 | structure String : STRING = 8 | struct 9 | fun scan src = scan'' src 10 | and scan'' src = {} 11 | fun scanC src = scan'' src 12 | end 13 | -------------------------------------------------------------------------------- /tools/ffigen/doc/Makefile: -------------------------------------------------------------------------------- 1 | 2 | 3 | all: documentation_binding.ps 4 | 5 | documentation_binding.dvi: documentation_binding.tex 6 | latex documentation_binding.tex 7 | 8 | documentation_binding.ps: documentation_binding.dvi 9 | dvips documentation_binding.dvi -o documentation_binding.ps 10 | 11 | 12 | -------------------------------------------------------------------------------- /doc/manual/examples/interpreter/LEXER-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Interpreter for F - Lexer 3 | * 4 | * 2000/02/02 Andreas Rossberg 5 | *) 6 | 7 | import structure Token from "Token" 8 | 9 | signature LEXER = 10 | sig 11 | exception Error 12 | val lex : string -> Token.token list (* [Error] *) 13 | end 14 | -------------------------------------------------------------------------------- /test/test-trans3.aml: -------------------------------------------------------------------------------- 1 | import val i val t val os val c structure S from "test-trans" 2 | import val i2 val t2 val os2 val c2 val sc2 (*val h2*) from "test-trans2" 3 | val os3 = (os,os2) 4 | val c3 = (c,c2) 5 | val t3 = (t,t2) 6 | val i3 = (i,i2) 7 | val sc3 = (sc2) 8 | (*val h3 = (h2)*) 9 | structure S3 = S 10 | -------------------------------------------------------------------------------- /tools/lex/COLLECT-sig.aml: -------------------------------------------------------------------------------- 1 | import structure AbsSyn from "AbsSyn" 2 | 3 | 4 | signature COLLECT = 5 | sig 6 | 7 | (* collect : 8 | * replaces all regids with there value 9 | * and removes their declaration 10 | *) 11 | val collect : AbsSyn.lex list -> AbsSyn.lex list 12 | 13 | end 14 | -------------------------------------------------------------------------------- /bootstrap/DummyStore.sml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2005 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | structure Store = 14 | struct 15 | fun minimize x = x 16 | end 17 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/where2.sml: -------------------------------------------------------------------------------- 1 | signature S = 2 | sig 3 | signature I = 4 | sig 5 | type t = {} 6 | val x : {} 7 | end 8 | 9 | structure X : I where type t = {} 10 | end 11 | 12 | functor F(B : S) = 13 | struct 14 | open B 15 | val _ = X.x 16 | end 17 | -------------------------------------------------------------------------------- /compiler/frontend-sml/test/refcon.aml: -------------------------------------------------------------------------------- 1 | import structure Toplevel from "x-alice:/lib/fundamental/Toplevel" 2 | 3 | val Toplevel.ref x = Toplevel.ref 0 4 | 5 | structure T = struct datatype ref = datatype Toplevel.ref end 6 | val T.ref y = T.ref 0 7 | 8 | structure U = struct open T end 9 | val U.ref z = U.ref 0 10 | -------------------------------------------------------------------------------- /compiler/top/make-recursive-compiler.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../bootstrap/component.cm 4 | ../../lib/system/resolver.cm 5 | ../infrastructure/crash.cm 6 | compiler.cm 7 | 8 | DEPENDENCY-sig.aml 9 | Dependency.aml 10 | 11 | RECURSIVE_COMPILER-sig.aml 12 | MkRecursiveCompiler.aml 13 | -------------------------------------------------------------------------------- /tools/yacc/test/test5.sml: -------------------------------------------------------------------------------- 1 | (* test translation to NF *) 2 | 3 | 4 | (* replaced 'lexer' with 'lexxer' because of problems with hose *) 5 | 6 | 7 | structure c = 8 | struct 9 | 10 | rule a = n as skip => (nleft) 11 | 12 | parser parse = a 13 | 14 | val lexxer = fn () => (NONE,0,0) 15 | end 16 | -------------------------------------------------------------------------------- /bootstrap/component.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../lib/rtt/interface.cm 4 | ../lib/system/sources.cm 5 | ../lib/system/resolver.cm 6 | ../lib/utility/sources.cm 7 | 8 | UnsafeComponent.sml 9 | COMPONENT_MANAGER-sig.sml 10 | COMPONENT-sig.sml 11 | Component.sml 12 | ComponentManager.sml 13 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/manistr.sml: -------------------------------------------------------------------------------- 1 | structure M = 2 | struct 3 | datatype t = T 4 | end 5 | 6 | signature S = 7 | sig 8 | structure X = M 9 | val x : M.t 10 | end 11 | 12 | structure N :> S = 13 | struct 14 | structure X = M 15 | val x = X.T 16 | end 17 | 18 | val M.T = N.x 19 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/where.sml: -------------------------------------------------------------------------------- 1 | (* Strengthening and where *) 2 | 3 | signature S0 = 4 | sig 5 | type t 6 | end 7 | 8 | signature S1 = 9 | sig 10 | structure M0 : S0 11 | end 12 | 13 | signature S2 = 14 | sig 15 | structure M0' : S0 16 | structure M1 : S1 where M0 = M0' 17 | end 18 | -------------------------------------------------------------------------------- /compiler/frontend-common/typed-grammar.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../lib/rtt/name.cm 4 | ../../lib/rtt/fixity.cm 5 | ../../lib/rtt/type.cm 6 | ../../lib/rtt/interface.cm 7 | ../infrastructure/source.cm 8 | ../infrastructure/pp-misc.cm 9 | ../common/id-stamp.cm 10 | abstract-grammar.cm 11 | 12 | TypedGrammar.aml 13 | -------------------------------------------------------------------------------- /doc/papers/stockwerk/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | latex main 3 | bibtex main 4 | latex main 5 | bibtex main 6 | latex main 7 | latex main 8 | dvips -o main.ps main.dvi 9 | 10 | view: 11 | gv main.ps 12 | 13 | clean: 14 | rm -f main.dvi main.ps *.aux *.log *.bbl *.blg *.toc 15 | 16 | distclean: clean 17 | rm -f *~ 18 | -------------------------------------------------------------------------------- /lib/data/WideAtom.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2002-2003 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure Atom from "Atom" 14 | 15 | structure WideAtom = Atom 16 | -------------------------------------------------------------------------------- /bootstrap/DummyAddr.sml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001-2007 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | structure Addr = 14 | struct 15 | fun addr c = Cell.hash c 16 | end 17 | -------------------------------------------------------------------------------- /bootstrap/alicec: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | dir=`dirname $0` 4 | dir=`(cd $dir && pwd)` 5 | 6 | case `uname -s` in 7 | CYGWIN*) 8 | dir=`cygpath -w -s "$dir"` 9 | ;; 10 | *) 11 | ;; 12 | esac 13 | 14 | ALICEC_MOZART=$dir/alicec-mozart.exe 15 | export ALICEC_MOZART 16 | 17 | exec sml @SMLload=$dir/alicec-mozart "$@" 18 | -------------------------------------------------------------------------------- /compiler/frontend-sml/Lexer.aml.header: -------------------------------------------------------------------------------- 1 | import 2 | structure Crash 3 | from "../infrastructure/Crash" 4 | 5 | import 6 | signature Parser_TOKENS 7 | from "PARSER-sig" 8 | 9 | import 10 | structure ParsingError 11 | from "ParsingError" 12 | 13 | import 14 | signature LEXER_ERROR 15 | from "LEXER_ERROR-sig" 16 | -------------------------------------------------------------------------------- /lib/utility/UnsafeAddr.asig: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature ADDR_COMPONENT = 14 | sig 15 | val addr : 'a -> int 16 | end 17 | -------------------------------------------------------------------------------- /test/icfp2000/denys/Makefile.vars: -------------------------------------------------------------------------------- 1 | # -*-makefile-*- 2 | 3 | #VERSION = 4 | #PKG_NAME = lewinsky-disaster-$(VERSION) 5 | #PKG_MOGUL_URI = mogul:/clinton/lewinsky 6 | #PKG_URI = x-ozlib://clinton/monica 7 | #PKG_SOURCES = 8 | PKG_INSTALLS = Geometry.so-$(PLATFORM) 9 | #PKG_UPDATE = tgz tarz 10 | #PKG_INSTALLS_DOC= 11 | 12 | -------------------------------------------------------------------------------- /test/test-trans.aml: -------------------------------------------------------------------------------- 1 | val i = 5 2 | val t = Time.zeroTime 3 | val os = TextIO.stdOut 4 | exttype et 5 | constructor C : et 6 | val c = C 7 | structure S = 8 | struct 9 | exttype et 10 | constructor C : et 11 | val c = C 12 | end 13 | local 14 | exttype ht 15 | constructor H : ht 16 | in 17 | val h = H 18 | end 19 | -------------------------------------------------------------------------------- /compiler/backend-common/test/liveness.aml: -------------------------------------------------------------------------------- 1 | val f1 = fn ((17 withval a = 127 end, 7) | (_, a)) => a 2 | 3 | val f2 = fn (b, f) => 4 | (if b then f 1 5 | else f 2; 6 | f 3) 7 | 8 | val f3 = fn f => 9 | let 10 | val x = 1 11 | in 12 | let val y = 2 in f (x, y) end 13 | handle _ => () 14 | end 15 | -------------------------------------------------------------------------------- /compiler/infrastructure/REPRESENTATION-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature REPRESENTATION = 14 | sig 15 | type t 16 | end 17 | -------------------------------------------------------------------------------- /lib/distribution/Remote.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2004 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure Remote from "BinRemote" 14 | 15 | structure Remote = Remote 16 | -------------------------------------------------------------------------------- /lib/sandbox/SecurityViolation.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andi Scharfstein 4 | * 5 | * Copyright: 6 | * Andi Scharfstein, 2006 7 | *) 8 | 9 | (* Immediately raises security failure *) 10 | import structure Sandbox from "../system/Sandbox" 11 | do raise Sandbox.Security "Security Failure" 12 | -------------------------------------------------------------------------------- /vm-dotnet/Canvas.asig: -------------------------------------------------------------------------------- 1 | signature Canvas = 2 | sig 3 | type ty 4 | val nativeInspect : 'a * ty -> unit 5 | val makeArrowType : ty * ty -> ty 6 | val makeBasicType : string -> ty 7 | val makeListType : ty -> ty 8 | val makeRecordType : ty vector -> ty 9 | val makeTupleType : ty vector -> ty 10 | end 11 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/reftype.aml: -------------------------------------------------------------------------------- 1 | __primitive __reftype 'a ref = ref of 'a 2 | 3 | signature CELL = 4 | sig 5 | __eqeqtype 'a cell 6 | val cell : 'a -> 'a cell 7 | end 8 | 9 | structure Cell : CELL = 10 | struct 11 | type 'a cell = 'a ref 12 | val cell = ref 13 | end 14 | 15 | val _ = Cell.cell() 16 | -------------------------------------------------------------------------------- /misc/debian/Makefile.cvs: -------------------------------------------------------------------------------- 1 | # -*- makefile -*- 2 | 3 | # The cvs target creates the autoconf/automake files that are necessary for 4 | # the build but should better not be put under CVS control. 5 | # 6 | # This is a temporary hack. 7 | 8 | cvs: 9 | aclocal 10 | automake --add-missing 11 | autoconf 12 | 13 | .PHONY: cvs 14 | -------------------------------------------------------------------------------- /tools/ffigen/SET-sig.sml: -------------------------------------------------------------------------------- 1 | signature Set = sig 2 | type 'a set 3 | val emptyset : ('a * 'a -> order) -> 'a set 4 | 5 | val isEmpty : 'a set -> bool 6 | val insert : 'a set * 'a -> 'a set 7 | val remove : 'a set * 'a -> 'a set 8 | val member : 'a set * 'a -> bool 9 | val union : 'a set * 'a set -> 'a set 10 | end 11 | -------------------------------------------------------------------------------- /tools/toplevel/TOPLEVEL-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2005 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature TOPLEVEL = 14 | sig 15 | val run : string list -> unit 16 | end 17 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/Word8.cc: -------------------------------------------------------------------------------- 1 | // 2 | // Author: 3 | // Leif Kornstaedt 4 | // 5 | // Copyright: 6 | // Leif Kornstaedt, 2002 7 | // 8 | // Last Change: 9 | // $Date$ by $Author$ 10 | // $Revision$ 11 | // 12 | 13 | #define WORD_PRECISION 8 14 | #define WordN Word8 15 | 16 | #include "Word.icc" 17 | -------------------------------------------------------------------------------- /compiler/common/Stamp.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import functor MkStamp from "../../lib/data/MkStamp" 14 | 15 | structure Stamp = MkStamp() 16 | -------------------------------------------------------------------------------- /compiler/top/main-seam.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../frontend-sml/sources.cm 4 | ../frontend-common/sources.cm 5 | ../backend-common/sources.cm 6 | ../backend-seam/sources.cm 7 | 8 | make-recursive-compiler.cm 9 | make-batch-compiler.cm 10 | 11 | SMLToSeamRecursiveCompiler.aml 12 | SMLToSeamBatchCompiler.aml 13 | -------------------------------------------------------------------------------- /lib/data/ORDERED-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2003 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature ORDERED = 14 | sig 15 | type t 16 | val compare : t * t -> order 17 | end 18 | -------------------------------------------------------------------------------- /lib/regex/debian/changelog: -------------------------------------------------------------------------------- 1 | alice-regex (1.3-1) unstable; urgency=low 2 | 3 | * New upstream release 4 | 5 | -- Guido Tack Thu, 27 Apr 2006 15:01:24 +0200 6 | 7 | alice-regex (1.2-1) unstable; urgency=low 8 | 9 | * Initial release. 10 | 11 | -- Guido Tack Fri, 5 Aug 2005 15:13:25 +0100 12 | -------------------------------------------------------------------------------- /misc/dist-seam/Makefile.cvs: -------------------------------------------------------------------------------- 1 | # -*- makefile -*- 2 | 3 | # The cvs target creates the autoconf/automake files that are necessary for 4 | # the build but should better not be put under CVS control. 5 | # 6 | # This is a temporary hack. 7 | 8 | cvs: 9 | aclocal 10 | automake --add-missing 11 | autoconf 12 | 13 | .PHONY: cvs 14 | -------------------------------------------------------------------------------- /test/icfp2000/packme: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | tarname=helikopter.tar.gz 4 | sources="Color.sml Geometry.sml Lexer.lex Machine.sml Main.sml PPMFile.sml Parser.grm RENDERER.sml Renderer.sml build.sml sources.cm" 5 | examples="helikopter.gml" 6 | files="README buildme runme src helikopter.gml" 7 | 8 | tar -czf $tarname $files 9 | md5sum $tarname 10 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/listpair.ok: -------------------------------------------------------------------------------- 1 | 2 | File listpair.sml: Testing structure ListPair... 3 | test1 OK 4 | test2a OK 5 | test2b OK 6 | test3a OK 7 | checkv OK 8 | checkv OK 9 | test5a OK 10 | test5b OK 11 | test5c OK 12 | checkv OK 13 | checkv OK 14 | test6 OK 15 | test7 OK 16 | -------------------------------------------------------------------------------- /tools/yacc/Set.aml: -------------------------------------------------------------------------------- 1 | (* Set abstraction *) 2 | 3 | structure Set = 4 | struct 5 | type 'a set = 'a list 6 | val empty = [] 7 | fun isempty s = s=nil 8 | fun contains s x = List.exists (fn y => y=x) s 9 | fun insert x s = if contains s x then s else x::s 10 | fun remove x s = List.filter (fn y => y<>x) s 11 | end 12 | -------------------------------------------------------------------------------- /vm-seam/Makefile.cvs: -------------------------------------------------------------------------------- 1 | # -*- makefile -*- 2 | 3 | # The cvs target creates the autoconf/automake files that are necessary for 4 | # the build but should better not be put under CVS control. 5 | # 6 | # This is a temporary hack. 7 | 8 | cvs: 9 | aclocal-seam -I . 10 | autoconf 11 | automake-seam --add-missing 12 | 13 | .PHONY: cvs 14 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/CharVector.cc: -------------------------------------------------------------------------------- 1 | // 2 | // Author: 3 | // Guido Tack 4 | // 5 | // Copyright: 6 | // Guido Tack, 2005 7 | // 8 | // Last Change: 9 | // $Date$ by $Author$ 10 | // $Revision$ 11 | // 12 | 13 | #define XVector CharVector 14 | #define REQUEST_ELEMS_INT 1 15 | 16 | #include "Vector.icc" 17 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/Word31.cc: -------------------------------------------------------------------------------- 1 | // 2 | // Author: 3 | // Leif Kornstaedt 4 | // 5 | // Copyright: 6 | // Leif Kornstaedt, 2002 7 | // 8 | // Last Change: 9 | // $Date$ by $Author$ 10 | // $Revision$ 11 | // 12 | 13 | #define WORD_PRECISION 31 14 | #define WordN Word31 15 | 16 | #include "Word.icc" 17 | -------------------------------------------------------------------------------- /compiler/infrastructure/CONTEXT-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001-2003 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature CONTEXT = 14 | sig 15 | type t 16 | val empty : t 17 | end 18 | -------------------------------------------------------------------------------- /lib/gtk/mozart/WRAPPER-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2001 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature WRAPPER = 15 | sig 16 | val create : unit -> unit 17 | end 18 | -------------------------------------------------------------------------------- /lib/tools/inspector/seam/gui/LAYOUT_LIST-sig.aml: -------------------------------------------------------------------------------- 1 | import structure AbsTree from "../AbsTree" 2 | import structure GrTypes from "GrTypes" 3 | 4 | local 5 | type abstree = AbsTree.tree 6 | type tree = GrTypes.tree 7 | in 8 | signature LAYOUT_LIST = 9 | sig 10 | val replaceListTail : abstree * tree * int * tree -> unit 11 | end 12 | end 13 | -------------------------------------------------------------------------------- /tools/lex/HoseParser.aml.header: -------------------------------------------------------------------------------- 1 | import 2 | signature TOKEN 3 | signature PARSER_DATA 4 | from "x-alice:/lib/ml-yacc/base-sig" 5 | 6 | import 7 | structure AbsSyn 8 | from "AbsSyn" 9 | 10 | import 11 | signature Parser_TOKENS 12 | from "HOSE_PARSER-sig" 13 | 14 | import 15 | structure BoolVector 16 | from "Container" 17 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/Vector.cc: -------------------------------------------------------------------------------- 1 | // 2 | // Author: 3 | // Leif Kornstaedt 4 | // 5 | // Copyright: 6 | // Leif Kornstaedt, 2002 7 | // 8 | // Last Change: 9 | // $Date$ by $Author$ 10 | // $Revision$ 11 | // 12 | 13 | #define XVector Vector 14 | #define REQUEST_ELEMS_INT 0 15 | 16 | #include "Vector.icc" 17 | -------------------------------------------------------------------------------- /compiler/top/main-dotnet.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../frontend-sml/sources.cm 4 | ../frontend-common/sources.cm 5 | ../backend-common/sources.cm 6 | ../backend-dotnet/sources.cm 7 | 8 | make-recursive-compiler.cm 9 | make-batch-compiler.cm 10 | 11 | SMLToDotNetRecursiveCompiler.aml 12 | SMLToDotNetBatchCompiler.aml 13 | -------------------------------------------------------------------------------- /compiler/top/main-mozart.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../frontend-sml/sources.cm 4 | ../frontend-common/sources.cm 5 | ../backend-common/sources.cm 6 | ../backend-mozart/sources.cm 7 | 8 | make-recursive-compiler.cm 9 | make-batch-compiler.cm 10 | 11 | SMLToMozartRecursiveCompiler.aml 12 | SMLToMozartBatchCompiler.aml 13 | -------------------------------------------------------------------------------- /lib/distribution/search/LOGGER-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2001 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature LOGGER = 15 | sig 16 | val log : string -> unit 17 | end 18 | -------------------------------------------------------------------------------- /lib/gtk/mozart/SIGNATURE-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2001 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature SIGNATURE = 15 | sig 16 | val create : unit -> unit 17 | end 18 | -------------------------------------------------------------------------------- /lib/regex/debian/control: -------------------------------------------------------------------------------- 1 | Source: alice-regex 2 | Section: devel 3 | Priority: optional 4 | Build-Depends: debhelper (>= 4.0.0), alice-dev 5 | Maintainer: Guido Tack 6 | Standards-Version: 3.6.0 7 | 8 | Package: alice-regex 9 | Architecture: any 10 | Depends: ${shlibs:Depends}, alice 11 | Description: The Alice Regex binding 12 | -------------------------------------------------------------------------------- /lib/tools/inspector/mozart/test/names.aml: -------------------------------------------------------------------------------- 1 | import structure Inspector from "x-alice:/lib/tools/Inspector" 2 | import structure GlobalStamp from "x-alice:/lib/utility/GlobalStamp" 3 | 4 | val _ = let 5 | val stamp = GlobalStamp.new () 6 | in 7 | (Inspector.inspect (stamp, stamp); 8 | Inspector.inspect (Overflow, Overflow)) 9 | end 10 | -------------------------------------------------------------------------------- /lib/utility/Addr.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import val addr from "UnsafeAddr" 14 | 15 | structure Addr = 16 | struct 17 | val addr = addr 18 | end 19 | -------------------------------------------------------------------------------- /tools/ffigen/PREPARE-sig.sml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Robert Grabowski 4 | * 5 | * Copyright: 6 | * Robert Grabowski, 2003 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature PREPARE = 15 | sig 16 | val prepare : string -> string -> unit 17 | end 18 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/lambdas_in_types.sml: -------------------------------------------------------------------------------- 1 | datatype 'a option = NONE | SOME of 'a 2 | 3 | structure S1 = 4 | struct 5 | fun f {} = NONE 6 | end 7 | 8 | signature S = 9 | sig 10 | val f: {} -> 'a option 11 | end 12 | 13 | structure S2 :> S = S1 14 | 15 | structure X = 16 | struct 17 | fun g {} = S2.f {} 18 | end 19 | -------------------------------------------------------------------------------- /doc/samples/snake/server/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES=TRANSACTIONAL_ARRAY2-sig.aml MkTransactionalArray2.aml ARENA-sig.aml Arena.aml IMP_QUEUE-sig.aml ImpQueue.aml SNAKE-sig.aml Snake.aml PSTATE-sig.aml PState.aml Server.aml CHANNEL-sig.aml Channel.aml READ_WRITE_LOCK-sig.aml ReadWriteLock.aml HighscoreIO.aml HIGHSCORE_IO-sig.aml 2 | 3 | 4 | 5 | -include ../AliceMakefile 6 | -------------------------------------------------------------------------------- /lib/tools/inspector/mozart/test/Makefile: -------------------------------------------------------------------------------- 1 | STOC = stoc 2 | STOCOPTS = 3 | 4 | SRCS = values.aml \ 5 | relation.aml \ 6 | killer.aml \ 7 | rtt.aml \ 8 | names.aml 9 | 10 | OBJS = $(SRCS:%.aml=%.ozf) 11 | 12 | %.ozf : %.aml 13 | $(STOC) $(STOCOPTS) -c $< -o $@ 14 | 15 | all: $(OBJS) 16 | 17 | clean: 18 | rm -f *.oz* 19 | -------------------------------------------------------------------------------- /tools/yacc/test/test7.join: -------------------------------------------------------------------------------- 1 | (* replaced 'lexer' with 'lexxer' because of problems with hose *) 2 | 3 | 4 | val fileParser = fn f => 5 | let val ins = TextIO.openIn f 6 | val lexxer = Lexer.makeLexer (fn n => TextIO.inputN (ins,n)) 7 | val result = Parse.parse lexxer 8 | val _ = TextIO.closeIn ins 9 | in 10 | result 11 | end 12 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/Word8Vector.cc: -------------------------------------------------------------------------------- 1 | // 2 | // Author: 3 | // Leif Kornstaedt 4 | // 5 | // Copyright: 6 | // Leif Kornstaedt, 2002 7 | // 8 | // Last Change: 9 | // $Date$ by $Author$ 10 | // $Revision$ 11 | // 12 | 13 | #define XVector Word8Vector 14 | #define REQUEST_ELEMS_INT 1 15 | 16 | #include "Vector.icc" 17 | -------------------------------------------------------------------------------- /compiler/backend-common/engine.cm: -------------------------------------------------------------------------------- 1 | Group 2 | 3 | signature TARGET 4 | signature CODE 5 | signature ENGINE 6 | functor MkEngine 7 | 8 | is 9 | 10 | ../../lib/rtt/name.cm 11 | ../infrastructure/target.cm 12 | ../common/id-stamp.cm 13 | flat-grammar.cm 14 | 15 | CODE-sig.aml 16 | ENGINE-sig.aml 17 | MkEngine.aml 18 | -------------------------------------------------------------------------------- /doc/manual/examples/interpreter/PARSER-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Interpreter for F - Parser 3 | * 4 | * 2000/02/02 Andreas Rossberg 5 | *) 6 | 7 | import structure Token from "Token" 8 | import structure Syntax from "Syntax" 9 | 10 | signature PARSER = 11 | sig 12 | exception Error 13 | val parse : Token.token list -> Syntax.exp (* [Error] *) 14 | end 15 | -------------------------------------------------------------------------------- /doc/samples/snake_proof_of_concept/client/ClientMain.aml: -------------------------------------------------------------------------------- 1 | import structure StartClient from "Client" 2 | import structure Gui from "Gui" 3 | import structure LogSnakeUI from "SNAKE_UI-sig" 4 | 5 | structure M = StartClient (LogSnakeUI (Gui)) 6 | 7 | fun main () = 8 | (M.run (); 9 | OS.Process.exit OS.Process.success) 10 | 11 | val _ = main () 12 | -------------------------------------------------------------------------------- /test/bench/Makefile: -------------------------------------------------------------------------------- 1 | NATIVES = AliceTimer 2 | 3 | %.o: %.cc 4 | alicetool compile -c $< -o $@ 5 | 6 | %.dll: %.o 7 | alicetool link -Wl,-S $< -o $@ 8 | 9 | all: $(NATIVES:%=%.dll) 10 | 11 | clean: 12 | rm -f $(NATIVES:%=%.o) 13 | 14 | veryclean: clean 15 | rm -f $(NATIVES:%=%.dll.def) 16 | 17 | distclean: veryclean 18 | rm -f $(NATIVES:%=%.dll) 19 | -------------------------------------------------------------------------------- /test/icfp2000/denys/configure.in: -------------------------------------------------------------------------------- 1 | dnl replace install-sh by the name of a real source file 2 | AC_INIT(ozinstall) 3 | AC_PREFIX_DEFAULT(${OZSKEL_PREFIX:-${HOME}/.oz}) 4 | OZSKEL_INIT 5 | AC_OUTPUT(Makefile) 6 | errprint(ifdef([OZSKEL_INIT], 7 | [autoconf succeeded 8 | ], 9 | [autoconf failed: use "autoconf -l SRCDIR" to include aclocal.m4. 10 | ])) 11 | 12 | -------------------------------------------------------------------------------- /vm-seam/test/native/Makefile: -------------------------------------------------------------------------------- 1 | NATIVES = Timer 2 | 3 | %.o: %.cc 4 | alicetool -v cc -c $< -o $@ 5 | 6 | %.dll: %.o 7 | alicetool -v ld -Wl,-S $< -o $@ 8 | 9 | all: $(NATIVES:%=%.dll) 10 | 11 | clean: 12 | rm -f $(NATIVES:%=%.o) 13 | 14 | veryclean: clean 15 | rm -f $(NATIVES:%=%.dll.def) 16 | 17 | distclean: veryclean 18 | rm -f $(NATIVES:%=%.dll) 19 | -------------------------------------------------------------------------------- /compiler/backend-common/liveness-analysis-phase.cm: -------------------------------------------------------------------------------- 1 | Group 2 | 3 | functor MkLivenessAnalysisPhase 4 | 5 | is 6 | 7 | ../infrastructure/sources.cm 8 | ../common/id-stamp.cm 9 | 10 | flat-grammar.cm 11 | output-flat-grammar.cm 12 | intermediate-aux.cm 13 | 14 | LIVENESS_ANALYSIS_PHASE-sig.aml 15 | MkLivenessAnalysisPhase.aml 16 | -------------------------------------------------------------------------------- /doc/papers/stockwerk/section6.tex: -------------------------------------------------------------------------------- 1 | \section{Evaluation} 2 | The concept has to be veryfied in these aspects: 3 | \begin{itemize} 4 | \item Portability to new platform (scaling) 5 | \item Co-existence and interop of two languages on the machine 6 | \item performance compared to alice/mozart and oz/mozart (?) 7 | \item complexity (approx. the impl. size) 8 | \end{itemize} 9 | -------------------------------------------------------------------------------- /doc/samples/icfp2006/Makefile: -------------------------------------------------------------------------------- 1 | ALICEC = alicec 2 | 3 | FILES0 = store code decoder machine disassemble 4 | FILES = ${FILES0:%=%.alc} 5 | 6 | .PHONY: all 7 | all: ${FILES} 8 | 9 | .PHONY: clean 10 | clean: 11 | rm ${FILES} 12 | 13 | %.alc: %.sml 14 | $(ALICEC) -c $< 15 | 16 | .PHONY: mlton 17 | mlton: 18 | cat ${FILES0:%=%.sml} use.sml >mlton.sml 19 | 20 | -------------------------------------------------------------------------------- /lib/xml/debian/control: -------------------------------------------------------------------------------- 1 | Source: alice-xml 2 | Section: devel 3 | Priority: optional 4 | Build-Depends: debhelper (>= 4.0.0), alice-dev, libxml2-dev 5 | Maintainer: Guido Tack 6 | Standards-Version: 3.6.0 7 | 8 | Package: alice-xml 9 | Architecture: any 10 | Depends: ${shlibs:Depends}, alice, libxml2 11 | Description: The Alice XML binding 12 | -------------------------------------------------------------------------------- /test/suite/Makefile: -------------------------------------------------------------------------------- 1 | FILESTOREMOVE=$(patsubst %.aml.m4, %.aml, $(shell find . -name '*.aml.m4')) Main.alc 2 | 3 | 4 | all: 5 | (cd src; make) 6 | (cd lib; make) 7 | alicec Main.aml -o Main.alc 8 | 9 | clean: 10 | (cd src; make clean) 11 | (cd lib; make clean) 12 | rm -f ${FILESTOREMOVE} 13 | 14 | depend: 15 | (cd src; make depend) 16 | (cd lib; make depend) -------------------------------------------------------------------------------- /vm-dotnet/examples/inflist.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Create an infinite lazy stream of integers 3 | * and print them all out. 4 | * 5 | * Obviously, this will not terminate. 6 | *) 7 | 8 | import val print from "x-alice:/TextIO" 9 | 10 | fun enumFrom n = byneed(fn() => n :: enumFrom(n+1)) 11 | 12 | val _ = List.app (fn n => print(Int.toString n ^ "\n")) (enumFrom 0) 13 | -------------------------------------------------------------------------------- /compiler/backend-common/output-flat-grammar.cm: -------------------------------------------------------------------------------- 1 | group 2 | 3 | structure OutputFlatGrammar 4 | 5 | is 6 | 7 | ../../lib/rtt/name.cm 8 | ../../lib/system/sources.cm 9 | ../../lib/utility/sources.cm 10 | ../common/id-stamp.cm 11 | arity.cm 12 | 13 | flat-grammar.cm 14 | 15 | OUTPUT_FLAT_GRAMMAR-sig.aml 16 | OutputFlatGrammar.aml 17 | -------------------------------------------------------------------------------- /compiler/infrastructure/IntMap.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import functor MkHashImpMap from "../../lib/data/MkHashImpMap" 14 | 15 | structure IntMap = MkHashImpMap(Int) 16 | -------------------------------------------------------------------------------- /compiler/infrastructure/phase.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | source.cm 4 | switches.cm 5 | 6 | ERROR-sig.aml 7 | Error.aml 8 | 9 | CONTEXT-sig.aml 10 | EmptyContext.aml 11 | 12 | REPRESENTATION-sig.aml 13 | 14 | PHASE-sig.aml 15 | PHASE_ERROR-sig.aml 16 | ComposePhases.aml 17 | MkTracingPhase.aml 18 | MkResultDumpingPhase.aml 19 | MkContextDumpingPhase.aml 20 | -------------------------------------------------------------------------------- /doc/samples/snake/common/Makefile: -------------------------------------------------------------------------------- 1 | SOURCES = Color-prepare.aml Highscore.aml HIGHSCORE-sig.aml COLOR-sig.aml POS-sig.aml Pos.aml Protocol.aml Log.aml MkHeap.aml HEAP-sig.aml CONFIG-sig.aml Config.aml 2 | 3 | ROOT = Main 4 | 5 | all: components 6 | 7 | ## adding some dependencies manually 8 | Color.alc: Color-prepare.aml 9 | 10 | -include ../AliceMakefile 11 | 12 | -------------------------------------------------------------------------------- /lib/distribution/search/PROCESS-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2001 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature PROCESS = 15 | sig 16 | val workerSite : string * string -> unit 17 | end 18 | -------------------------------------------------------------------------------- /lib/gecode/debian/control: -------------------------------------------------------------------------------- 1 | Source: alice-gecode 2 | Section: devel 3 | Priority: optional 4 | Build-Depends: debhelper (>= 4.0.0), alice-dev, libgecode7-dev 5 | Maintainer: Guido Tack 6 | Standards-Version: 3.6.0 7 | 8 | Package: alice-gecode 9 | Architecture: any 10 | Depends: ${shlibs:Depends}, alice 11 | Description: The Alice Gecode binding 12 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/extensions/c/eq-ast-ext.sml: -------------------------------------------------------------------------------- 1 | structure EqAstExt = struct 2 | type expExt = (Ast.ctype,Ast.expression,Ast.statement,Ast.binop) AstExt.expressionExt 3 | type stmtExt = (Ast.ctype,Ast.expression,Ast.statement,Ast.binop) AstExt.statementExt 4 | fun eqExpressionExt pair maps (ee1,ee2) = true 5 | fun eqStatementExt pair maps (se1,se2) = maps 6 | end 7 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast/extensions/c/eq-ast-ext.sml: -------------------------------------------------------------------------------- 1 | structure EqAstExt = struct 2 | type expExt = (Ast.ctype,Ast.expression,Ast.statement,Ast.binop) AstExt.expressionExt 3 | type stmtExt = (Ast.ctype,Ast.expression,Ast.statement,Ast.binop) AstExt.statementExt 4 | fun eqExpressionExt pair maps (ee1,ee2) = true 5 | fun eqStatementExt pair maps (se1,se2) = maps 6 | end 7 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/Array.cc: -------------------------------------------------------------------------------- 1 | // 2 | // Author: 3 | // Leif Kornstaedt 4 | // 5 | // Copyright: 6 | // Leif Kornstaedt, 2002 7 | // 8 | // Last Change: 9 | // $Date$ by $Author$ 10 | // $Revision$ 11 | // 12 | 13 | #define XArray Array 14 | #define XVector Vector 15 | #define REQUEST_ELEMS_INT 0 16 | 17 | #include "Array.icc" 18 | -------------------------------------------------------------------------------- /bootstrap/DummyLock.sml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | structure Lock = 14 | struct 15 | type lock = unit 16 | 17 | fun lock() = () 18 | fun sync lock f x = f x 19 | end 20 | -------------------------------------------------------------------------------- /doc/manual/menu.html: -------------------------------------------------------------------------------- 1 |

2 | Contents
3 | Tour
4 | Language
5 | Library
6 | CP Tutorial
7 | Tools
8 | Index
9 |

10 | -------------------------------------------------------------------------------- /lib/distribution/search/REMOTE_WORKER-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2001 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature REMOTE_WORKER = 15 | sig 16 | val worker : string list -> unit 17 | end 18 | -------------------------------------------------------------------------------- /lib/gtk/seam/StrMap.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Benedikt Grundmann 4 | * 5 | * Copyright: 6 | * Benedikt Grundmann, 2005 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure MkHashImpMap from "x-alice:/lib/data/MkHashImpMap" 14 | 15 | structure StrMap = MkHashImpMap String 16 | 17 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast-utils/simplifier/extensions/c/copy-ast-ext.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | structure CopyAstExt = struct 4 | fun copyExprExt (copyExp,copyStmt,copyExtDecl) aidctx ext = ext 5 | fun copyStmtExt (copyExp,copyStmt,copyExtDecl) aidctx ext = ext 6 | fun copyExtDeclExt (copyExp,copyStmt,copyExtDecl) aidctx ext = ext 7 | end 8 | 9 | -------------------------------------------------------------------------------- /tools/ffigen/PARSER-sig.sml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Sven Woop 4 | * 5 | * Copyright: 6 | * Sven Woop, 2003 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature PARSER = 15 | sig 16 | val parse : string -> TypeTree.tree 17 | val parseType : string -> TypeTree.ty 18 | end 19 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast-utils/simplifier/extensions/c/copy-ast-ext.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | structure CopyAstExt = struct 4 | fun copyExprExt (copyExp,copyStmt,copyExtDecl) aidctx ext = ext 5 | fun copyStmtExt (copyExp,copyStmt,copyExtDecl) aidctx ext = ext 6 | fun copyExtDeclExt (copyExp,copyStmt,copyExtDecl) aidctx ext = ext 7 | end 8 | 9 | -------------------------------------------------------------------------------- /compiler/backend-common/sources.cm: -------------------------------------------------------------------------------- 1 | Group 2 | 3 | structure FlatGrammar 4 | functor MkBackendCommon 5 | 6 | is 7 | 8 | ../infrastructure/phase.cm 9 | 10 | flat-grammar.cm 11 | output-flat-grammar.cm 12 | flattening-phase.cm 13 | value-propagation-phase.cm 14 | liveness-analysis-phase.cm 15 | engine.cm 16 | 17 | MkBackendCommon.aml 18 | -------------------------------------------------------------------------------- /compiler/infrastructure/StringMap.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import functor MkHashImpMap from "../../lib/data/MkHashImpMap" 14 | 15 | structure StringMap = MkHashImpMap(String) 16 | -------------------------------------------------------------------------------- /doc/manual/library/menu.html: -------------------------------------------------------------------------------- 1 |

2 | Home
3 | Tour
4 | Language
5 | Library
6 | CP Tutorial
7 | Tools
8 | Site Map
9 |

10 | -------------------------------------------------------------------------------- /test/suite/lib/regression/results/print-self.ok: -------------------------------------------------------------------------------- 1 | val K = "\nval _ = print (concat [\"val K = \\\"\", String.translate (fn #\"\\n\" => \"\\\\n\" | #\"\\\\\" => \"\\\\\\\\\" | #\"\\\"\" => \"\\\\\\\"\" | c => str c) K, \"\\\"\", K, \"\\n\"])" 2 | val _ = print (concat ["val K = \"", String.translate (fn #"\n" => "\\n" | #"\\" => "\\\\" | #"\"" => "\\\"" | c => str c) K, "\"", K, "\n"]) 3 | -------------------------------------------------------------------------------- /vm-dotnet/examples/concfib.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * A concurrent fibonacci creating a new thread 3 | * for every recursive invocation. 4 | *) 5 | 6 | import structure TextIO from "x-alice:/TextIO" 7 | 8 | fun fib 0 = 1 9 | | fib 1 = 1 10 | | fib n = fib' (n - 1) + fib' (n - 2) 11 | and fib' n = concur (fn () => fib n) 12 | 13 | val _ = TextIO.print (Int.toString (fib 12) ^ "\n") 14 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/CharArray.cc: -------------------------------------------------------------------------------- 1 | // 2 | // Author: 3 | // Leif Kornstaedt 4 | // 5 | // Copyright: 6 | // Leif Kornstaedt, 2002 7 | // 8 | // Last Change: 9 | // $Date$ by $Author$ 10 | // $Revision$ 11 | // 12 | 13 | #define XArray CharArray 14 | #define XVector CharVector 15 | #define REQUEST_ELEMS_INT 1 16 | 17 | #include "Array.icc" 18 | -------------------------------------------------------------------------------- /compiler/backend-common/CODE-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Leif Kornstaedt 4 | * 5 | * Copyright: 6 | * Leif Kornstaedt, 2000-2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature CODE = 14 | sig 15 | type t 16 | 17 | val toString: t -> string 18 | val cleanup: t -> unit 19 | end 20 | -------------------------------------------------------------------------------- /compiler/backend-dotnet/SKELETON-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Leif Kornstaedt 4 | * 5 | * Copyright: 6 | * Leif Kornstaedt, 2000-2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature SKELETON = 14 | sig 15 | val module: string -> string 16 | val externals: unit -> string 17 | end 18 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/caml_sig_error.sml: -------------------------------------------------------------------------------- 1 | __prebound P 2 | 3 | type int = P.int 4 | type unit = {} 5 | 6 | signature FOO = 7 | sig 8 | type bar 9 | structure A : sig val fresh : unit -> bar end 10 | end 11 | 12 | structure Foo :> FOO = 13 | struct 14 | structure A = struct type t = {foo:int} fun fresh() = {foo=1} end 15 | type bar = A.t 16 | end 17 | -------------------------------------------------------------------------------- /compiler/infrastructure/CRASH-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | (* Handling of internal inconsistencies. *) 14 | 15 | signature CRASH = 16 | sig 17 | exception Crash of string 18 | end 19 | -------------------------------------------------------------------------------- /lib/gtk/seam/.cvsignore: -------------------------------------------------------------------------------- 1 | Makefile.depend 2 | CM 3 | *.alc 4 | *.o 5 | *.dll 6 | ATK-sig.* 7 | Atk.* 8 | NativeAtk.* 9 | CANVAS-sig.* 10 | Canvas.* 11 | NativeCanvas.* 12 | GDK-sig.* 13 | Gdk.* 14 | NativeGdk.* 15 | GLIB-sig.* 16 | GLib.* 17 | NativeGLib.* 18 | GTK-sig.* 19 | Gtk.* 20 | NativeGtk.* 21 | NativeLibs.* 22 | PANGO-sig.* 23 | Pango.* 24 | NativePango.* 25 | wrapper.log 26 | -------------------------------------------------------------------------------- /lib/sqlite/debian/control: -------------------------------------------------------------------------------- 1 | Source: alice-sqlite 2 | Section: devel 3 | Priority: optional 4 | Build-Depends: debhelper (>= 4.0.0), alice-dev, libsqlite3-dev 5 | Maintainer: Guido Tack 6 | Standards-Version: 3.6.0 7 | 8 | Package: alice-sqlite 9 | Architecture: any 10 | Depends: ${shlibs:Depends}, alice, libsqlite3-0 11 | Description: The Alice SQLite binding 12 | -------------------------------------------------------------------------------- /lib/system/Rand.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure UnsafeRand from "UnsafeRand" 14 | import signature RAND from "RAND-sig" 15 | 16 | structure Rand :> RAND = UnsafeRand 17 | -------------------------------------------------------------------------------- /tools/ffigen/BINDING-sig.sml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Sven Woop 4 | * 5 | * Copyright: 6 | * Sven Woop, 2003 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature BINDING = 15 | sig 16 | val createBasicBinding : string -> unit 17 | val create : string -> string list -> unit 18 | end 19 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/Word8Array.cc: -------------------------------------------------------------------------------- 1 | // 2 | // Author: 3 | // Leif Kornstaedt 4 | // 5 | // Copyright: 6 | // Leif Kornstaedt, 2002 7 | // 8 | // Last Change: 9 | // $Date$ by $Author$ 10 | // $Revision$ 11 | // 12 | 13 | #define XArray Word8Array 14 | #define XVector Word8Vector 15 | #define REQUEST_ELEMS_INT 1 16 | 17 | #include "Array.icc" 18 | -------------------------------------------------------------------------------- /tools/depend/ANALYZER-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Leif Kornstaedt 4 | * 5 | * Copyright: 6 | * Leif Kornstaedt, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature ANALYZER = 14 | sig 15 | val analyzeString: string -> string list 16 | val analyzeFile: string -> string list 17 | end 18 | -------------------------------------------------------------------------------- /lib/gtk/mozart/Gdk.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2001 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | import structure UnsafeGdk from "UnsafeGdk" 15 | import signature GDK from "GDK-sig" 16 | 17 | structure Gdk :> GDK = UnsafeGdk 18 | -------------------------------------------------------------------------------- /lib/gtk/mozart/Gtk.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2001 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | import structure UnsafeGtk from "UnsafeGtk" 15 | import signature GTK from "GTK-sig" 16 | 17 | structure Gtk :> GTK = UnsafeGtk 18 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/initializer-normalizer-sig.sml: -------------------------------------------------------------------------------- 1 | (* initializer-normalizer-sig.sml *) 2 | 3 | signature INITIALIZER_NORMALIZER = 4 | sig 5 | 6 | val normalize : {lookTid : Tid.uid -> Bindings.tidBinding option, 7 | bindAid : Ast.ctype -> Aid.uid, 8 | initType : Ast.ctype, 9 | initExpr : Ast.initExpression} 10 | -> Ast.initExpression 11 | 12 | end 13 | -------------------------------------------------------------------------------- /test/icfp2001/constraints/Select.asig: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import signature SELECT from "SELECT-sig" 14 | 15 | signature SELECT_COMPONENT = 16 | sig 17 | structure Select : SELECT 18 | end 19 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast/initializer-normalizer-sig.sml: -------------------------------------------------------------------------------- 1 | (* initializer-normalizer-sig.sml *) 2 | 3 | signature INITIALIZER_NORMALIZER = 4 | sig 5 | 6 | val normalize : {lookTid : Tid.uid -> Bindings.tidBinding option, 7 | bindAid : Ast.ctype -> Aid.uid, 8 | initType : Ast.ctype, 9 | initExpr : Ast.initExpression} 10 | -> Ast.initExpression 11 | 12 | end 13 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast-utils/simplifier/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../ast/sources.cm 4 | 5 | ../copy/copy-ast-sig.sml 6 | ../copy/copy-ast.sml 7 | 8 | simplify-ast-sig.sml 9 | simplify-ast.sml 10 | 11 | #if (defined(d)) 12 | extensions/d/eq-ast-ext.sml 13 | #else 14 | extensions/c/copy-ast-ext.sml 15 | extensions/c/simplify-ast-ext.sml 16 | 17 | #endif 18 | -------------------------------------------------------------------------------- /lib/rtt/PathMap.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure MkHashImpMap from "../data/MkHashImpMap" 14 | import structure Path from "Path" 15 | 16 | structure PathMap = MkHashImpMap(Path) 17 | -------------------------------------------------------------------------------- /lib/rtt/PathSet.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure MkHashImpSet from "../data/MkHashImpSet" 14 | import structure Path from "Path" 15 | 16 | structure PathSet = MkHashImpSet(Path) 17 | -------------------------------------------------------------------------------- /lib/system/RAND-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature RAND = 14 | sig 15 | val rand : unit -> int 16 | val srand : int -> unit 17 | val randLimits : unit -> int * int 18 | end 19 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast-utils/simplifier/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../ast/sources.cm 4 | 5 | ../copy/copy-ast-sig.sml 6 | ../copy/copy-ast.sml 7 | 8 | simplify-ast-sig.sml 9 | simplify-ast.sml 10 | 11 | #if (defined(d)) 12 | extensions/d/eq-ast-ext.sml 13 | #else 14 | extensions/c/copy-ast-ext.sml 15 | extensions/c/simplify-ast-ext.sml 16 | 17 | #endif 18 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/List.cc: -------------------------------------------------------------------------------- 1 | // 2 | // Author: 3 | // Leif Kornstaedt 4 | // 5 | // Copyright: 6 | // Leif Kornstaedt, 2000-2002 7 | // 8 | // Last Change: 9 | // $Date$ by $Author$ 10 | // $Revision$ 11 | // 12 | 13 | #include "alice/Authoring.hh" 14 | 15 | void PrimitiveTable::RegisterList() { 16 | RegisterUniqueConstructor("Empty", "List.Empty"); 17 | } 18 | -------------------------------------------------------------------------------- /compiler/backend-common/intermediate-aux.cm: -------------------------------------------------------------------------------- 1 | Group 2 | 3 | structure IntermediateAux 4 | 5 | is 6 | 7 | ../../lib/utility/sources.cm 8 | ../../lib/rtt/type.cm 9 | ../infrastructure/sources.cm 10 | ../common/id-stamp.cm 11 | ../common/intermediate-grammar.cm 12 | 13 | arity.cm 14 | flat-grammar.cm 15 | 16 | INTERMEDIATE_AUX-sig.aml 17 | IntermediateAux.aml 18 | -------------------------------------------------------------------------------- /compiler/frontend-common/abstract-grammar.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | ../../lib/rtt/name.cm 4 | ../../lib/rtt/label.cm 5 | ../../lib/rtt/fixity.cm 6 | ../infrastructure/source.cm 7 | ../infrastructure/pp-misc.cm 8 | ../common/id-stamp.cm 9 | 10 | ABSTRACT_GRAMMAR-sig.aml 11 | MkAbstractGrammar.aml 12 | 13 | PP_ABSTRACT_GRAMMAR-sig.aml 14 | MkPPAbstractGrammar.aml 15 | 16 | AbstractGrammar.aml 17 | -------------------------------------------------------------------------------- /lib/gtk/mozart/UnsafeGdk.asig: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2002 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | import signature GDK from "GDK-sig" 15 | 16 | signature UNSAFE_GDK_COMPONENT = 17 | sig 18 | structure UnsafeGdk : GDK 19 | end 20 | -------------------------------------------------------------------------------- /lib/gtk/mozart/UnsafeGtk.asig: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2002 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | import signature GTK from "GTK-sig" 15 | 16 | signature UNSAFE_GTK_COMPONENT = 17 | sig 18 | structure UnsafeGtk : GTK 19 | end 20 | -------------------------------------------------------------------------------- /lib/rtt/LabelSet.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2002 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure Label from "Label" 14 | import structure MkHashImpSet from "../data/MkHashImpSet" 15 | 16 | structure LabelSet = MkHashImpSet(Label) 17 | -------------------------------------------------------------------------------- /lib/system/SIGNAL-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2004 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature SIGNAL = 15 | sig 16 | datatype signal = SIGINT | SIGSTOP 17 | val register : signal * (signal -> unit) -> unit 18 | end 19 | -------------------------------------------------------------------------------- /test/suite/lib/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | (cd fundamental; make) 3 | (cd system; make) 4 | (cd data; make) 5 | (cd regression; make) 6 | clean: 7 | (cd fundamental; make clean) 8 | (cd system; make clean) 9 | (cd data; make clean) 10 | (cd regression; make clean) 11 | depend: 12 | (cd fundamental; make depend) 13 | (cd system; make depend) 14 | (cd data; make depend) 15 | (cd regression; make depend) -------------------------------------------------------------------------------- /tools/depend/PARSER-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Leif Kornstaedt 4 | * Andreas Rossberg 5 | * 6 | * Copyright: 7 | * Leif Kornstaedt and Andreas Rossberg, 2001 8 | * 9 | * Last change: 10 | * $Date$ by $Author$ 11 | * $Revision$ 12 | *) 13 | 14 | signature PARSER = 15 | sig 16 | val parse : string -> string list 17 | end 18 | -------------------------------------------------------------------------------- /vm-mozart/lib/utility/UnsafeAddr.oz: -------------------------------------------------------------------------------- 1 | %%% 2 | %%% Author: 3 | %%% Andreas Rossberg 4 | %%% 5 | %%% Copyright: 6 | %%% Andreas Rossberg, 2001 7 | %%% 8 | %%% Last change: 9 | %%% $Date$ by $Author$ 10 | %%% $Revision$ 11 | %%% 12 | 13 | functor 14 | import 15 | M at 'x-oz://boot/Browser' 16 | export 17 | 'addr' : Addr 18 | define 19 | Addr = M.addr 20 | end 21 | -------------------------------------------------------------------------------- /vm-seam/debian/alice.info: -------------------------------------------------------------------------------- 1 | Package: alice 2 | Version: 1.3 3 | Revision: 1 4 | Source: http://www.ps.uni-sb.de/alice/download/sources/%n-%v.tar.gz 5 | Maintainer: Guido Tack 6 | HomePage: http://www.ps.uni-sb.de/alice 7 | License: BSD 8 | Description: Alice Language Layer for Seam 9 | Source-MD5: INSERTMD5HERE 10 | Depends: seam-shlibs, seam, gmp-shlibs 11 | BuildDepends: seam, gmp 12 | -------------------------------------------------------------------------------- /bootstrap/DummyPosix.sml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Leif Kornstaedt 4 | * 5 | * Copyright: 6 | * Leif Kornstaedt, 2000-2003 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | structure Posix = 14 | struct 15 | structure ProcEnv = 16 | struct 17 | type pid = int 18 | 19 | fun getpid () = 0 20 | end 21 | end 22 | -------------------------------------------------------------------------------- /compiler/frontend-common/test/modules.sml: -------------------------------------------------------------------------------- 1 | signature S = sig type t end 2 | 3 | 4 | val xManifest = 0 5 | signature MANIFEST_VAL = sig val x = xManifest end 6 | 7 | 8 | signature P(X: S) = sig structure Y = X end 9 | 10 | signature F = fct (X: S) -> S where type t = X.t 11 | 12 | structure F : F = fct (X: S) => X 13 | 14 | 15 | fun package() = pack F 16 | 17 | structure F' = unpack package() : F 18 | -------------------------------------------------------------------------------- /lib/data/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | ../../bootstrap/sources.cm 3 | 4 | STAMP-sig.aml 5 | MkStamp.aml 6 | 7 | GLOBAL_STAMP-sig.aml 8 | ../../bootstrap/GlobalStamp.sml 9 | 10 | ORDERED-sig.aml 11 | HASHABLE-sig.aml 12 | 13 | MAP-sig.aml 14 | SET-sig.aml 15 | MkRedBlackMap.aml 16 | MkRedBlackSet.aml 17 | 18 | IMP_MAP-sig.aml 19 | IMP_SET-sig.aml 20 | MkHashImpMap.aml 21 | MkHashImpSet.aml 22 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/parser/grammar/README: -------------------------------------------------------------------------------- 1 | The principal file here is cd.grm. 2 | c.grm and d.grm are derived from it via cpp and should not be edited. 3 | 4 | For C: 5 | 1. comment out #define DPARSE 6 | 2. /lib/cpp -P cd.grm > c.grm 7 | 8 | For D: 9 | 1. uncomment #define DPARSE 10 | 2. /lib/cpp -P cd.grm > d.grm 11 | 12 | Note: "-P" so that don't get control info (e.g. # 218 "cd.grm"). 13 | 14 | 15 | -------------------------------------------------------------------------------- /test/suite/lib/regression/tests/comment-end.aml: -------------------------------------------------------------------------------- 1 | import signature REGRESSION from "REGRESSION-sig" 2 | 3 | structure CommentEnd : REGRESSION = 4 | struct 5 | 6 | val name = "comment-end" 7 | 8 | val ok = NONE 9 | 10 | val result = ref "" 11 | 12 | fun concatResult s = result := (!result) ^ s 13 | 14 | val ** = 13 15 | val x = ( **) 16 | val _ = 1 + ** + x 17 | 18 | val result = !result 19 | 20 | end 21 | -------------------------------------------------------------------------------- /tools/depend/MAKE_DEPEND-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure OS from "../../lib/system/OS" 14 | 15 | signature MAKE_DEPEND = 16 | sig 17 | val depend : string list -> OS.Process.status 18 | end 19 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/parser/grammar/README: -------------------------------------------------------------------------------- 1 | The principal file here is cd.grm. 2 | c.grm and d.grm are derived from it via cpp and should not be edited. 3 | 4 | For C: 5 | 1. comment out #define DPARSE 6 | 2. /lib/cpp -P cd.grm > c.grm 7 | 8 | For D: 9 | 1. uncomment #define DPARSE 10 | 2. /lib/cpp -P cd.grm > d.grm 11 | 12 | Note: "-P" so that don't get control info (e.g. # 218 "cd.grm"). 13 | 14 | 15 | -------------------------------------------------------------------------------- /vm-seam/alice/primitives/Option.cc: -------------------------------------------------------------------------------- 1 | // 2 | // Author: 3 | // Leif Kornstaedt 4 | // 5 | // Copyright: 6 | // Leif Kornstaedt, 2000-2002 7 | // 8 | // Last Change: 9 | // $Date$ by $Author$ 10 | // $Revision$ 11 | // 12 | 13 | #include "alice/Authoring.hh" 14 | 15 | void PrimitiveTable::RegisterOption() { 16 | RegisterUniqueConstructor("Option", "Option.Option"); 17 | } 18 | -------------------------------------------------------------------------------- /doc/manual/examples/interpreter/ELAB-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Interpreter for F+rec - Elaboration 3 | * 4 | * 2000/02/12 Andreas Rossberg 5 | *) 6 | 7 | import structure Syntax from "Syntax" 8 | import structure Type from "Type" 9 | import structure Env from "Env" 10 | 11 | signature ELAB = 12 | sig 13 | exception Error 14 | val elab : Type.typ Env.env -> Syntax.exp -> Type.typ (* [Error] *) 15 | end 16 | -------------------------------------------------------------------------------- /lib/data/SITED-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2006 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature SITED = 14 | sig 15 | eqtype 'a sited 16 | type 'a t = 'a sited 17 | 18 | val sited : 'a -> 'a sited 19 | val value : 'a sited -> 'a 20 | end 21 | -------------------------------------------------------------------------------- /misc/sml-mode/BUGS: -------------------------------------------------------------------------------- 1 | -*- text -*- 2 | 3 | Here are the current known bugs. 4 | If you find any other, send it to . 5 | 6 | * M-x next-error and other compile.el support doesn't work on XEmacs. 7 | 8 | * indentation of a declaration after a long `datatype' is slow. 9 | 10 | * buggy indentation samples 11 | Try `make test' to see the known problems in testcases.sml 12 | -------------------------------------------------------------------------------- /tools/yacc/README: -------------------------------------------------------------------------------- 1 | - structure of jacke (preliminary) 2 | 3 | jackeParser.sml -> AbsSyn.sml (via Lexer & Parser) 4 | 5 | 6 | - nicht funktionierende Beispiele: 7 | 1. ueberdecken von regeln 8 | 9 | let rule A = ... bla ... 10 | in let rule A = ...blub ... 11 | parser p1 = A 12 | in ... end 13 | let parser p2 = A 14 | in ... end 15 | end 16 | 17 | p1, p2 zwei verschiedene parser ! 18 | 19 | 20 | -------------------------------------------------------------------------------- /compiler/backend-mozart/CRC-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Leif Kornstaedt 4 | * 5 | * Copyright: 6 | * Leif Kornstaedt, 2000 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature CRC = 14 | sig 15 | type t 16 | 17 | val initial: t 18 | val update: t * Word8.word -> t 19 | val toBytes: t -> Word8Vector.vector 20 | end 21 | -------------------------------------------------------------------------------- /compiler/common/StampMap.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure Stamp from "Stamp" 14 | import structure MkHashImpMap from "../../lib/data/MkHashImpMap" 15 | 16 | structure StampMap = MkHashImpMap(Stamp) 17 | -------------------------------------------------------------------------------- /compiler/common/StampSet.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure Stamp from "Stamp" 14 | import structure MkHashImpSet from "../../lib/data/MkHashImpSet" 15 | 16 | structure StampSet = MkHashImpSet(Stamp) 17 | -------------------------------------------------------------------------------- /doc/manual/examples/interpreter/EVAL-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Interpreter for F - Evaluation 3 | * 4 | * 2000/02/02 Andreas Rossberg 5 | *) 6 | 7 | import structure Syntax from "Syntax" 8 | import structure Value from "Value" 9 | import structure Env from "Env" 10 | 11 | signature EVAL = 12 | sig 13 | exception Error 14 | val eval : Value.value Env.env -> Syntax.exp -> Value.value (* [Error] *) 15 | end 16 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/ast/uid-sig.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | (* UID = "Unique IDentifiers" *) 4 | 5 | signature UID = sig 6 | type uid = int 7 | 8 | val initial : uid 9 | val new : unit -> uid 10 | val reset : int -> unit 11 | val equal: uid * uid -> bool 12 | val compare: uid * uid -> order 13 | val toWord: uid -> Word.word 14 | val toString: uid -> string 15 | end 16 | -------------------------------------------------------------------------------- /lib/system/UnsafeTime.asig: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Benedikt Grundmann 4 | * 5 | * Copyright: 6 | * Benedikt Grundmann, 2004 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature UNSAFE_TIME_COMPONENT = 15 | sig 16 | structure UnsafeTime : 17 | sig 18 | val now : unit -> LargeInt.int 19 | end 20 | end 21 | -------------------------------------------------------------------------------- /tools/depend/sml-parser.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | #if defined(NEW_CM) 4 | $/ml-yacc-lib.cm 5 | #else 6 | ml-yacc-lib.cm 7 | #endif 8 | 9 | ../../lib/utility/sources.cm 10 | ../../bootstrap/sources.cm 11 | 12 | LEXER_ERROR-sig.aml 13 | MkLexerError.aml 14 | SML_ERROR-sig.aml 15 | SMLError.aml 16 | 17 | SMLLexer.lex 18 | MkCountPosLexer.aml 19 | SMLParser.grm 20 | 21 | PARSER-sig.aml 22 | SMLParser.aml 23 | -------------------------------------------------------------------------------- /tools/ffigen/ckit/ast/uid-sig.sml: -------------------------------------------------------------------------------- 1 | (* Copyright (c) 1998 by Lucent Technologies *) 2 | 3 | (* UID = "Unique IDentifiers" *) 4 | 5 | signature UID = sig 6 | type uid = int 7 | 8 | val initial : uid 9 | val new : unit -> uid 10 | val reset : int -> unit 11 | val equal: uid * uid -> bool 12 | val compare: uid * uid -> order 13 | val toWord: uid -> Word.word 14 | val toString: uid -> string 15 | end 16 | -------------------------------------------------------------------------------- /lib/gtk/seam/ckit/variants/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | #if defined(NEW_CM) 4 | (* standard basis *) 5 | $/basis.cm 6 | #endif 7 | 8 | parse-control-sig.sml 9 | type-check-control-sig.sml 10 | config-sig.sml 11 | 12 | #if (defined(d)) 13 | d/config.sml 14 | #elif (defined(fiveessc)) 15 | 5essc/config.sml 16 | #else 17 | ansic/config.sml 18 | #endif 19 | -------------------------------------------------------------------------------- /lib/system/UnsafeConfig.asig: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Leif Kornstaedt 4 | * 5 | * Copyright: 6 | * Leif Kornstaedt, 2001-2002 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature UNSAFE_CONFIG_COMPONENT = 14 | sig 15 | structure UnsafeConfig: 16 | sig 17 | val platform: 'platform 18 | val vm: string 19 | end 20 | end 21 | -------------------------------------------------------------------------------- /lib/utility/STAT-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature STAT = 14 | sig 15 | type 'a stat 16 | 17 | exception Remote 18 | 19 | val stat : 'a -> 'a stat 20 | val !! : 'a stat -> 'a (* Remote *) 21 | end 22 | -------------------------------------------------------------------------------- /test/suite/src/TEST-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Sebastian Germesin 4 | * 5 | * Copyright: 6 | * Sebastian Germesin, 2004 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature TEST = 14 | sig 15 | 16 | exception NotYetImplemented 17 | 18 | exception MissingFunction 19 | 20 | val test : ('a -> bool) -> 'a -> unit 21 | 22 | end -------------------------------------------------------------------------------- /tools/ffigen/ckit/variants/sources.cm: -------------------------------------------------------------------------------- 1 | Group is 2 | 3 | #if defined(NEW_CM) 4 | (* standard basis *) 5 | basis.cm 6 | #endif 7 | 8 | parse-control-sig.sml 9 | type-check-control-sig.sml 10 | config-sig.sml 11 | 12 | #if (defined(d)) 13 | d/config.sml 14 | #elif (defined(fiveessc)) 15 | 5essc/config.sml 16 | #else 17 | ansic/config.sml 18 | #endif 19 | -------------------------------------------------------------------------------- /tools/lex/OUTPUT-sig.aml: -------------------------------------------------------------------------------- 1 | import structure AbsSyn from "AbsSyn" 2 | import structure TextIO from "x-alice:/lib/system/TextIO" 3 | import structure Table from "Table" 4 | 5 | 6 | signature OUTPUT = 7 | sig 8 | 9 | (* printLexList : prints the outputfile 10 | *) 11 | val printLexList : TextIO.outstream * AbsSyn.lex list * Table.auto_map 12 | -> unit 13 | 14 | end 15 | -------------------------------------------------------------------------------- /compiler/infrastructure/EmptyContext.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001-2003 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import signature CONTEXT from "CONTEXT-sig" 14 | 15 | structure EmptyContext : CONTEXT = 16 | struct 17 | type t = unit 18 | val empty = () 19 | end 20 | -------------------------------------------------------------------------------- /doc/samples/snake_proof_of_concept/levels/simple.lev: -------------------------------------------------------------------------------- 1 | #################### 2 | #..................# 3 | #..>...............# 4 | #..................# 5 | #........#####.....# 6 | #............#.....# 7 | #...........x#.....# 8 | ########.....#.....# 9 | #............#.....# 10 | #........#####.....# 11 | #..................# 12 | #..................# 13 | #..>...............# 14 | #..................# 15 | #################### 16 | -------------------------------------------------------------------------------- /lib/rtt/backedge/Makefile: -------------------------------------------------------------------------------- 1 | TARGETS = test_it 2 | ALICEC = alicec 3 | ALICEDEP = alicedep 4 | RM = rm -f 5 | 6 | .PHONY: all clean wclean 7 | 8 | all: $(TARGETS:%=%.alc) 9 | 10 | %.alc: %.aml 11 | $(ALICEC) $< -o $@ 12 | 13 | clean: 14 | $(RM) *~ 15 | $(RM) *.aml?* 16 | $(RM) Makefile.depend 17 | 18 | wclean: clean 19 | $(RM) *.alc 20 | 21 | Makefile.depend: 22 | $(ALICEDEP) *.aml > $@ 23 | 24 | -include Makefile.depend -------------------------------------------------------------------------------- /lib/system/Debug.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Leif Kornstaedt 4 | * 5 | * Copyright: 6 | * Leif Kornstaedt, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure UnsafeDebug from "UnsafeDebug" 14 | import signature DEBUG from "DEBUG-sig" 15 | 16 | structure Debug :> DEBUG = 17 | struct 18 | open UnsafeDebug 19 | end 20 | -------------------------------------------------------------------------------- /misc/debian/debian/control: -------------------------------------------------------------------------------- 1 | Source: alice-runtime 2 | Section: devel 3 | Priority: optional 4 | Build-Depends-Indep: debhelper (>= 4.1.6) 5 | Maintainer: Guido Tack 6 | Standards-Version: 3.6.0 7 | 8 | Package: alice-runtime 9 | Architecture: all 10 | Depends: alice, alice-gtk, alice-gecode, alice-sqlite, alice-xml, alice-regex 11 | Recommends: 12 | Suggests: 13 | Description: The Alice system (Runtime) 14 | -------------------------------------------------------------------------------- /compiler/top/BATCH_COMPILER-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Leif Kornstaedt 4 | * 5 | * Copyright: 6 | * Leif Kornstaedt, 1999-2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import 14 | structure OS 15 | from "../../lib/system/OS" 16 | 17 | signature BATCH_COMPILER = 18 | sig 19 | val main : string list -> OS.Process.status 20 | end 21 | -------------------------------------------------------------------------------- /doc/samples/snake/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | (cd common; make) 3 | (cd server; make) 4 | (cd client/windows; make) 5 | (cd client; make) 6 | 7 | clean: 8 | (cd common; make clean) 9 | (cd server; make clean) 10 | (cd client/windows; make clean) 11 | (cd client; make clean) 12 | 13 | depend: 14 | (cd common; make depend) 15 | (cd server; make depend) 16 | (cd client/windows; make depend) 17 | (cd client; make depend) 18 | 19 | -------------------------------------------------------------------------------- /lib/system/UnsafeSignal.asig: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Thorsten Brunklaus 4 | * 5 | * Copyright: 6 | * Thorsten Brunklaus, 2004 7 | * 8 | * Last Change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | * 12 | *) 13 | 14 | signature UNSAFE_SIGNAL_COMPONENT = 15 | sig 16 | structure UnsafeSignal: 17 | sig 18 | val register : 'signal * 'closure -> unit 19 | end 20 | end 21 | -------------------------------------------------------------------------------- /compiler/common/CHECK_INTERMEDIATE-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Authors: 3 | * Andreas Rossberg 4 | * 5 | * Copyright: 6 | * Andreas Rossberg, 2001 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | import structure IntermediateGrammar from "IntermediateGrammar" 14 | 15 | signature CHECK_INTERMEDIATE = 16 | sig 17 | val check : IntermediateGrammar.t -> unit 18 | end 19 | -------------------------------------------------------------------------------- /lib/debugger/STREAM-sig.aml: -------------------------------------------------------------------------------- 1 | (* 2 | * Author: 3 | * Jens Regenberg 4 | * 5 | * Copyright: 6 | * Jens Regenberg, 2002 7 | * 8 | * Last change: 9 | * $Date$ by $Author$ 10 | * $Revision$ 11 | *) 12 | 13 | signature STREAM = 14 | sig 15 | type 'a stream 16 | 17 | val new : unit -> 'a stream 18 | val read : 'a stream -> 'a list 19 | val write : 'a stream * 'a -> 'a stream 20 | end 21 | -------------------------------------------------------------------------------- /test/suite/lib/regression/tests/os-exit.aml: -------------------------------------------------------------------------------- 1 | import signature REGRESSION from "REGRESSION-sig" 2 | 3 | structure OSExit : REGRESSION = 4 | struct 5 | 6 | val name = "os-exit" 7 | 8 | val ok = SOME "os-exit.ok" 9 | 10 | val result = ref "" 11 | 12 | fun concatResult s = result := (!result) ^ s 13 | 14 | 15 | val _ = (concatResult "hello\n" 16 | ; OS.Process.exit OS.Process.success) 17 | 18 | val result = !result 19 | 20 | end 21 | -------------------------------------------------------------------------------- /vm-mozart/lib/system/UnsafeSignal.oz: -------------------------------------------------------------------------------- 1 | %%% 2 | %%% Author: 3 | %%% Thorsten Brunklaus 4 | %%% 5 | %%% Copyright: 6 | %%% Thorsten Brunklaus, 2004 7 | %%% 8 | %%% Last change: 9 | %%% $Date$ by $Author$ 10 | %%% $Revision$ 11 | %%% 12 | 13 | functor 14 | export 15 | 'UnsafeSignal$' : UnsafeSignal 16 | define 17 | UnsafeSignal = 18 | 'Signal'('register' : fun {$ Signal Closure} unit end) 19 | end 20 | --------------------------------------------------------------------------------