Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Revision 4511
ViewVC logotype

Revision 4511


Jump to revision: Previous Next
Author: jhr
Date: Sun Oct 22 14:22:43 2017 UTC (2 years ago)
Log Message:
  bug fix for literal range checking.  We need to do *all* overload resolution
  before checking ranges, since we might have literals whose type variable has
  been instantiated to another overloaded type varible that has not yet be resolved.

Changed paths:

Path Details
Directorysml/trunk/compiler/Elaborator/types/overload.sml modified , text changed

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