1. Summary
  2. Files
  3. Support
  4. Report Spam
  5. Create account
  6. Log in
Mantis Bugtracker

Viewing Issue Simple Details Jump to Notes ] View Advanced ] Issue History ] Print ]
ID Category Severity Reproducibility Date Submitted Last Update
0000142 [USE] Command line interface (CLI) minor always 2012-06-11 07:10 2012-06-11 07:10
Reporter unauthenticated View Status public  
Assigned To
Priority normal Resolution open  
Status new   Product Version 3.0.4
Summary 0000142: USE shell - multiline input - direct input VS file input
Description USE inserts confusing additional '> ' chars
when the input comes from a file
(probably due to handling of <CR> as <CR><LF>
or something like that)

------------------------------------------------------------------------

DIRECT SHELL INPUT

use> \
> ?Set{-1,0,1}->iterate(i:Integer;
> r:Bag(Integer)=Bag{}|
> r->including(i*i))
> .
-> Bag{0,1,1} : Bag(Integer)

------------------------------------------------------------------------

INPUT FROM A TXT FILE

use> \
?Set{-1,0,1}->iterate(i:Integer;
                      r:Bag(Integer)=Bag{}|
                      r->including(i*i))
.
> > > > -> Bag{0,1,1} : Bag(Integer)

------------------------------------------------------------------------
Additional Information [mg]
Tags No tags attached.
Attach Tags (Separate by ",")
Attached Files

- Relationships

- Upload File
Select File
(Max. size: 5,000k)

There are no notes attached to this issue.

- Add Note
Note

- Issue History
Date Modified Username Field Change
2012-06-11 07:10 unauthenticated New Issue


Mantis 1.1.8[^]
Copyright © 2000 - 2009 Mantis Group
Powered by Mantis Bugtracker