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

SCM Repository

[diderot] Revision 2219
ViewVC logotype

Revision 2219

Jump to revision: Previous Next
Author: jhr
Date: Tue Feb 26 14:18:17 2013 UTC (7 years, 10 months ago)
Log Message:
  bug fix (bug016): forgot to prune out metavariables when inspecting the type
  of a E_Cons element.

Changed paths:

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

ViewVC Help
Powered by ViewVC 1.0.0