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 /tests/trunk/bugs/outputs/bug1160.out
ViewVC logotype

Diff of /tests/trunk/bugs/outputs/bug1160.out

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

revision 3113, Wed Jul 16 21:09:05 2008 UTC revision 3114, Wed Jul 16 21:56:10 2008 UTC
# Line 3  Line 3 
3    pattern:    'Z * 'Y    pattern:    'Z * 'Y
4    expression:    bool    expression:    bool
5    in declaration:    in declaration:
6      (_,x) =      (_,x) = true
       (case true  
         of (_,x) => {1=x})  
7    

Legend:
Removed from v.3113  
changed lines
  Added in v.3114

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