Commit 15d1e089 authored by Camil Staps's avatar Camil Staps 🍃

Add curry test case for #81

parent 5ba376d6
Pipeline #25879 passed with stages
in 13 minutes and 43 seconds
......@@ -6,6 +6,7 @@ brainfuck
cafs
chars
compress
curry
e
fills
fsieve
......
[(Cons 1 (Cons 2 (Cons 3 Nil))),(Cons2 1 2 (Cons2 1 3 Nil)),(Cons3 1 2 3 (Cons3 1 2 4 Nil))]
halt at 4
102 524186 524288
[(Cons 1 (Cons 2 (Cons 3 Nil))),(Cons2 1 2 (Cons2 1 3 Nil)),(Cons3 1 2 3 (Cons3 1 2 4 Nil))]
halt at 4
102 262042 262144
module curry
:: List
= Cons Int List
| Cons2 Int Int List
| Cons3 Int Int Int List
| Nil
foldr :: (.a -> .(.b -> .b)) .b ![.a] -> .b
foldr op r l = foldr l
where
foldr [] = r
foldr [a:x] = op a (foldr x)
Start =
[ foldr Cons Nil [1,2,3]
, foldr (Cons2 1) Nil [2,3]
, foldr (Cons3 1 2) Nil [3,4]
]
Version: 1.4
Global
ProjectRoot: .
Target: StdEnv
Exec: {Project}/curry
ByteCode: {Project}/curry.bc
CodeGen
CheckStacks: False
CheckIndexes: False
GenerateByteCode: True
OptimiseABC: 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
Dynamics: False
GenericFusion: False
DescExL: True
Output
Output: ShowConstructors
Font: Monaco
FontSize: 9
WriteStdErr: False
Link
LinkMethod: Static
GenerateRelocations: False
GenerateSymbolTable: False
GenerateLinkMap: False
LinkResources: False
ResourceSource:
GenerateDLL: False
ExportedNames:
StripByteCode: True
KeepByteCodeSymbols: True
PrelinkByteCode: True
Paths
Path: {Project}
Precompile:
Postlink:
MainModule
Name: curry
Dir: {Project}
Compiler
NeverMemoryProfile: False
NeverTimeProfile: False
StrictnessAnalysis: True
ListTypes: StrictExportTypes
ListAttributes: True
Warnings: True
Verbose: True
ReadableABC: False
ReuseUniqueNodes: True
Fusion: False
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment