shithub: MicroHs

fc9b604a – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/13 08:34

Add bootstrap target.

b047dd65 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/13 08:28

Don't double close.

7ee99c3f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/13 08:28

Make linker happy

b60e10b8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/13 08:27

Better types.

e0acb236 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/13 08:27

instance Show Handle

38c2b0e6 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/13 07:37

Update cabal

14fa45df – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/13 07:32

Start of new Makefile

1ddb87f5 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/13 07:08

Clean up Compat

ef4040b6 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/13 05:10

Simplify Makefile

581ac0fd – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/12 17:11

Make stats work again

55986eeb – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/12 17:07

Remove junk file.

287a43bd – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/12 16:58

Do some cleanup.

9add7e7e – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/12 16:38

Redo IO to use FFI.

820150b3 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/10 17:15

Some things are done

93deb85d – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/10 17:13

Make mhs produce a binary, using cc.

3c05ccfe – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/10 16:54

Add some more file handling.

f46aa044 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/10 12:42

Change how missing FFI functions are reported.

9fc3bc67 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/10 12:28

Simplify conversion a little.

f60c2bb7 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/09 11:54

Make CTL-D behave like I want.

1952ac81 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/09 11:44

More FFI

07f58958 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 16:48

Add system.

9178d61c – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 16:22

Add some string marshaling.

d87fa9fc – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 12:21

Change how combinator file is generated.

2aa587b5 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 11:38

Use more primCompare

c68f7b44 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 11:31

Small speedup with strict constructors.

bf23440e – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 11:21

Implement strict constructors

0b5ebea7 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 11:01

Fix sqrt

c51da445 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 10:58

Fix export bug

251933cc – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 10:40

Fix error reporting.

d6d8c104 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 10:23

Show error message on :reload

c529cdad – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 10:05

More to do

4abfb3cc – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 10:05

Adapt to parser bug

38ee67a8 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 10:03

Parse infix constructor in data

018765cd – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 10:03

Add fneg

a898f871 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 09:40

More to do.

1b2656b4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/08 09:40

More tests.

501f8e3a – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 13:53

Add Complex

a4aef3c8 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 13:07

Better error message

eae20570 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 12:50

Change 'import' to 'loaded' in a message

5773add4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 12:46

Add FNEG primitive.

de1a985c – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 12:39

Add RealFloat class.

f63e6ed9 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 11:46

Make permanent INT nodes for all byte values.

14be7bff – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 11:43

Better debug

2cf3c41c – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 11:42

Add helper class for interactive top level

dc5dfd7a – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 11:42

Add IO.print

98c21bca – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 11:41

More Show instances

8ee8533b – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 11:41

Add traceM

99f85b63 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 11:03

Use a type class to get locations.

b27f4ee2 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 10:34

Merge branch 'class-ovl'

9d32c487 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/05 10:34

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

22dc6883 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 18:12

Allow hex literals

33ca3517 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 17:50

Bit fiddling operations

294d5d96 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 17:12

Portable definitions for Bounded.

61eb00e9 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 14:44

Make it compile.

241e15cc – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 14:37

Make floating point literals overloaded.

988bc524 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 15:23

Add string to Rational conversion.

cf3bf3b4 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 15:23

Add missing entries

7e4b932d – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 09:50

More

276da34f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 09:48

Implement dynamic FFI lookup

f5403bba – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 08:53

Add missing infix

7115fd25 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 08:52

Add Bits class

f84ee220 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 08:36

Fix showing minBound

dc946751 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/04 07:03

More instances

03ee7c5f – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 20:56

More to do.

a2744a24 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 20:53

More Floating stuff.

c8a135ea – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 20:26

Add Floating class

255edbba – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 20:26

More functions

61cf95de – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 20:02

Some Enum instances.

367493ba – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 19:27

More Real instances

6242f443 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 18:08

More classes

b82c2649 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 17:59

Add more numeric classes.

8093dbcc – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 15:36

Generalize.

3b3c5368 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 15:27

Remove junk.

b36e72a8 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 15:23

More instances

fec89394 – Lennart Augustsson <lennart.augustsson@epicgames.com> authored on 2023/11/03 15:13

Make integer literals overloaded.

b11dd3b2 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 12:28

Temp

497ba0f7 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 08:27

Refactor Integer a little.

15e2ba15 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 05:20

Add readInteger

2e92c0cf – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 05:09

Split Integer type into it's own module.

4cd0b4de – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 04:57

Add some conversion functions.

ed1d7d44 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 04:50

Add integerToInt

7e3092eb – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/03 04:43

Add Bounded class

e3da74f8 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 16:17

Include Integer in Prelude

b8cf988c – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 16:17

Fix bug in eol

457e7f63 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 16:07

Primitive to convert Int to Double

7f7c5ed9 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 15:56

More copyright

2c97bc13 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 15:51

Fractional type class

ea50587f – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 15:44

Integral class

d65bc804 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 15:26

Num class

bdfec110 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 14:56

Get rid of eqBool

cc824596 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 14:54

Keep the relevant location in qualIdent

19a5372e – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 14:52

Nicer printing.

18ef2aba – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 14:51

Make sure new names don't clash!

3b89a9b9 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 10:59

Get rid of QualifiedDo

7ef35372 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 10:50

Monad Maybe

33929c27 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 10:45

More accurate message.

c40d2d87 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 10:43

Eq improvements.

2e1a8737 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 10:38

More Eq

b79d3122 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 10:35

More Eq

88418242 – Lennart Augustsson <lennart@augustsson.net> authored on 2023/11/02 10:31

More Eq