grin-compiler/grin
1
1
Fork 0
mirror of https://github.com/grin-compiler/grin.git synced 2024-10-26 16:51:12 +03:00
Code Issues Projects Releases Wiki Activity

new arity raising bug

Browse Source
This commit is contained in:
Csaba Hruska 2018-05-01 09:42:42 +02:00
parent 6667b7d619
commit 6c22f1841a
1 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
bugs/arity-raising/arity-raising-bug-04.grin Normal file
View File

@ -0,0 +1,32 @@
{-
run:
stack exec -- grin -p -t --print-hpt-result --ar -p arity-raising-bug-04.grin
-}
-----------------------------------------------
-- test source code
-----------------------------------------------
sub p1 p2 =
(CGrInt n1) <- fetch p1
(CGrInt n2) <- fetch p2
n3 <- _prim_int_sub n1 n2
pure (CGrInt n3)
grinMain =
p3 <- store (CGrInt 10)
p4 <- store (CGrInt 1)
v2 <- sub p3 p4
p5 <- store v2
sub p3 p5
-----------------------------------------------
-- NOTES
-----------------------------------------------
{-
wrong result:
arity raising crashes:
grin: src/Transformations/Optimising/ArityRaising.hs:(96,24)-(99,49): Non-exhaustive patterns in case
-}