shithub: MicroHs

3f7af2a4 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/26 10:49

Add missing export

653921c9 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/26 10:48

Make Float and Double different types.

1ae323f9 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/25 11:38

Turn GADTs into ADTs in the parser.

e8facabf – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/25 11:35

Refactor a little

61103657 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/25 11:35

Add forgotten equality simplification.

f189ccb8 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/24 07:50

Refactor

721bf475 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/22 04:54

Prettier

ee9cc21c – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/20 10:33

Write cache even with interactive

71543679 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/11 04:48

Add cabal file

c0a4f955 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/09 10:47

Make dependencies ghc only

09564dfa – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/09 10:37

Fix bug I introduced.

9bdf6165 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/09 09:03

Minor tweaks and version bump

c5af323f – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/09 06:58

Fix warning.

d12702ba – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/09 06:53

Merge branch 'master' of github.com:augustss/MicroHs

5a775ba5 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/04/09 06:53

Merge pull request #41 from yobson/master

d8346149 – James Hobson <james@hobson.space> authored on 2024/04/09 08:49

Behavioural changes

22468c3c – James Hobson <james@hobson.space> authored on 2024/04/09 08:31

Tests work

6ba9268d – James Hobson <james@hobson.space> authored on 2024/04/09 08:19

First attempt to fix tests

0117f132 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/09 06:51

Add Data.Array

9277a221 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/07 17:00

Add missing find_sharing for arrays.

48a34d1e – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/07 16:53

Add missing argument satisfaction checks.

29161b2a – James Hobson <james@hobson.space> authored on 2024/04/07 14:01

Removed unneeded Data.Char import

7f46be28 – James Hobson <james@hobson.space> authored on 2024/04/07 13:53

Updated generated c code

4c94735e – James Hobson <j.w.hobson@icloud.com> authored and GitHub <noreply@github.com> committed on 2024/04/07 13:51

Merge branch 'augustss:master' into master

915858ed – James Hobson <james@hobson.space> authored on 2024/04/07 13:50

Easy cross compiling part-2

8363022e – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/07 07:00

Lots of Ptr improvements.

bcb571d5 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/06 17:38

Fix bug in test

e4d8e0a1 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/06 17:03

Export cuprint

212234c9 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/06 17:03

Export the right values.

2b6dae84 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/06 17:03

Fix evaluate and throwIO

502e890c – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/05 04:39

Temporarily disable failing test.

77bc8fb9 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/04 15:24

Fix ForeignPtr bugs.

20d03699 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/04 06:07

Implement ForeignPtr

29147d26 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 17:08

Merge branch 'master' of https://github.com/yobson/MicroHs

d0b0b93b – James Hobson <james@hobson.space> authored on 2024/04/03 18:16

Easier cross compiling support part-1 (#39)

4cf8efac – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 17:01

Regen

4c1da0f7 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 17:00

Make defaults actually default to the standard list.

fd4a360a – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 16:56

Handle ~ and ! in patterns.

105cf036 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 16:56

Move a function

2561f291 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 09:37

Make TAB completion work in interactive version.

faba2aba – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 08:16

Refactor so compilation returns the last symbol table.

a7c49581 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 07:20

Change -v output

6b9c2f0d – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 05:39

Add Text.Printf

41c2cd88 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 05:38

Add float formatting

f7236224 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 05:16

Add Numeric.Natural

ac32433b – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 05:16

Add ArithException

778c3e3e – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 04:50

Cache modules with combinator conversion done.

2249c09c – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/03 04:25

Make it look neater.

e103326d – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/02 15:17

More exception stuff

be7610d9 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/02 10:43

More fixes for new exceptions.

1e5a13f4 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/02 08:13

Lots of changes to use real exceptions.

63201709 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 16:30

Merge branch 'master' of github.com:augustss/MicroHs

ccd5a588 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/04/01 23:49

Update README.md

39fac853 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 16:28

Don't print space before @ in serialization. This saves some space.

710cdc24 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 13:59

Regen

938dd568 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 13:54

Handle more recursive modules

b4d456d6 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 13:44

Some support for recursive module using -boot files.

754c2a59 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 12:22

Generate predictable instance identifiers.

f24f4d2c – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 06:53

Fix import again

a0075215 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 06:51

Fix import

4bfbc3d9 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 06:48

Regen

0815b5bf – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 06:40

Get rid of Text.String

7f088856 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 06:38

Get rid of more Compat

2e9cf522 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 06:29

More fixes after List change.

13f43139 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/01 05:55

Clean up List module. Now compatible with GHC.

4491fed3 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/31 15:42

Move Exn

b35dfd40 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/31 15:29

Move getTimeMilli

9f1cedc5 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/31 10:05

Use standard Haskell default.

8d3dbf03 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/31 09:47

Handle defaulting in a more sane way.

ff08ce68 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/30 17:17

More to do

54375d3c – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/30 18:54

Regen

03ca3530 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/30 18:36

Fix package handling

3336e076 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/30 18:35

Better error message.

4a665065 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/30 17:26

More functions

6def841c – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/29 19:12

Make it build

3e82e2c1 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/29 11:50

More

b7256500 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/29 11:40

Regen

a17402fe – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/29 11:34

Better package naming.

80f3f6aa – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/29 11:10

Use getHomeDirectory

338af88c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/29 11:05

Add getHomeDirectory

0d07868c – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/03/28 20:47

Handle HOME better.

d7449648 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/03/28 20:42

Add TupleSections

233e0d26 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/28 20:14

Regen

62b9ec1e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/28 20:13

Better import processing

83a379d5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/28 19:32

Refactor import/export specs a little.

ff648006 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/28 19:13

Send -I flags to cpp

ff8c6e91 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/28 06:55

Load package dependencies.

3a32772e – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/28 06:09

Handle package installation.

46879fde – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/28 06:00

Add copyFile

14144a6a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/28 05:30

Add directory creation.

cd75b653 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/28 05:30

Add mkdir()

03194fff – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/28 05:21

Add scan functions.

7aebc656 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/27 20:55

Stuff to create a package.

d0d713aa – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/27 20:54

Add a comment

32d735b3 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/27 20:28

Change Ratio a little to better conform to being a wheel.

467a298f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/27 14:16

Make the Cache more abstract and prepare for packages.

f1cc8a50 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/27 14:16

Add a forgotten case.

ed3945c7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/27 13:09

Refactor a little.

f7223e89 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/03/25 15:09

Regen

75d02b70 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/03/25 15:07

Package