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

SCM Repository

[smlnj] Diff of /sml/trunk/compiler/Elaborator/elaborate/elabcore.sml
ViewVC logotype

Diff of /sml/trunk/compiler/Elaborator/elaborate/elabcore.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 4491, Sat Oct 14 23:42:01 2017 UTC revision 4492, Sun Oct 15 01:28:11 2017 UTC
# Line 79  Line 79 
79  fun mkWordLiteralTy (v : IntInf.int, r : SourceMap.region) : ty =  fun mkWordLiteralTy (v : IntInf.int, r : SourceMap.region) : ty =
80        VARty(mkTyvar(OVLD{        VARty(mkTyvar(OVLD{
81            sources = [OWORD(v, r)],            sources = [OWORD(v, r)],
82            options = OverloadLit.intTypes            options = OverloadLit.wordTypes
83          }))          }))
84    
85  (* tyvarset management *)  (* tyvarset management *)

Legend:
Removed from v.4491  
changed lines
  Added in v.4492

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