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 4522, Mon Sep 5 22:57:22 2016 UTC revision 4523, Tue Sep 6 04:07:12 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.4522  
changed lines
  Added in v.4523

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