mirror of https://github.com/gogits/gogs.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
59 lines
1.4 KiB
59 lines
1.4 KiB
<!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 type="text/javascript" src="../../addon/runmode/runmode.js"></script> |
|
<style> |
|
.CodeMirror {border: 1px solid #aaa;} |
|
</style> |
|
<div id=nav> |
|
<a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></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 type="text/javascript"> |
|
var editor = CodeMirror.fromTextArea(document.getElementById("code"), { |
|
lineNumbers: true, |
|
mode: "text/x-oz", |
|
readOnly: false |
|
}); |
|
</script> |
|
</article>
|
|
|