- 19 Sep, 2018 2 commits
-
-
Hugo Hörnquist authored
-
Hugo Hörnquist authored
-
- 29 Nov, 2017 1 commit
-
-
Hugo Hörnquist authored
Wrote quite a bit, but section both far from done & good. Introduced some new TeX macros for easily differentiating between haskell code which is part of the program, and which is only part of the document text.
-
- 27 Nov, 2017 2 commits
-
-
Hugo Hörnquist authored
Fixed up AstHaskell quite a bit, added some better type declarations. Added a whole bunch of TODO's. Also started prototyping on the RPC monad, which will be an extension of the IO monad, and needed for the remote procedure calls (RPC).
-
Hugo Hörnquist authored
A file about how we best convert from BNF to Haskell.
-
- 24 Nov, 2017 2 commits
-
-
Hugo Hörnquist authored
I however don't know if the the document compiles correctly with them yet. Currently on a system without LaTeX installed. Having Ast.lhs be compiled from a .htex file would be a good future improvement, since then the sample output could always be in sync with the source code. It does however come with the drawback that HaTeX and HaskInTeX would be required for building the document.
-
Hugo Hörnquist authored
-
- 23 Nov, 2017 7 commits
-
-
Hugo Hörnquist authored
-
Hugo Hörnquist authored
rpcParser is actually rather ok to look at now. Instead of being the worst function of the entire program.
-
Hugo Hörnquist authored
Rewrote most of the text in Notation.lhs, along with some minor changes to the actual code. Also changed heading levels one down in TeX and added some extra text in some places.
-
Hugo Hörnquist authored
Changed all lhs files to be on TeX form. Created a LaTeX main file which sources everything and puts it into a document.
-
Hugo Hörnquist authored
Started writing a bit about how to implement the remaining types. But it's not that good and there still is a lot todo.
-
Hugo Hörnquist authored
-
Hugo Hörnquist authored
-
- 22 Nov, 2017 3 commits
-
-
Hugo Hörnquist authored
-
Hugo Hörnquist authored
Added a parser which binds together all the other parsers. Can "almost" parse the entire document"
-
Hugo Hörnquist authored
I started testing my parsers against the actual BNF file. And found quite a few problems. Most of them should be solved by now.
-
- 21 Nov, 2017 16 commits
-
-
Hugo Hörnquist authored
-
Hugo Hörnquist authored
Updated RPC.lhs to parse Async requests in addition to "Normal" requests.
-
Hugo Hörnquist authored
Added a bunch of miscellaneous parsers, mostly so parsing an entire document can be a reality sooner.
-
Hugo Hörnquist authored
Added some help functions for padding whitespace and parsers with delimiters surrounding them. I'm however not compleatly sure that they all stil work exactly as intended. Since I haven't written any tests.
-
Hugo Hörnquist authored
RPC requests and returns actually had on optional type. So that's fixed now...
-
Hugo Hörnquist authored
Moved the small helper functions from Notation.lhs to Helpers.lhs, as well as introduced the new `eol` helper.
-
Hugo Hörnquist authored
Added a short description of the structure type in Datatype.lhs. It needs to be expanded quite a bit.
-
Hugo Hörnquist authored
Wrote the parser. As well as a bunch of documentation on how it probably should work.
-
Hugo Hörnquist authored
After actually reading the whole "Simple Data Types" page of the documentation I noticed that types on the form ( name : type ; name : type ; ) Actually had the name structure. So I updated the parser to match. At the same time I also changed the parser in question to parse a type binding, instead of two words.
-
Hugo Hörnquist authored
Added description for why both LysType and TypeFiled exists.
-
Hugo Hörnquist authored
Notation.lhs is now its own module, I also removed the debug stuff at the very end.
-
Hugo Hörnquist authored
When looking at RPC notation I realised the need for a type without a binding. So I split up DerivedType into two components. I also realised that primitive types and derived types are both types, and should therefor be treated equally. Notation.lhs still contains quite a bit of text refering to derived types, so it should be updates once I have a better understanding of how things go together. Together with the energy to actually do stuff.
-
Hugo Hörnquist authored
Added some text about RPC notation. No code yet do the need to change Notation.lhs first. See RPC.lhs#16
-
Hugo Hörnquist authored
Much more information about how selections "probably" work. Along with a parser for reading the BNF of a selection DECLARATION. Some minor rewrites also to allow better nested structures. And parsing of ARRAY types.
-
Hugo Hörnquist authored
It's now possibly to parse ENUMERATION declarations from the BNF file. Note that ENUMERATION-OF is still lacking since SELCTION isn't yet implemented.
-
Hugo Hörnquist authored
Just a file rename, together with the module declaration line.
-
- 20 Nov, 2017 5 commits
-
-
Hugo Hörnquist authored
Added the Notation file, which is subject to a name change. Wrote most of the code for parsing derived types. The documentation for it is however still quite lacking. In the future the plan is to incorporate Template Haskell, and create parsers for each derived type.
-
Hugo Hörnquist authored
-
Hugo Hörnquist authored
-
Hugo Hörnquist authored
Added short text about selections, which just said that we don't have them yet.
-
Hugo Hörnquist authored
I decided to actually put my work under version control. So far I have re-documented multiple types. As well as written parsers for them.
-