Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Updating: minor addition.

  • Loading branch information...
commit 249fb9553f35710ae32d93e84f9e8cf98d4b53f5 1 parent 1cbf62f
Hongwei Xi authored
Showing with 3 additions and 1 deletion.
  1. +3 −1 contrib/JNI/TEST/Hello.dats
View
4 contrib/JNI/TEST/Hello.dats
@@ -10,6 +10,8 @@ staload "contrib/JNI/SATS/jni.sats"
#define ATS_DYNLOADFLAG 0
+(* ****** ****** *)
+
extern
fun printHello {l:agz}
(env: !JNIEnvptr, obj: !jobject l): void = "ext#Java_Hello_printHello"
@@ -30,7 +32,7 @@ val () = printf ("Hello, world!\n", @())
val () = loop (msg, 0) where {
fun loop {n,i:nat | i <= n} .<n-i>.
(msg: string n, i: size_t i): void =
- if string_isnot_at_end (msg, i) then let
+ if string_isnot_atend (msg, i) then let
val () = fprint_char (stdout_ref, msg[i]) in loop (msg, i+1)
end else ()
// end of [loop]
Please sign in to comment.
Something went wrong with that request. Please try again.