jbearer / hspl / 148

Builds Branch Commit Type Ran Committer Via Coverage
148 syntax fixup! Use . as binary operator delimiter (instead of |) push jbearer travis-ci pending completion   set done
147 syntax Add more variable constructors. * Variable constructors for Either and Maybe * Replaced \* with a more readable 'list' * Added typed anonymous constructors, e.g. _int, _maybe, _list * Added a type family which allows for tuple variables, e.g. tup... push jbearer travis-ci pending completion   set done
146 syntax Use . as binary operator delimiter (instead of |) . (e.g. .+.) creates less visual disruption than | (e.g. |+|) Closes #18 push jbearer travis-ci pending completion   set done
145 master Tag predicates definitions with their location in the source code. This allows us to relax the constraint that predicate names be unique quite alot. There is a caveat: source location is not available prior to base 4.8.1, so with older versions ... push jbearer travis-ci pending completion   set done
144 unique-preds Tag predicates definitions with their location in the source code. This allows us to relax the constraint that predicate names be unique quite alot. There is a caveat: source location is not available prior to base 4.8.1, so with older versions ... push jbearer travis-ci pending completion   set done
143 unique-preds Add optional scope tag to predicate definitions. This can be used to further distinguish predicates with the same name, and is necessary with base < 4.8.1, where callstack is not available for this purpose. push jbearer travis-ci pending completion   set done
142 unique-preds Tag predicates definitions with their location in the source code. This allows us to relax the constraint that predicate names be unique quite alot. There is a caveat: source location is not available prior to base 4.8.1, so with older versions ... push jbearer travis-ci pending completion   set done
140 unique-preds Tag predicates definitions with their location in the source code. This allows us to relax the constraint that predicate names be unique quite alot. There is a caveat: source location is not available prior to base 4.8.1, so with older versions ... push jbearer travis-ci pending completion   set done
139 master Use Haskeline for command line editing in debugger. Notably, we no longer have the option to configure file I/O. The debugger always reads and writes to stdin and stdout. It uses Haskeline's haveTerminalUI to determine whether to display the inte... push jbearer travis-ci pending completion   set done
138 debugger-ui Use Haskeline for command line editing in debugger. Notably, we no longer have the option to configure file I/O. The debugger always reads and writes to stdin and stdout. It uses Haskeline's haveTerminalUI to determine whether to display the inte... push jbearer travis-ci pending completion   set done
137 debugger-ui Use Haskeline for command line editing in debugger. Notably, we no longer have the option to configure file I/O. The debugger always reads and writes to stdin and stdout. It uses Haskeline's haveTerminalUI to determine whether to display the inte... push jbearer travis-ci pending completion   set done
136 debugger-ui Use Haskeline for command line editing in debugger. Closes #7 push jbearer travis-ci pending completion   set done
135 debugger-ui Print final values of variables when a result is debugged. In the debugger, ever time a result is proven, we print the final value of each variable which * Appears in the final unifier * Is not a Fresh or Anon variable * Is bound to a non-variab... push jbearer travis-ci pending completion   set done
134 master Factor out operator preferences. All operator preferences are defined in the same part of the file, making it easy to see the relative order. Also, we use a macro PREC which is continuously redefined to decreasing integer constants, which will ma... push jbearer travis-ci pending completion   set done
133 ternary Factor out operator preferences. All operator preferences are defined in the same part of the file, making it easy to see the relative order. Also, we use a macro PREC which is continuously redefined to decreasing integer constants, which will ma... push jbearer travis-ci pending completion   set done