Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Revision 2784
ViewVC logotype

Revision 2784


Jump to revision: Previous Next
Author: jhr
Date: Tue Oct 14 19:08:47 2014 UTC (4 years, 10 months ago)
Log Message:
  Fix for bug013; it is now a type error to declare non-value-type strand variables.

Changed paths:

Path Details
Directorybranches/vis12/src/compiler/typechecker/typechecker.sml modified , text changed

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0