diff options
| author | Camil Staps | 2016-05-26 17:23:16 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-05-26 17:23:16 +0200 |
| commit | ba10d1b5ec24a33059030c16f82558fe45e165d2 (patch) | |
| tree | 41f438c3574d3b75ec9e03080a78ba26e63e5b2b /tree.prj | |
| parent | fix toString for Push (diff) | |
Overloading IO functions in step; POC derivation tree generation
Diffstat (limited to 'tree.prj')
| -rw-r--r-- | tree.prj | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/tree.prj b/tree.prj new file mode 100644 index 0000000..3859aa8 --- /dev/null +++ b/tree.prj @@ -0,0 +1,61 @@ +Version: 1.4 +Global + ProjectRoot: . + Target: StdEnv + Exec: {Project}/tree + CodeGen + CheckStacks: False + CheckIndexes: True + Application + HeapSize: 2097152 + StackSize: 512000 + ExtraMemory: 8192 + IntialHeapSize: 204800 + HeapSizeMultiplier: 4096 + ShowExecutionTime: False + ShowGC: False + ShowStackSize: False + MarkingCollector: False + DisableRTSFlags: False + StandardRuntimeEnv: True + Profile + Memory: False + MemoryMinimumHeapSize: 0 + Time: False + Stack: False + Output + Output: BasicValuesOnly + Font: Monaco + FontSize: 9 + WriteStdErr: False + Link + LinkMethod: Static + GenerateRelocations: False + GenerateSymbolTable: False + GenerateLinkMap: False + LinkResources: False + ResourceSource: + GenerateDLL: False + ExportedNames: + Paths + Path: {Project}/ + Path: {Application}/lib/Generics/ + Path: {Application}/lib/StdLib/ + Path: {Application}/lib/clean-platform/OS-Independent/ + Path: {Application}/lib/clean-platform/OS-Linux-64/ + Precompile: + Postlink: +MainModule + Name: tree + Dir: {Project} + Compiler + NeverMemoryProfile: False + NeverTimeProfile: False + StrictnessAnalysis: True + ListTypes: StrictExportTypes + ListAttributes: True + Warnings: True + Verbose: True + ReadableABC: False + ReuseUniqueNodes: True + Fusion: False |