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

SCM Repository

[diderot] Revision 4529
ViewVC logotype

Revision 4529


Jump to revision: Previous Next
Author: jhr
Date: Wed Sep 7 04:38:53 2016 UTC (2 years, 10 months ago)
Log Message:
  Allow coercions for sequence elements.

Changed paths:

Path Details
Directorybranches/vis15/src/compiler/simple/simple-types.sml modified , text changed
Directorybranches/vis15/src/compiler/simplify/simplify.sml modified , text changed
Directorybranches/vis15/src/compiler/typechecker/unify.sml modified , text changed

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