Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Callback example working

  • Loading branch information...
commit 8488b257e827645626bc0d3539993f704ae97b93 1 parent e42334c
@norm2782 norm2782 authored
View
2  tests/works/data_export_plain/data_export_plain.hs
@@ -45,7 +45,7 @@ data Book
}
add :: Int -> Int -> IO ()
-add x y = alert . show $ y + x
+add x y = print $ y + x
-- TODO
-- The current problem is that we need to do something like this:
View
2  tests/works/data_export_plain/data_export_plain_perm.html
@@ -28,7 +28,9 @@
<script type="text/javascript" src="../../../uhc-jscript/src/Language/UHC/JScript/Language_UHC_JScript_Types.mjs"></script>
<script type="text/javascript" src="../../../uhc-jscript/src/Language/UHC/JScript/ECMA/Language_UHC_JScript_ECMA_String.mjs"></script>
<script type="text/javascript" src="../../../uhc-jscript/src/Language/UHC/JScript/Language_UHC_JScript_Primitives.mjs"></script>
+<script type="text/javascript" src="data_export_plain_perm.js"></script>
<script type="text/javascript" src="data_export_plain.js"></script>
+
</head>
<body>
</body>
Please sign in to comment.
Something went wrong with that request. Please try again.