Skip to content

GitLab

C
clean-sapl
Verified Commit b11d838d authored by Camil Staps's avatar Camil Staps 🚀
Browse files
Options

Also add #INF constant for 32-bit windows (see iTasks-SDK#282)

parent 434ed013
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 0 deletions
src/Sapl/Target/CleanFlavour.icl
View file @ b11d838d
......@@ -7,6 +7,7 @@ cleanFlavour = fromFlavourRep {
options=["enableStrictnessPropagation"],
bifs=[
{sapl_fun="inf",arity=0,data_cons=Nothing,ext_fun=Just "_inf",inline_exp=Just "Infinity"},
{sapl_fun="#INF",arity=0,data_cons=Nothing,ext_fun=Just "_inf",inline_exp=Just "Infinity"},
{sapl_fun="addI",arity=2,data_cons=Nothing,ext_fun=Just "_add",inline_exp=Just ":!1: + :!2:"},
{sapl_fun="addR",arity=2,data_cons=Nothing,ext_fun=Just "_add",inline_exp=Just ":!1: + :!2:"},
{sapl_fun="subI",arity=2,data_cons=Nothing,ext_fun=Just "_sub",inline_exp=Just ":!1: - :!2:"},
......
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