jvanburen

#!/bin/bash
set -e
HEADER="\033[95m"
ENDC="\033[0m"
function inform_user {
  echo -e "${HEADER}$@${ENDC}"
}

SMLNJ_VERSION=110.82 # (If this changes, you'll likely have to change the patch...)
gf="https://smlnj-gforge.cs.uchicago.edu/svn"

jvanburen

Index: compiler/ElabData/basics/lambdavar.sig
===================================================================
--- compiler/ElabData/basics/lambdavar.sig	(revision 4519)
+++ compiler/ElabData/basics/lambdavar.sig	(working copy)
@@ -4,7 +4,7 @@
 signature LAMBDA_VAR = 
 sig
 
-  type lvar  
+  type lvar = int

jvanburen

#!/usr/bin/env python3
import argparse
from bisect import bisect
from collections import namedtuple
from itertools import chain
import re
from sys import stdin, stderr

__all__ = ("Settings", "ParenParser")