https://github.com/jiriklepl/bachelor-thesis
https://github.com/jiriklepl/bachelor-thesis
bachelor-thesis c compiler haskell mff-uk
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/jiriklepl/bachelor-thesis
- Owner: jiriklepl
- Created: 2019-11-04T14:11:19.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-07-30T16:29:43.000Z (almost 6 years ago)
- Last Synced: 2025-07-19T07:39:02.548Z (12 months ago)
- Topics: bachelor-thesis, c, compiler, haskell, mff-uk
- Language: Haskell
- Size: 3.25 MB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# CHM Compiler
This program compiles programs written in the CHM language. For the proposal of the language, see the bachelor thesis repository [Bachelor-Thesis-Text](https://github.com/jiriklepl/Bachelor-Thesis-Text).
The purpose of this compiler is to demonstrate the possibility of implementing an alternative to the C language which uses a variant of the Hindley-Milner type system. This language aims to preserve the core nature of the C language: explicit memory management, high level of code transparency, and giving the user control over almost all computations the program performs (= minimal runtime overhead).
## Dependencies
- cabal-install (version at least 3.2)
- ghc (version at least 8.10)
- make (optional for make command, version at least 4.3)
## Building
The program contains a [Makefile](Makefile) configured to build the program independently on the platform.
It is run by the common command:
```sh
make build
```
Alternatively, it could be built by using the cabal directly:
```sh
cabal new-build all
```
## Usage
The easiest way to run the compiler is to use the [run.sh](run.sh) script (may require `chmod`):
```sh
./run.sh
```
Or it can be run by using cabal:
```sh
cabal new-run CHM-main
```
For more information on the possible options and syntax run with an argument `--help`:
```sh
./run.sh --help
```
## Testing
There are several test files provided by this package:
```sh
test-bad-access.chm
test-good-access.chm
test-list-alloc-print.chm
test-vector.chm
```
Each of the test files begins with a comment explaining the purpose of the test and the expected behavior of compilation or runtime.
Running Valgrind on any of the successfully compiled programs should not find any memory leaks or any bad reads/writes.