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

SCM Repository

[diderot] Revision 5112
ViewVC logotype

Revision 5112

Jump to revision: Previous Next
Author: jhr
Date: Tue Jul 18 19:01:25 2017 UTC (22 months ago)
Log Message:
  Bug fix: typechecking subscripts (forgot to prune type before pattern matching)

Changed paths:

Path Details
Directorybranches/vis15/src/compiler/typechecker/check-expr.sml modified , text changed
Directorybranches/vis15/src/lib/include/diderot/dynseq.hxx modified , text changed

ViewVC Help
Powered by ViewVC 1.0.0