OSDN Git Service
(root)
/
happyabc
/
happyabc.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
change headr file name
[happyabc/happyabc.git]
/
swflib
/
highInstTest.ml
1
open Base
2
open OUnit
3
open HighInst
4
5
let _ =
6
("highInst.ml" >::: [
7
"const" >::
8
(fun () ->
9
assert_equal [`Int 42] (HighInst.const (`PushInt 42));
10
assert_equal [`String "foo"] (HighInst.const (`PushString "foo")))
11
]) +> run_test_tt_main