This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import std._vec; | |
import std._str; | |
import std.option; | |
import middle.ty; | |
import front.ast; | |
import util.common; | |
// Compact string representation for ty.t values. API ty_str & parse_from_str. | |
// (The second has to be authed pure.) Extra parameters are for converting | |
// to/from def_ids in the string rep. Whatever format you choose should not |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
GNU Make 3.81 | |
Copyright (C) 2006 Free Software Foundation, Inc. | |
This is free software; see the source for copying conditions. | |
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A | |
PARTICULAR PURPOSE. | |
This program built for x86_64-pc-linux-gnu | |
Reading makefiles... | |
Reading makefile `Makefile'... | |
cfg: building on Linux x86_64 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<html> | |
<body> | |
<script> | |
var frame = document.createElement("IFRAME"); | |
frame.src = "javascript:false"; | |
document.body.appendChild(frame); | |
var win = frame.contentWindow; | |
win.document.open(); | |
win.document.write("<html><body>XX<script>document.write('YY');<\/script></body></html>"); | |
win.document.close(); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Parses a small subset of Common Lisp as used in AGraph Prolog queries. | |
LispParser = Editor.Parser = (function() { | |
function wordRegexp(words) { | |
return new RegExp("^(?:" + words.join("|") + ")$", "i"); | |
} | |
var specialForms = wordRegexp(["select", "select-distinct", "select0-distinct", "select0", "<-", "<--"]); | |
var symbolChars = /[^\s\u00a0\(\)#!<]/; | |
var tokenizeLisp = (function() { |
NewerOlder