shithub: MicroHs

61dfbc69 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/07/21 19:03

Fix test

e8d39154 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/07/21 09:01

Better error message for extra stuff in instances.

a1a8df36 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/07/21 08:49

Fix an erroneous error message for bad fundeps.

87a312e5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/07/21 08:10

Always import default methods.

e3161204 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/07/18 06:13

Include errtest in runtestsmhs

2463faf9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/07/18 05:09

Regen

90fbe26c – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/07/18 05:08

Update cabal file

7833ad19 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/07/16 13:54

Add comment.

0df3cdb3 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/07/15 09:52

Add missing file.

291aa53d – Lennart Augustsson <lennart@augustsson.net> authored on 2024/07/13 17:06

Regen

8928c64b – Lennart Augustsson <lennart@augustsson.net> authored on 2024/07/13 17:05

Generate an error when deriving for types with no constructors.

d668b547 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/07/13 16:42

Regen

e7310ac8 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/07/13 16:41

Only unqualify strings that start with an uppercase letter.

e0142c05 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/07/13 16:27

Update workflow for cabal

91dee997 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/07/13 16:06

Derive Eq and Ord for Either

e7308312 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/07/13 16:05

Fix bad error test after Data.Map removal.

fdb26350 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/06/16 06:20

Strip comments in cpphs

3c4c38a5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/06/16 06:19

Add non-empty list module.

6c4a7ed0 – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/06/15 21:30

Update AllOfLib.hs

da9edac9 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/06/14 13:11

Remove our own Data.Map

423dcc65 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/06/13 18:33

Add lost files.

9a777dd4 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/06/13 18:28

Move the local state monad from lib to src.

cacb728f – Lennart Augustsson <lennart@augustsson.net> authored on 2024/06/13 17:27

Move pretty printing library.

de982caf – Lennart Augustsson <lennart@augustsson.net> authored on 2024/06/13 17:11

Move the crappy IntMap and IntSet from lib/Data to src/MicroHs.

b27a3914 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/06/13 12:13

Save 1.5s compilation time by not dragging in Data.Complex

cf52f5f6 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/04/29 08:19

Spell warning flag correctly

43cee651 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/06/13 05:46

Bump mhs version

768efceb – Lennart Augustsson <lennart@augustsson.net> authored and GitHub <noreply@github.com> committed on 2024/06/12 20:39

Update MicroHs.cabal

895f7672 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/06/12 17:01

Fix a bug in tests/Eq1.hs

4afa7594 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/06/12 15:32

Simplify instantiation.

fecf7571 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/06/09 09:31

Better pretty printing.

0424d9ca – Lennart Augustsson <lennart@augustsson.net> authored on 2024/06/09 09:25

Remove extra type variable.

7f6b40b4 – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/29 08:11

Make it compile

57734bc5 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/04/29 07:44

Remove cabal test from macos

06bf930a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/04/13 14:41

Reorganize for packages.

b5a3c38d – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/04/13 14:40

Move some Typeable stuff

e4cba674 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/04/13 14:39

Add missing module

32fdb8d7 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2024/04/13 14:39

Better error message.

c2fcd07f – Lennart Augustsson <lennart@augustsson.net> authored on 2024/04/26 10:50

Ignore more

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

Regen

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

Make it compile

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

GADTs

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.