Gijs Van Cuyck

Avatar
  • Total activity 13
  • Last activity
  • Member since
  • Following 0 users
  • Followed by 0 users
  • Votes 1
  • Subscriptions 5
  • Created

    Generic types

    I have defined a language within MPS that allows for generic type definitions like these: List <Elem> ::= NILL <no fields>| CONS { head :: Elem; tail :: List <Elem> } With some effort, I have manag...
    • 1 follower
    • 0 comments
    • 0 votes
  • Created

    How to acces types from textgen

    Hello I have implemented a language with generic types (List<T>, etc) within mps. The compiler for the language does support generic types, so I want to have the textgen aspect fix this by generati...
    • 2 followers
    • 1 comment
    • 0 votes
  • Created

    linking run configuration to generated files

    I am trying to make a run configuration to allow users to execute generated DSL files with the provided interpreter without leaving the IDE. After some tinkering I have most of it running, but I ca...
    • 1 follower
    • 0 comments
    • 0 votes
  • Edited

    when concrete over sequence of types

    Hello, I am trying to implement a typesystem for my language. This worked so far for the simpler cases, but I am having some trouble with typing a construct that depends on the types of all of it's...
    • 2 followers
    • 2 comments
    • 0 votes
  • Created

    refining the default substitution menu

    Hello   I am making a DSL that includes overloaded function definitions. The default functioncall substitution menu works fine for regular functions, but if there are multiple function definitions ...
    • 2 followers
    • 2 comments
    • 0 votes