Compare commits

..

No commits in common. "3a08cfb2d353b7c12b7c53b835dd0e76d235c19a" and "edc859dc01f03bf579190b659fb1ded4454da9ba" have entirely different histories.

6 changed files with 25 additions and 45 deletions

23
TODO.md
View File

@ -1,5 +1,4 @@
## Version Bump checklist
- TODO: build and publish script
- update Cargo.toml
- run cargo test
- commit
@ -11,22 +10,28 @@
## Pre-release
- Fix linelocation (consistent, what does an operator's linelocation mean?)
- Tuple operations
- we don't need vectors as arguments to operators
- Fix linelocation when evaluating functions
- Assignment tests
- Color check is too slow
## Parser
- Better error when `sin = 2`
- Should functions be operators?
- Binary, hex, octal numbers
## General
- Better tests (assignment, many expressions in one context)
- Optional config file
- Optional history file
- daisyrc file
- Compile to WASM, publish a webapp
- evaluate straight from command line
- Auto-push to crates.io
- Package for debian
- Faster startup
## Internals
@ -36,6 +41,7 @@
- Remove rug dependency (too big, incompatible)
## Math Features
- Dice
- Mean, Median, Min
- Arbitrary base logarithm
- Derivatives
@ -43,16 +49,21 @@
- Complex numbers
- acot/acoth functions
- Sums and products with functional arguments
- Add functions: gcd, inverse mod, dice
- Add functions: gcd, inverse mod
## Prompt
- Fix terminal color detection
- Live syntax/output (like firefox js terminal)
- Syntax highlighting
- Syntax highlight input and output
- fish-style tab completion
- Numbered expressions, history recall
- Color configuration
- Enable/disable unit sets (defaults?)
- Consistent unit ordering
- Better linelocation
- we shouldn't need to re-print user input on evaluation errors, red arrows should adjust themselves to the prettyprinted string
- Backend-independent colorful printing
- Better colors in error texts
- Better substitution. Consistent: when ascii, when unicode?
- Command to list substitutions
## Units

View File

@ -224,7 +224,7 @@ pub fn do_command(
if args.len() != 2 {
return FormattedText::new(
format!(
"[c]{first}[n] [t]takes exactly one argument.[n]\n\n",
"[c]{first}[n] [t]takes exactly two arguments.[n]\n\n",
)
);
}

View File

@ -126,7 +126,6 @@ impl Context {
} else { panic!() }
}
// Can we define a new variable with this name?
pub fn valid_varible(&self, s: &str) -> bool {
if {
Function::from_string(s).is_some() ||
@ -146,17 +145,10 @@ impl Context {
}
}
// Can we get a value fro mthis variable name?
pub fn is_varible(&self, s: &str) -> bool {
return {
(
s == "ans" &&
self.history.len() != 0
) ||
(
self.valid_varible(s) &&
(self.variables.contains_key(s) || self.shadow.contains_key(s))
)
};
}

View File

@ -11,23 +11,6 @@ use super::super::LineLocation;
#[derive(Debug)]
#[derive(Clone)]
pub enum Expression {
// Meaning of `LineLocation`:
//
// For Variables, Constants, Quantities, Tuples:
// If this expression was parsed, LineLocation is what part of the prompt was parsed to get this expression
// If this expression is the result of a calculation, LineLocaion is the sum of the LineLocations of
// all expressions used to make it. In other words, it points to the part of the prompt that was evaluated
// to get this new expression.
//
// For Operators:
// Linelocation points to the operator's position in the prompt.
// If this is a function, it points to the function name.
// If this is `+`, `!`, or etc, it points to that character.
// Operator arguments are NOT included in this linelocation.
//
//
// All the above rules are implemented when parsing and evaluating expressions.
Variable(LineLocation, String),
Quantity(LineLocation, Quantity),
Constant(LineLocation, Constant),

View File

@ -35,12 +35,6 @@ pub fn parse_no_context(s: &String) -> Result<Expression, (LineLocation, DaisyEr
parse(&Context::new(), s)
}
// Substitiution replaces certain string with pretty unicode characters.
// When it is enabled, ALL input strings are substituted. Variable and
// operator tokens use the replaced string value. Make sure both the
// original and the replaced strings are handled correctly by the parser.
pub fn substitute(context: &Context, s: &String) -> String {
if !context.config.enable_substituion { return s.clone(); }
let (_, s) = substitute_cursor(context, s, s.chars().count());

View File

@ -62,13 +62,13 @@ fn sub_string(s: &str) -> Option<&'static str> {
}
// Finds substitutions in an array of tokens.
// Returns new token array and substitution list.
pub fn find_subs(
mut g: VecDeque<Token>,
) -> (
VecDeque<(LineLocation, String)>, // List of substrings to replace (in order)
VecDeque<Token> // New token array, with updated strings and linelocations
VecDeque<(LineLocation, String)>,
VecDeque<Token>
) {
// Array of replacements
@ -103,7 +103,7 @@ pub fn find_subs(
};
if target.is_none() {
// Even if nothing changed, we need to update the new token's linelocation
// Even if nothing changed, we need to update token location
let l = t.get_mut_linelocation();
*l = LineLocation{pos: l.pos - offset, len: l.len};
} else {