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

SCM Repository

[diderot] Diff of /branches/ein16/synth/d2/var_ty.py
ViewVC logotype

Diff of /branches/ein16/synth/d2/var_ty.py

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

revision 4707, Fri Oct 7 20:34:25 2016 UTC revision 4708, Fri Oct 7 23:25:50 2016 UTC
# Line 20  Line 20 
20  #get_extra  #get_extra
21  def get_all_types(rst_ty, in_tys):  def get_all_types(rst_ty, in_tys):
22      (t, f, a) = transform_tys(in_tys)      (t, f, a) = transform_tys(in_tys)
23      print "rst_ty:",rst_ty  
24      if(rst_ty==ty_T):      if(rst_ty==ty_T):
25          return t          return t
26      elif(rst_ty==ty_F):      elif(rst_ty==ty_F):

Legend:
Removed from v.4707  
changed lines
  Added in v.4708

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