mirror of
https://github.com/hjdhnx/dr_py.git
synced 2024-11-23 09:28:23 -06:00
60 lines
1.3 KiB
HTML
60 lines
1.3 KiB
HTML
<!doctype html>
|
|
|
|
<title>CodeMirror: Oz mode</title>
|
|
<meta charset="utf-8"/>
|
|
<link rel=stylesheet href="../../doc/docs.css">
|
|
|
|
<link rel="stylesheet" href="../../lib/codemirror.css">
|
|
<script src="../../lib/codemirror.js"></script>
|
|
<script src="oz.js"></script>
|
|
<script src="../../addon/runmode/runmode.js"></script>
|
|
<style>
|
|
.CodeMirror {border: 1px solid #aaa;}
|
|
</style>
|
|
<div id=nav>
|
|
<a href="https://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
|
|
<ul>
|
|
<li><a href="../../index.html">Home</a>
|
|
<li><a href="../../doc/manual.html">Manual</a>
|
|
<li><a href="https://github.com/codemirror/codemirror">Code</a>
|
|
</ul>
|
|
<ul>
|
|
<li><a href="../index.html">Language modes</a>
|
|
<li><a class=active href="#">Oz</a>
|
|
</ul>
|
|
</div>
|
|
|
|
<article>
|
|
<h2>Oz mode</h2>
|
|
<textarea id="code" name="code">
|
|
declare
|
|
fun {Ints N Max}
|
|
if N == Max then nil
|
|
else
|
|
{Delay 1000}
|
|
N|{Ints N+1 Max}
|
|
end
|
|
end
|
|
|
|
fun {Sum S Stream}
|
|
case Stream of nil then S
|
|
[] H|T then S|{Sum H+S T} end
|
|
end
|
|
|
|
local X Y in
|
|
thread X = {Ints 0 1000} end
|
|
thread Y = {Sum 0 X} end
|
|
{Browse Y}
|
|
end
|
|
</textarea>
|
|
<p>MIME type defined: <code>text/x-oz</code>.</p>
|
|
|
|
<script>
|
|
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
|
|
lineNumbers: true,
|
|
mode: "text/x-oz",
|
|
readOnly: false
|
|
});
|
|
</script>
|
|
</article>
|