#NEWLINE# @ expose ( 'read' , [ default ( values . W_Object , None ) ] , simple = False ) #NEWLINE# def read( port , env , cont ) : #NEWLINE# #INDENT# from pycket.interpreter import return_value #NEWLINE# cont = read_stream_cont ( env , cont ) #NEWLINE# return get_input_port ( cont , env , cont )