.. |
ArrayTemplates.hs
|
Created a 'ToTemplate' module to avoid putting too much stuff into Concretize.
|
2018-08-30 13:07:39 +02:00 |
AssignTypes.hs
|
Comment.
|
2018-06-07 12:52:29 +02:00 |
ColorText.hs
|
Enable testing for error messages, using the check.sh functionality.
|
2018-09-21 14:53:06 +02:00 |
Commands.hs
|
Can make error reporting when using --check print long or short file paths.
|
2018-09-21 13:57:39 +02:00 |
Concretize.hs
|
concretize: add command about duplication in modeFromPath
|
2018-09-19 16:44:36 +02:00 |
Constraints.hs
|
BUGFIX: Prevent infinite loop in constraint solver.
|
2018-06-12 10:57:59 +02:00 |
Deftype.hs
|
Created a 'ToTemplate' module to avoid putting too much stuff into Concretize.
|
2018-08-30 13:07:39 +02:00 |
Emit.hs
|
Lambda bugfixes, can know if a global variable lookup is a function or
|
2018-08-31 15:12:14 +02:00 |
Eval.hs
|
Can make error reporting when using --check print long or short file paths.
|
2018-09-21 13:57:39 +02:00 |
Expand.hs
|
Added MetaData field to Binders.
|
2018-03-26 14:51:03 +02:00 |
GenerateConstraints.hs
|
FIX: Give each lifted function a unique name based on the function it originated from.
|
2018-08-27 20:22:14 +02:00 |
Infer.hs
|
Beautified type signatures.
|
2018-06-07 10:47:02 +02:00 |
InitialTypes.hs
|
Environments know their nesting level (nr of nested _functions_, not environments).
|
2018-08-28 14:23:44 +02:00 |
Lookup.hs
|
BIG CHANGE: Functions are managed now.
|
2018-08-29 11:32:33 +02:00 |
Obj.hs
|
Can make error reporting when using --check print long or short file paths.
|
2018-09-21 13:57:39 +02:00 |
Parsing.hs
|
Lambda bugfixes, can know if a global variable lookup is a function or
|
2018-08-31 15:12:14 +02:00 |
Polymorphism.hs
|
Added MetaData field to Binders.
|
2018-03-26 14:51:03 +02:00 |
Qualify.hs
|
Bugfix for issue #289, recursive functions didn't work when reloading code.
|
2018-09-07 14:38:58 +02:00 |
RenderDocs.hs
|
renderdocs: remove debug output
|
2018-08-07 10:05:18 +02:00 |
Repl.hs
|
repl: put history file into .carp dir
|
2018-07-15 13:34:13 +02:00 |
Scoring.hs
|
Lambda bugfixes, can know if a global variable lookup is a function or
|
2018-08-31 15:12:14 +02:00 |
StartingEnv.hs
|
eval: refactor file, line, and column; Debug: better trace
|
2018-09-19 17:46:16 +02:00 |
Template.hs
|
Created a 'ToTemplate' module to avoid putting too much stuff into Concretize.
|
2018-08-30 13:07:39 +02:00 |
ToTemplate.hs
|
Created a 'ToTemplate' module to avoid putting too much stuff into Concretize.
|
2018-08-30 13:07:39 +02:00 |
TypeError.hs
|
Can make error reporting when using --check print long or short file paths.
|
2018-09-21 13:57:39 +02:00 |
Types.hs
|
Simple, non-capturing lambda works.
|
2018-08-27 14:07:36 +02:00 |
Util.hs
|
Variable for determining platform.
|
2018-02-12 14:33:51 +01:00 |
Workbench.hs
|
compiler: applied hlint fixes
|
2017-11-19 17:35:53 +01:00 |