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 4491
ViewVC logotype

Revision 4491


Jump to revision: Previous Next
Author: jhr
Date: Sat Oct 14 23:42:01 2017 UTC (2 years, 4 months ago)
Log Message:
  Some restructuring/cleanup for literal overloading.  Got rid of Types.litKind
  datatype; changed Type.ovldSource datatype to have different constructors for
  each kind of literal that can be overloaded.

Changed paths:

Path Details
Directorysml/trunk/compiler/ElabData/types/types.sig modified , text changed
Directorysml/trunk/compiler/ElabData/types/types.sml modified , text changed
Directorysml/trunk/compiler/Elaborator/elaborate/elabcore.sml modified , text changed
Directorysml/trunk/compiler/Elaborator/print/pptype.sml modified , text changed
Directorysml/trunk/compiler/Elaborator/types/overloadlit.sml modified , text changed
Directorysml/trunk/compiler/Elaborator/types/unify.sml modified , text changed

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