Skip to content

Commit

Permalink
Update cpphs and version
Browse files Browse the repository at this point in the history
  • Loading branch information
augustss committed Mar 1, 2024
1 parent 4e4e78f commit 18820d7
Show file tree
Hide file tree
Showing 5 changed files with 1,310 additions and 1,300 deletions.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -93,7 +93,7 @@ cpphssrc/malcolm-wallace-universe:
mkdir -p cpphssrc
cd cpphssrc; git clone --branch dot-spaces git@github.com:augustss/malcolm-wallace-universe.git

bootstrapcpphs: cpphssrc/malcolm-wallace-universe bin/cpphs
bootstrapcpphs: cpphssrc/malcolm-wallace-universe #bin/cpphs
MHSCPPHS=bin/cpphs bin/mhs -z -XCPP -icpphssrc/malcolm-wallace-universe/polyparse-1.12/src -icpphssrc/malcolm-wallace-universe/cpphs-1.20.9 cpphssrc/malcolm-wallace-universe/cpphs-1.20.9/cpphs.hs -ogenerated/cpphs.c

# Run test examples with ghc-compiled compiler
Expand Down
2 changes: 1 addition & 1 deletion MicroHs.cabal
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: MicroHs
version: 0.9.6.0
version: 0.9.7.0
synopsis: A compiler for Haskell
license: Apache-2.0
license-file: LICENSE
Expand Down
4 changes: 3 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -241,7 +241,9 @@ For example, `bin/mhseval +RTS -H1M -v -RTS hello` runs `out.comb` and the progr
whereas the runtime system sets the heap to 1M cells and is verbose.

### FFI
MicroHs supports calling C functions, but all such functions must be in a table in the runtime system.
MicroHs supports calling C functions.
When running the program directly (using `-r`) or when generating a `.comb` file only the functions in the table built
into `src/runtime/eval.c` can be used. When generating a `.c` file or an executable any C function can be called.

### Records
MicroHs implements the record dot extensions.
Expand Down
Loading

0 comments on commit 18820d7

Please sign in to comment.